Stepwise and Rigorous Development of Evolving Concurrent Information Systems: From Semi-formal Objects to Sound Evolving Components

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


Most of existing software are nowadays characterized as complex information systems. For their crucial phase of specification / validation, the present paper proposes to perceive information systems as fully distributed, autonomous yet cooperating evolving concurrent components. The formal specification / validation framework for this advanced perception is an adequate integration of object concepts with modularity features into an appropriately tailored variant of algebraic Petri nets. For a true (intra- and inter-object) concurrent exhibition and symbolic computation, this integration referred to as Co-nets is semantically interpreted using an adaptation of rewriting logic.

More precisely, we first propose a clear incremental methodology for constructing complex information systems starting from their informal UML-based diagrammatic description and leading to interacting Co-nets components. As a second-level of reusability we then gradually endow each component with a Petri-net based meta-level for coping with runtime behavioural changes in each component. This leads not only to keep component specifications always updated and running but also to reconfigure the architecture of the system in a runtime way. All these issues are illustrated using a simplified banking system case study.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [Aou00]
    Aoumeur, N.: Specifying Distributed and Dynamically Evolving Information Systems Using an Extended CO-Nets Approach. In: Saake, G., Schwarz, K., Türker, C. (eds.) FoMLaDO 1999. LNCS, vol. 1773, pp. 91–111. Springer, Heidelberg (2000)CrossRefGoogle Scholar
  2. [Aou02]
    Aoumeur, N.: Specifying and Validating Consistent and Dynamically Evolving Concurrent Information Systems: An Object Petri-net Based Approach. Shaker-Verlag, Aachen (2002) ISBN 3-8265-9971-3zbMATHGoogle Scholar
  3. [AS02]
    Aoumeur, N., Saake, G.: A Component-Based Petri Net Model for Specifying and Validating Cooperative Information Systems. Data and Knowledge Engineering 42(2), 143–187 (2002)zbMATHCrossRefGoogle Scholar
  4. [BJR98]
    Booch, G., Jacobson, I., Rumbaugh, J. (eds.): Unified Modeling Language, Notation Guide, Version 1.0. Addison-Wesley, Reading (1998)Google Scholar
  5. [GWM+92]
    Goguen, J., Winkler, T., Meseguer, J., Futatsugi, K., Jouannaud, J.P.: Introducing OBJ. Technical Report SRI-CSL-92-03, Computer Science Laboratory, SRI International (1992)Google Scholar
  6. [Mes92]
    Meseguer, J.: Conditional rewriting logic as a unified model for concurrency. Theoretical Computer Science 96, 73–155 (1992)zbMATHCrossRefMathSciNetGoogle Scholar
  7. [Mes93]
    Meseguer, J.: Solving the Inheritance Anomaly in Concurrent Object- Oriented Programming. In: Nierstrasz, O. (ed.) ECOOP 1993. LNCS, vol. 707, pp. 220–246. Springer, Heidelberg (1993)CrossRefGoogle Scholar
  8. [PS98]
    Papazoglou, M.P., Schlageter, G. (eds.): Cooperative Information Systems: Trends and Directions. Academic Press, Boston (1998)Google Scholar
  9. [Sel99]
    Selic, B.: UML-RL: A Profile for Modeling Complex Real-time Architectures. Draft, ObjectTime Limited (December 1999)Google Scholar
  10. [Szy98]
    Szyperski, C.: Component Software: Beyond Object-Oriented Programming. Addision-Wesley, London (1998)Google Scholar
  11. [WLF00]
    Wermelinger, M., Lopes, A., Fiadeiro, J.: Superposing connectors. In: Proc. 10h International Workshop on Software Specification and Design, pp. 87–94. IEEE Computer Society Press, Los Alamitos (2000)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2003

Authors and Affiliations

  • Nasreddine Aoumeur
    • 1
  • Gunter Saake
    • 1
  1. 1.ITI, FINOtto-von-Guericke-Universität MagdeburgMagdeburgGermany

Personalised recommendations