Distributed system specification using CO-OPN

Author

Buchs, Didier ; Guelfi, Nicolas

Author_Institution

LRI, CNRS, Paris XI Univ., Orsay, France

fYear

1992

fDate

14-16 Apr 1992

Firstpage

26

Lastpage

33

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;

fLanguage

English

Publisher

ieee

Conference_Titel

Distributed Computing Systems, 1992., Proceedings of the Third Workshop on Future Trends of

Conference_Location

Taipei

Print_ISBN

0-8186-2755-7

Type

conf

DOI

10.1109/FTDCS.1992.217518

Filename

217518