UML-driven Information Systems and their Formal Integration Validation and Distribution

Nasreddine Aoumeur, Gunter Saake

Abstract

Being the de-facto standard (object-oriented-OO) method(-logy) for software-intensive systems development, UML with its different diagrams and supporting tools represent nowadays the mostly adopted software-engineering means for information systems (IS). Nevertheless, due to this wide-acceptance by all organization stakeholders several enhancements at the modeling level are required before adventuring into further implementation phases. The coherence and complementarity between different diagrams have to tackled; On the basic of such endeavored coherent global view, the consistency and validation of the whole IS conceptual models are to undertaken; and last but not least as current information systems are mostly networked and concurrent, UML-driven have to cater for intrinsic distribution and concurrency. To leverage UML-driven IS conceptual modeling towards these crucial enhancements, we propose a semi-automatic intermediate abstract phase before any implementation, we govern by a rigorous component-based operational and visual conceptual model. Referred to as CO -NETS, this specification/validation formalism is based on a tailored formal integration of most OO concepts and mechanisms enhanced by modularity principles into a variant of algebraic Petri Nets. For rapid-prototyping purposes, CO -NETS is semantically interpreted into rewriting logic. This UML-CO -NETS proposal for distributed IS rigorous development is illustrated through a non-trivial case-study for production systems.

References

  1. Jungclaus, R., Wieringa, R.J., Hartel, P., Saake, G., Hartmann, T.: Combining TROLL with the Object Modeling Technique. In Wolfinger, B., ed.: Innovationen bei Rechen- und Kommunikationssystemen. GI-Fachgespräch FG 1: Integration von semi-formalen und formalen Methoden für die Spezifikation von Software. Informatik aktuell, Springer (1994) 35-42
  2. Wirsing, M., Knapp, A.: A Formal Approach to Object-Oriented Software Engineering. ENTCS 4 (1996)
  3. Booch, G., Jacobson, I., Rumbaugh, J., eds.: Unified Modeling Language, Notation Guide, Version 1.0. Addison-Wesley (1998)
  4. Aoumeur, N., Saake, G.: A Component-Based Petri Net Model for Specifying and Validating Cooperative Information Systems. Data and Knowledge Engineering 42 (2002) 143-187
  5. Meseguer, J.: Solving the Inheritance Anomaly in Concurrent Object-Oriented Programming. In: ECOOP'93 - Object-Oriented Programming. Volume 707 of Lecture Notes in Computer Science., Springer (1993) 220-246
Download


Paper Citation


in Harvard Style

Aoumeur N. and Saake G. (2007). UML-driven Information Systems and their Formal Integration Validation and Distribution . In Proceedings of the 5th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems - Volume 1: MSVVEIS, (ICEIS 2007) ISBN 978-972-8865-95-5, pages 63-73. DOI: 10.5220/0002435600630073


in Bibtex Style

@conference{msvveis07,
author={Nasreddine Aoumeur and Gunter Saake},
title={UML-driven Information Systems and their Formal Integration Validation and Distribution},
booktitle={Proceedings of the 5th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems - Volume 1: MSVVEIS, (ICEIS 2007)},
year={2007},
pages={63-73},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0002435600630073},
isbn={978-972-8865-95-5},
}


in EndNote Style

TY - CONF
JO - Proceedings of the 5th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems - Volume 1: MSVVEIS, (ICEIS 2007)
TI - UML-driven Information Systems and their Formal Integration Validation and Distribution
SN - 978-972-8865-95-5
AU - Aoumeur N.
AU - Saake G.
PY - 2007
SP - 63
EP - 73
DO - 10.5220/0002435600630073