オペレーティング・システムの記述に関する一考察

概要

論文の詳細を見る
It is pointed out sometimes that some description language of operating systems is necessary for designing operating systems and for communication purpose. It is desirable that clear description of the complex logic of operating systems is possible with the description language. To attain this, the description language must reflect the structure of operating systems. In this paper the basic structure of operating systems is examined and a description method of operating systems is presented. The logical structure of a system is viewed as a collection of machines which are logical or physical. Each machine can be modeled based on inner states, program steps, and incoming event signals. Corresponding to this modeling, a description language is presented. With this description method the logical structure of operating systems is described clearly. As an example of system description, part of description of an experimental TSS which was developed by authors and others is presented.
一般社団法人情報処理学会の論文
1973-02-15