The Third Workshop on Future Trends of Distributed Computing Systems (1992)
April 14, 1992 to April 16, 1992
D. Buchs , LRI, CNRS, Paris XI Univ., Orsay, France
N. Guelfi , LRI, CNRS, Paris XI Univ., Orsay, France
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.<
distributed processing, formal specification, object-oriented programming, Petri nets
D. Buchs and N. Guelfi, "Distributed system specification using CO-OPN," The Third Workshop on Future Trends of Distributed Computing Systems(FTDCS), Taipei, Taiwan, , pp. 26-33.