Communicating sequential processes
Communicating sequential processes
IEEE Transactions on Software Engineering
Mascot 3: an informal introductory tutorial
Software Engineering Journal - Special issue on Mascot 3
Object-oriented modeling and design
Object-oriented modeling and design
MOON: A molecular object-orientated notation
Software Engineering Journal
Object-oriented requirements analysis and logical design: a software engineering approach
Object-oriented requirements analysis and logical design: a software engineering approach
HOOD: reference manual 3.1
Primer in Petri Net Design
System development (Prentice-Hall International series in computer science)
System development (Prentice-Hall International series in computer science)
Hi-index | 0.00 |
Computers have been employed as the controllers of various systems. Designing and implementing control software for complex systems requires the precise definition of a system and the methods of specifying how the system is to be designed and implemented. In this paper four system design approaches, functional, process-based, object-oriented, and net-based, are reviewed concentrating on their views of a system, design languages, and graphical design tools. Each methodology introduces its own notion of a system, a system design language, and a graphical design tool. Generalizing the four views of a system, an open system is defined as a net of objects interacting with itw own environment. Then system design languages and graphical design tools are considered in the category theoretical context. As an application, an interactive system design tool called OBJ-NET is introduced at the end.