Report LRI--616, pages 1-41 pp.. Univ. de Paris-Sud, Centre d'Orsay, France, Laboratoire de Recherche en Informatique, December 1990.
Abstract: This paper describes CO-OPN, a formalism to specify large systems using the object paradigm. The specification of data structures and the description of constraints on the concurrence of actions are respectively described by the algebraic abstract data types formalism and the Petri nets formalism. The semantics of CO-OPN is defined through distributed transitions systems. A definition of bisimulation equivalence between objects systems is given, and the ability to change algebraic models without changing the behaviour of the modelled system is introduced with the notion of observationally equivalent algebras.
Keywords: CO-OPN, (a) (concurrent) object oriented (Petri) net model; abstract data type; algebraic net; distributed transition system; algebraic specification; bisimulation equivalence; observationally equivalent algebra.