loading
Papers Papers/2022 Papers Papers/2022

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 3.145.85.74

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 (ICEIS 2007) - MSVVEIS; ISBN 978-972-8865-95-5, SciTePress, 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 (ICEIS 2007) - MSVVEIS},
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 (ICEIS 2007) - MSVVEIS
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
PB - SciTePress

- Science and Technology Publications, Lda.
RESOURCES

Proceedings

Papers

Authors

Ontology

CONTACTS

Science and Technology Publications, Lda
Avenida de S. Francisco Xavier, Lote 7 Cv. C,
2900-616 Setúbal, Portugal.

Phone: +351 265 520 185 (National fixed network call)
Fax: +351 265 520 186
Email: info@scitepress.org

EXTERNAL LINKS

PRIMORIS

INSTICC

SCITEVENTS

CROSSREF

PROCEEDINGS SUBMITTED FOR INDEXATION BY:

dblp

Ei Compendex

SCOPUS

Semantic Scholar

Google Scholar

Microsoft Academic