Towards an Object Petri Nets Model for Specifying and Validating Distributed Information Systems

  • Nasreddine Aoumeur
  • Gunter Saake
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 1626)


We present first results towards a tailored conceptual model for advanced distributed information systems regarded as open reactive and distributed systems with large databases and application programs. The proposed model, referred to as CO-Nets, is based on a complete integration of object oriented concepts with some constructions from semantical data modeling into an appropriate variant of algebraic Petri Nets named ECATNets. The CO-Nets behaviour is interpreted into rewriting logic. Particularly, it is shown how CO-Nets promote incremental construction of complex components, regarded as a hierarchy of classes, through simple and multiple inheritance (with redefinition, associated polymorphism and dynamics binding). Each component behaves with respect to an appropriate intra-component evolution pattern that supports intra- as well as inter-object concurrency. On the other hand, we present how such components may be interconnected, through their interfaces, with respect to an inter-component interaction pattern that enhances concurrency and preserves the encapsulated features of each component. Moreover, by interpreting the CO-Nets behaviour into rewriting logic, rapid-prototypes can be generated using rewrite techniques and current implementation of the Maude language particularly. The CO-Nets approach is presented through a simplified Staff management system case study.


Object State Abstract Data Type Multiple Inheritance Object Place Distribute Information System 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


  1. [Aou89]
    N. Aoumeur. Réalisation d’un Systeme de Gestion du Personnel de l’Université. Memoire d’Ingenieur, Institut d’Informatique, Université D’Oran, 1989.Google Scholar
  2. [Aou99]
    N. Aoumeur. Towards an Object Petri Net Based Framework for Modelling and Validating Distributed Systems. To appear as Preprint, Fakultät für Informatik, Universität Magdeburg, 1999.Google Scholar
  3. [BdC93]
    E. Battiston and F. de Cindio. Class Orientation and Inheritance in Modular Algebraic Nets. In Proc. of IEEE International Conference on Systems and Cybernetics, pages 717–723, Le Touquet, France, 1993.Google Scholar
  4. [Bib97]
    Biberstein, O. and Buchs, D. and Guelfi, N. CO-OPN/2: A Concurrent Object-Oriented Formalism. In Proc. of Second IFIP Conf. on Formal Methods for Open Object-Based Distributed Systems(FMOODS), pages 57–72. Chapman and Hall, March 1997.Google Scholar
  5. [BMB93]
    M. Bettaz, M. Maouche, Soualmi, and S. Boukebeche. Protocol Specification using ECATNets. Reséaux et Informatique Répartie, 3(1):7–35, 1993.Google Scholar
  6. [DJ90]
    J. Dershowitz and J.-P. Jouannaud. Rewrite Systems. Handbook of Theoretical Computer Science, 935(6):243–320, 1990.MathSciNetGoogle Scholar
  7. [ECSD98]
    H.-D. Ehrich, C. Caleiro, A. Sernadas, and G. Denker. Logics for Specifying Concurrent Information Systems. In J. Chomicki and G. Saake, editors, Logics for Databases and Information Systems, chapter 6, pages 167–198. Kluwer Academic Publishers, Boston, 1998.Google Scholar
  8. [EGS92]
    H.D. Ehrich, M Gogolla, and A. Sernadas. Objects and Their Specification. In M. Bidoit and C. Choppy, editors, Proc. of 8th Workshop on Abstract Data, volume 655 of Lecture Notes in Computer Science, pages 40–66. Springer-Verlag, 1992.Google Scholar
  9. [EM85]
    H. Ehrig and B. Mahr. Foundamentals of algebraic specifications 1: Equation and initial semantics. EATCS Monographs on Theoretical Computer Science, 21, 1985.Google Scholar
  10. [FJLS96]
    B. Freitag, Cliff B. Jones, C. Lengauer, and H. Schek, editors. Object Orientation with Parallelism and Persistence. Kluwer Academic Publishers, 1996.Google Scholar
  11. [GD93]
    J.A. Goguen and R. Diaconescu. Towards an Algebraic Semantics for the Object Paradigm. In Proc. of 10th Workshop on Abstract Data types, 1993.Google Scholar
  12. [GWM+92]
    J.A. Goguen, T. Winkler, J. Meseguer, K. Futatsugi, and J.P. Jouannaud. Introducing OBJ. Technical Report SRI-CSL-92-03, Computer Science Laboratory, SRI International, 1992.Google Scholar
  13. [HK87]
    R. Hull and R. King. Semantic Database Modelling: Survey, Applications, and Research Issues. ACM Computing Surveys, 19(3):201–260, 1987.CrossRefGoogle Scholar
  14. [Lak95]
    Lakos, C. From Coloured Petri Nets to Object Petri nets. In Proc. of 16th Application and Theory of Petri Nets, volume 935 of Lecture Notes in Computer Science, pages 278–287. Springer-Verlag, 1995.Google Scholar
  15. [Lec96]
    U. Lechner. Object Oriented Specification of Distributed Systems in the μ-Calculus and Maude. In J. Meseguer, editor, Proc. of the First Inter. Workshop on Rewriting Logic, volume 4. Electronic Notes in Theoretical Computer Science, 1996.Google Scholar
  16. [Mes92]
    J. Meseguer. Conditional rewriting logic as a unified model for concurrency. volume 96 of Theoretical Computer Science, pages 73–155, Noordwijkerhout, Netherlands, 1992.zbMATHCrossRefMathSciNetGoogle Scholar
  17. [Mes93]
    Meseguer, J. A Logical Theory of Concurrent Objects and its Realization in the Maude Language. Research Directions in Object-Based Concurrency, pages 314–390, 1993.Google Scholar
  18. [Mil89]
    R. Milner, editor. Communication and Concurrency. Prentice Hall, 1989.Google Scholar
  19. [Rei85]
    W. Reisig. Petri Nets: An Introduction. Springer-Verlag, 1985.Google Scholar
  20. [Rei91]
    W. Reisig. Petri Nets and Abstract Data Types. Theoretical Computer Science, 80:1–30, 1991.zbMATHCrossRefMathSciNetGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1999

Authors and Affiliations

  • Nasreddine Aoumeur
    • 1
  • Gunter Saake
    • 1
  1. 1.Institut für Technische und Betriebliche InformationssystemeOtto-von-Guericke-Universität MagdeburgMagdeburg

Personalised recommendations