The Community for Technology Leaders
The Third Workshop on Future Trends of Distributed Computing Systems (1992)
Taipei, Taiwan
April 14, 1992 to April 16, 1992
ISBN: 0-8186-2755-7
pp: 26-33
D. Buchs , LRI, CNRS, Paris XI Univ., Orsay, France
N. Guelfi , 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.<>
INDEX TERMS
distributed processing, formal specification, object-oriented programming, Petri nets
CITATION

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.
doi:10.1109/FTDCS.1992.217518
92 ms
(Ver 3.3 (11022016))