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
Type
conference paper
Author(s)
Biberstein, Olivier
Buchs, Didier  
Date Issued

1994

Published in
IS-CORE Workshop (ESPRIT), Amsterdam, September 27-30 1994
Subjects

Conform

Note

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

Written at

EPFL

EPFL units
LGL  
Available on Infoscience
September 20, 2005
Use this identifier to reference this record
https://infoscience.epfl.ch/handle/20.500.14299/216758
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