Specifying Distributed and Dynamically Evolving Information Systems Using an Extended Co-nets Approach

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


The Co-nets approach that we are developing is an object- oriented (OO) specification model based on a formal and complete integration of OO concepts and constructions into an appropriate variant of algebraic Petri nets. Interpreted in rewriting logic, the approach is particularly tailored for specifying and validating advanced information systems as distributed, autonomous yet cooperative components. However, in spirit of most existing conceptual models, the Co-nets approach requires that all system aspects have to be known during its specification and fixed at once; a fact going in contrast to reality where most systems, due to different changes in business and law factors, have to change their behaviour in unexpected way during their long life-span. With the objective to overcome this crucial limitation, we present in this paper first steps towards an appropriate extension of Co-nets approach for naturally dealing with specification evolution. The main ideas are based on, first, distinguishing between a rigid, fixed object behaviour part and a modifiable one. Second, besides usual transitions and places, we introduce the notions of meta-places and meta-transitions for dynamically governing the modifiable behaviour. Third, we propose for meta-transitions two-steps (i.e. meta- and object levels) valuated rewriting rules.


Object State Object Level Evolve Information System Input Token Object Place 
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.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    R. Allen and D. Garlan. A Formal Basis for Architectural Connection. Technical report, School of Computer Science, Carnegie Mellon University, 1997.Google Scholar
  2. 2.
    N. Aoumeur and G. Saake. Towards a New Semantics for Mondel Specifications Based on the CO-Net Approach. In J. Desel, K. Pohl, and P. Schuerr, editors, Proc. Modellierung’99, Karlruhe, Germany, March 1999, pages 107–122, B. G. Teubner-Verlag, 1999.Google Scholar
  3. 3.
    N. Aoumeur and G. Saake. Towards an Object Petri Nets Model for Specifying and Validating Distributed Information Systems. In M. Jarke and A. Oberweis, editors, Proc. of the 11th Int. Conf. on Advanced Information Systems Engineering, CAiSE’99, Heidelberg, Germany, Lecture Notes in Computer Science, Vol. 1626, pages 381–395, Springer-Verlag, 1999.Google Scholar
  4. 4.
    F. Chabot and J. Raskin. The Formal Semantics of Albert II. Technical report, Namur University, Computer Science Institute, 1998.Google Scholar
  5. 5.
    M. Clavel, F. Duran, S. Eker, J. Meseguer, and M. Stehr. Maude: Specification and Programming in Rewriting Logic. Technical report, SRI, Computer Science Laboratory, March 1999. URL:
  6. 6.
    S. Conrad, J. Ramos, G. Saake, and C. Sernadas. Evolving Logical Specification in Information Systems. In J. Chomicki and G. Saake, editors, Logics for Databases and Information Systems, chapter 6, pages 167–198, Kluwer Academic Publishers, 1998.Google Scholar
  7. 7.
    G. Denker. From Rewrite Theories to Temporal Logic Theories. In H. Kirchner and C. Kirchner, editors, Proc. of Second International Workshop on Rewriting Logic, Electronic Notes in Theoretical Computer Science, Vol. 15, 1998.Google Scholar
  8. 8.
    N. Dershowitz and J.-P. Jouannaud. Rewrite systems. In J. van Leeuwen, editor, Handbook of Theoretical Computer Science, chapter 6, pages 243–320, Vol. B: Formal Methods and Semantics, North-Holland, 1990.Google Scholar
  9. 9.
    P. Du Bois. The Albert II Language: On the Design and the Use of a Formal Specification Language for Requirements Analysis. PhD thesis, Computer Department, University of Namur, Belgium, September 1995.Google Scholar
  10. 10.
    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, 1998.Google Scholar
  11. 11.
    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, Lecture Notes in Computer Science, Vol. 655, pages 40–66, Springer-Verlag, 1992.Google Scholar
  12. 12.
    H. Ehrig and B. Mahr. Fundamentals of Algebraic Specification 2: Module Specification and Constraints. Springer-Verlag, 1990.Google Scholar
  13. 13.
    Goguen, J. and Winkler, T. and Meseguer, J. and Futatsugi, K. and Jouannaud, J.P. Introducing OBJ. Technical Report SRI-CSL-92-03, Computer Science Laboratory, SRI International, 1992.Google Scholar
  14. 14.
    K. Jensen and G. Rozenberg. High-level Petri Nets. Springer-Verlag, 1991.Google Scholar
  15. 15.
    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, April 1996.CrossRefGoogle Scholar
  16. 16.
    S. Matsuoka and A. Yonezawa. Analysis of Inheritance Anomaly in Concurrent Object-Oriented Languages. Research Directions in Object-Based Concurrency, pages 107–150, 1993.Google Scholar
  17. 17.
    J. Meseguer. Conditional Rewriting Logic as a Unified Model for Concurrency. Theoretical Computer Science, 96:73–155, 1992.zbMATHCrossRefMathSciNetGoogle Scholar
  18. 18.
    J. Meseguer. 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
  19. 19.
    M. P. Papazoglou and G. Schlageter, editors. Cooperative Information Systems: Trends and Directions. Academic Press, 1998.Google Scholar
  20. 20.
    G. Saake, A. Sernadas, and C. Sernadas. Evolving Object Specifications. In R. Wieringa and R. Feenstra, editors, Information Systems — Correctness and Reusability. Selected Papers from the IS-CORE Workshop, pages 84–99, World Scientific Publishing, Singapore, 1995.Google Scholar
  21. 21.
    P. Wegner. Concepts and Paradigms of Object-Oriented Programming. ACM SIGPLAN OOPS Messenger, 1(1):7–87, August 1990.CrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2000

Authors and Affiliations

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

Personalised recommendations