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.
Financed by the Spanish Ministry of Science and Technology, project DYNAMICA/PRESSURE TIC 2003-07804-C05-05.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Fernández Alemán, J.L., Toval Álvarez, A.: Improving System Reliability via Rigorous Software Modeling: The UML Case. In: Proceedings of the 2001 IEEE Aerospace Conference (track 10: Software and Computing), Montana, USA, IEEE Computer Society, Los Alamitos (2001)
Lucas Martínez, F.J., Toval Álvarez, A.: Formal Verification of Properties in the UML Collaboration Diagram. In: ICSSEA 2004: 3rd Workshop on System Testing and Validation, Paris (2004)
Fernández Alemán, J.L., Toval Álvarez, A.: Can Intuition Become Rigorous? Foundations for UML Model Verification Tools. In: International Symposium on Software Reliability Engineering, IEEE Press, Los Alamitos (2000)
Whittle, J., Araújo, J., Toval Álvarez, A., Fernández Alemán, J.L.: Rigorously Automating Transformations of UML Behavior Models. In: Dynamic Behaviour in UML Models: Semantic Questions in conjunction with UML 2000, York, UK, ACM SIGSOFT, IEEE Computer Society, Los Alamitos (2000)
OMG: Object Management Group. UML Superstructure 2.0. Draft adopted Specification. Retrieved from, (2004) http://www.omg.org/uml
Huzar, Z., Kuzniarz, L., Reggio, G., Sourrouille, J.L.: Consistency Problems in UML-based Software Development. In: Jardim Nunes, N., Selic, B., Rodrigues da Silva, A., Toval Alvarez, A. (eds.) UML Satellite Activities October 2004, Revised Selected Papers. LNCS, vol. 3297. Springer, Heidelberg (2005)
Clavel, M., Durán, F., Eker, S., Lincoln, P., Martí-Oliet, N., Meseguer, J., Talcote, C.: Maude 2.0 Manual. Versión 1.0 (2003) http://maude.csl.sri.com/
Lucas Martínez, F.J., Toval Álvarez, A.: Algebraic Specification of the UML Collaboration Diagram and Applications. Tech. Rep. LSI 3, Department of Informatics and Systems. University of Murcia (2004)
Truong, N.T., Souquieres, J.: An approach for the verification of UML models using B. In: 11th IEEE International Conference and Workshop on the Engineering of Computer-Based Systems, ECBS 2004 (2004)
Kim, S.K., Carrington, D.: A Formal Object-Oriented Approach to defining Consistency Constraints for UML Models. In: 2004 Australian Software Engineering Conference, ASWEC 2004 (2004)
Litius, J., Porres Paltor, I.: vUML: a Tool for Verifying UML Models. In: 14th IEEE International Conference on Automated Software Engineering (1999)
Vara, J., de Castro, V., Cáceres, P., Marcos, E.: Arquitectura de MIDAS-CASE: una herramienta para el desarrollo de SIW basada en MDA. 4a Jornadas Iberoamericanas de Ingeniería del Software e Ingeniería del Conocimiento. Madrid (2004)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2005 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
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. Perspectives in Conceptual Modeling. ER 2005. Lecture Notes in Computer Science, vol 3770. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11568346_9
Download citation
DOI: https://doi.org/10.1007/11568346_9
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-29395-8
Online ISBN: 978-3-540-32239-9
eBook Packages: Computer ScienceComputer Science (R0)