Title :
Distributed system specification using CO-OPN
Author :
Buchs, Didier ; Guelfi, Nicolas
Author_Institution :
LRI, CNRS, Paris XI Univ., Orsay, France
Abstract :
The CO-OPN specification formalism for large concurrent systems is presented. CO-OPN includes specification of data types and concurrency through the use of modular algebraic specification and structured algebraic nets. This structure follows the object oriented paradigms. Distributed system specification is studied with CO-OPN through a case study of communication components: the Transit-Node. The interesting specification features of CO-OPN (structuring, refinements and concurrency) are discussed
Keywords :
Petri nets; distributed processing; formal specification; object-oriented programming; CO-OPN specification formalism; Transit-Node; concurrency; concurrent object-oriented Petri nets; data types; distributed system specification; large concurrent systems; modular algebraic specification; object oriented paradigms; structured algebraic nets; Concurrent computing; Data structures; Encapsulation; Modular construction; Object oriented modeling; Petri nets; Software engineering; Specification languages;
Conference_Titel :
Distributed Computing Systems, 1992., Proceedings of the Third Workshop on Future Trends of
Conference_Location :
Taipei
Print_ISBN :
0-8186-2755-7
DOI :
10.1109/FTDCS.1992.217518
