Stepwise and Rigorous Development of Evolving Concurrent Information Systems: From Semi-formal Objects to Sound Evolving Components
- 280 Downloads
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.
- [BJR98]Booch, G., Jacobson, I., Rumbaugh, J. (eds.): Unified Modeling Language, Notation Guide, Version 1.0. Addison-Wesley, Reading (1998)Google Scholar
- [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
- [PS98]Papazoglou, M.P., Schlageter, G. (eds.): Cooperative Information Systems: Trends and Directions. Academic Press, Boston (1998)Google Scholar
- [Sel99]Selic, B.: UML-RL: A Profile for Modeling Complex Real-time Architectures. Draft, ObjectTime Limited (December 1999)Google Scholar
- [Szy98]Szyperski, C.: Component Software: Beyond Object-Oriented Programming. Addision-Wesley, London (1998)Google Scholar
- [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