Repository logo

Infoscience

  • English
  • French
Log In
Logo EPFL, École polytechnique fédérale de Lausanne

Infoscience

  • English
  • French
Log In
  1. Home
  2. Academic and Research Output
  3. Conferences, Workshops, Symposiums, and Seminars
  4. An Object Oriented Specification Language based on Hierarchical Petri Nets
 
conference paper

An Object Oriented Specification Language based on Hierarchical Petri Nets

Biberstein, Olivier
•
Buchs, Didier  
1994
IS-CORE Workshop (ESPRIT), Amsterdam, September 27-30 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.

  • Files
  • Details
  • Metrics
Loading...
Thumbnail Image
Name

biber-iscore94coopn2.ps

Access type

openaccess

Size

244.13 KB

Format

Postscript

Checksum (MD5)

c0ffdbb7cde0c7932c11ffe429c8e3e4

Logo EPFL, École polytechnique fédérale de Lausanne
  • Contact
  • infoscience@epfl.ch

  • Follow us on Facebook
  • Follow us on Instagram
  • Follow us on LinkedIn
  • Follow us on X
  • Follow us on Youtube
AccessibilityLegal noticePrivacy policyCookie settingsEnd User AgreementGet helpFeedback

Infoscience is a service managed and provided by the Library and IT Services of EPFL. © EPFL, tous droits réservés