A precise approach for the analysis of the UML models consistency

Authors:
Francisco Javier Lucas Martínez;Ambrosio Toval Álvarez
Affiliations:
Software Engineering Research Group, Department of Informatics and Systems, University of Murcia, Spain;Software Engineering Research Group, Department of Informatics and Systems, University of Murcia, Spain
Venue:
ER'05 Proceedings of the 24th international conference on Perspectives in Conceptual Modeling
Year:
2005

Citing 5
Cited 2

vUML: A Tool for Verifying UML Models

ASE '99 Proceedings of the 14th IEEE international conference on Automated software engineering
Can Intuition Become Rigorous? Foundations for UML Model Verification Tools

ISSRE '00 Proceedings of the 11th International Symposium on Software Reliability Engineering
A Formal Object-Oriented Approach to defining Consistency Constraints for UML Models

ASWEC '04 Proceedings of the 2004 Australian Software Engineering Conference
An Approach for the Verification of UML Models Using B

ECBS '04 Proceedings of the 11th IEEE International Conference and Workshop on Engineering of Computer-Based Systems
Consistency problems in UML-based software development

UML'04 Proceedings of the 2004 international conference on UML Modeling Languages and Applications

Precise wis development

ICWE '06 Proceedings of the 6th international conference on Web engineering
A systematic review of UML model consistency management

Information and Software Technology

Quantified Score

Hi-index	0.00

Visualization

Abstract

The UML notation is a well-know standard notation to describe OO systems. But the UML specification has certain imprecisions and ambiguities that, along with possible errors made by the modellers, may cause inconsistency problems in the models of the system. This paper presents a rigorous approach to improve the consistency analysis between UML diagrams. This proposal is based on a previous formalization of the UML metamodel diagrams, [1,4] in Maude. The framework given by the specifications created helps to guarantee the consistency of models because all the specifications are integrated within the same formalism. This work focuses on the analysis of the inter-diagram consistency. Several examples of properties are shown that help to guarantee the consistency between UML Communication and Class Diagrams.