loading
Papers Papers/2020

Research.Publish.Connect.

Paper

Paper Unlock

Authors: Nasreddine Aoumeur and Gunter Saake

Affiliation: Otto-von-Guericke-Universität Magdeburg, Institut für Technische und Betriebliche Informationssysteme, Germany

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. (More)

CC BY-NC-ND 4.0

Sign In Guest: Register as new SciTePress user now for free.

Sign In SciTePress user: please login.

PDF ImageMy Papers

You are not signed in, therefore limits apply to your IP address 34.239.177.24

In the current month:
Recent papers: 100 available of 100 total
2+ years older papers: 200 available of 200 total

Paper citation in several formats:
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 - MSVVEIS, (ICEIS 2007) ISBN 978-972-8865-95-5, pages 63-73. DOI: 10.5220/0002435600630073

@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 - MSVVEIS, (ICEIS 2007)},
year={2007},
pages={63-73},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0002435600630073},
isbn={978-972-8865-95-5},
}

TY - CONF

JO - Proceedings of the 5th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems - 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

0123movie.net