Towards a New Semantics for Mondel Specifications Based on the CO-Net Approach

  • Nasreddine Aoumeur
  • Gunter Saake
Part of the Teubner Reihe Wirtschaftsinformatik book series (TRWI)


We present first results towards a tailored object-oriented (OO) specification model for distributed systems. Referred to as CO-Nets, the model is a variant of object Petri nets. CO-Nets support an integration of object-oriented concepts and constructions into an appropriate form of algebraic Petri nets, two communication patterns for intra- and inter-object interaction enhancing modularity and concurrency without violating the encapsulated aspects, and last but not least the interpretation of the behaviour of the constructed model in rewriting logic allowing validation by rapid-prototyping using rewrite techniques. We assess the suitability of the CO-Nets approach by providing the Mondel specification language with a formal semantics based on it. Mondel has been designed for developing distributed applications and supports a state-oriented style of description, synchronous communication based on the rendez-vous mechanism and a formal semantics based on coloured Petri nets, that we propose to improve using the CO-Nets approach.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [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
  2. [BB91]
    M. Barbeau and G.v. Bochmann. Formal Verification of Mondel Specification Using a Coloured Petri Nets Techniques. Publication N 784, Département d’informatique et de Recherche Opérationnelle, Université de Montréal, 1991.Google Scholar
  3. [BBE+91]
    G.v. Bochmann, M. Barbeau, M. Erradi, M. Lecome, P. MondainMondel, and N. Williams Mondel: An Object Oriented Specification Language. Publication N 748, Département d’informatique et de Recherche Opérationnelle, Université de Montréal, 1991.Google Scholar
  4. [BM92]
    M. Bettaz and M. Maouche. How to Specify Non Determinism and True Concurrency with Algebraic Term Nets. volume 655 of LNCS, pages 164–180, 1992.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. [Boo91]
    G. Booch, editor. Object Oriented Design With Applications. The Benjamin/Cummings Publishing Company, Inc., 1991.Google Scholar
  7. [DJ90]
    J. Dershowitz and J.-P. Jouannaud. Rewrite Systems. Handbook of Theoretical Computer Science, 935 (6): 243–320, 1990.MathSciNetGoogle Scholar
  8. [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
  9. [EDB93]
    M. Erradi, R. Dssouli, and G.v. Bochmann. A Framework for Dynamic Evolution of Distributed Systems Specifications. Reséaux et Informatique Répartie(Networking and Distributed Computing), 3 (1), 1993.Google Scholar
  10. [EM85]
    H. Ehrig and B. Mahr. Fundamentals of Algebraic Specifications 1: Equation and Initial semantics, volume 21 of EATCS Monographs on Theoretical Computer Science. Springer, Berlin, 1985.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. [Jen92]
    K. Jensen. Coloured Petri Nets: Basic Concepts, Analysis Methods and practical Use-Volume 1: Basic Concepts. EATCS Monographs in Computer Science, 26, 1992.Google Scholar
  14. [JR91]
    K. Jensen and G. Rozenberg. High-level Petri Nets. Springer-Verlag, 1991.Google Scholar
  15. [JSHS96]
    R. Jungclaus, G. Saake, T. Hartmann, and C. Sernadas. TROLL — A Language for Object-Oriented Specification of Information Systems. ACM Transactions on Information Systems, 14 (2): 175–211, 1996.CrossRefGoogle Scholar
  16. [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
  17. [Mes92]
    J. Meseguer. Conditional rewriting logic as a unified model for concurrency. Theoretical Computer Science, 96 (1): 73–155, 1992.MathSciNetCrossRefzbMATHGoogle Scholar
  18. [Mes93]
    Meseguer, J. A Logical Theory of Concurrent Objects and its Realization in the Maude Language. In G. Agha, P. Wegner, and A. Yonezawa, editors, Research Directions in Object-Based Concurrency, pages 314–390. The MIT Press, 1993.Google Scholar
  19. [RBP+91]
    J. Rumbaugh, M. Blaha, W. Premerlani, F. Eddy, and W. Lorensen. Object Oriented Modeling and Design. Prentice Hall, Englewood Cliffs, 1991.Google Scholar
  20. [Rei91]
    W. Reisig. Petri Nets and Abstract Data Types. Theoretical Computer Science, 80: 1–30, 1991.MathSciNetCrossRefzbMATHGoogle Scholar

Copyright information

© Springer Fachmedien Wiesbaden 1999

Authors and Affiliations

  • Nasreddine Aoumeur
    • 1
  • Gunter Saake
    • 1
  1. 1.Otto-von-Guericke-Universität MagdeburgITI, FINMagdeburgGermany

Personalised recommendations