A Precise Approach for the Analysis of the UML Models Consistency

  • Francisco Javier Lucas Martínez
  • Ambrosio Toval Álvarez
Conference paper

DOI: 10.1007/11568346_9

Part of the Lecture Notes in Computer Science book series (LNCS, volume 3770)
Cite this paper as:
Martínez F.J.L., Álvarez A.T. (2005) A Precise Approach for the Analysis of the UML Models Consistency. In: Akoka J. et al. (eds) Perspectives in Conceptual Modeling. ER 2005. Lecture Notes in Computer Science, vol 3770. Springer, Berlin, Heidelberg

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.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 2005

Authors and Affiliations

  • Francisco Javier Lucas Martínez
    • 1
  • Ambrosio Toval Álvarez
    • 1
  1. 1.Software Engineering Research Group, Department of Informatics and SystemsUniversity of MurciaSpain

Personalised recommendations