Seminars details

  • CO-OPN: Concurrent Object-Oriented Petri Nets
  • 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.
  • 11/09/2002 14:00
  • Giovanna Serugendo