CO-OPN is an object-oriented formal specifications language based on Petri Nets and algebraic specifications. This language allows the definition of active concurrent objects dynamically created. This seminar first presents the CO-OPN language features and characteristics, on the basis of some examples. It then sketches the CO-OPN framework, which includes among others a a contextual coordination model, a simulator tool, and a Java code generator.
