Program development by stepwise refinement
Communications of the ACM
A formalism for translator interactions
Communications of the ACM
The structure of the “THE”-multiprogramming system
Communications of the ACM
On multiprogramming, machine coding, and computer organization
Communications of the ACM
An approach to systems correctness
SOSP '71 Proceedings of the third ACM symposium on Operating systems principles
The modeling and analysis of supervisory systems
The modeling and analysis of supervisory systems
Anomaly detection in concurrent programs
ICSE '79 Proceedings of the 4th international conference on Software engineering
Behavior modelling during software design
ICSE '78 Proceedings of the 3rd international conference on Software engineering
A multiprogramming operating system for the TI980A
ACM '76 Proceedings of the 1976 annual conference
A method for the description and analysis of complex software systems
Proceeding of ACM SIGPLAN - SIGOPS interface meeting on Programming languages - operating systems
The design of a TI980A operating system for classroom use
SIGCSE '75 Proceedings of the fifth SIGCSE technical symposium on Computer science education
An approach to software system modelling and analysis
Computer Languages
| Hi-index | 0.00 |
This paper presents a scheme for the succinct modeling of computer operating systems. A software system may be viewed as a group of interdependent, asynchronously operating processes, and the scheme is oriented toward the description of the interconnections and interactions in such a representation. A concise but extensive description of a reasonably sophisticated supervisory system is presented as an example of the power of the modeling scheme. Since an integral part of the language is the ability to pass freely between rough descriptions (abstractions) of the system's organization and behavior and more detailed descriptions, models in the language can be used to advantage in gaining an understanding of the system. The language is of particular value during the design of a system, providing a tool to help the orderly evolution of the design and producing a description of the system that is significantly better than traditional documentation.