An Object Oriented Specification Language based on Hierarchical Petri Nets

• Published in: IS-CORE Workshop (ESPRIT), Amsterdam, September 27-30 1994
• Publication date: 1994

During the last few years there has been significant interest in combining the benefits of an object-oriented approach with Petri net formalism which is suitable to modelling and simulation of concurrent systems. Nevertheless, for modelling some system behaviour dynamic creation of new components is often needed. In this paper we introduce a formalism based on algebraic Petri nets using the object-orientation paradigm. Object classes are specified by means of algebraic Petri nets, synchronization expressions link the class instances and static as well as dynamic creation of objects is allowed. Inheritance and subtyping are considered as two different mechanisms. Inheritance is viewed as a duplication mechanism while subtyping is considered at a semantic level as a relation between models. The order-sorted algebras framework captures the subtyping notion between the objects which are identified by order-sorted values. Language semantics is defined through distributed transition systems over the models of algebraic specification.

Keywords: Conform

Note:

Also available as Technical Report EPFL-DI No 94/76

Reference

• LGL-CONF-1994-010

Record created on 2005-09-20, modified on 2016-08-08