Enhancement of Consistency of UML Diagrams by Cross Checking Rules

Article Preview

Abstract:

UML is a rich semantic language, but it is difficult to ensure consistency of the diagrams you have written. In this paper, we propose cross checking rules to improve consistency among UML diagrams, especially between UML static and dynamic diagrams. We derive integrated metamodels in order to reflect more clear interactions of UML elements in the checking rules and use OCL(Object Constraint Language) to represent the checking rules accurately. By comparing with the well-formed rules of UML specification, we study on consistency of UML diagrams. We also derive integrated metamodels of static and dynamic diagrams by analyzing the relationships of UML diagrams. Finally, we test the usability of derived rules through a case study.

You might also be interested in these eBooks

Info:

Periodical:

Pages:

3409-3412

Citation:

Online since:

January 2013

Export:

Price:

Permissions CCC:

Permissions PLS:

Сopyright:

© 2013 Trans Tech Publications Ltd. All Rights Reserved

Share:

Citation:

[1] G. Booch, J. Rumbaugh, I. Jacobson, The Unified Modeling Language User Guide, Second ed., Addison Wesley, (2005).

Google Scholar

[2] T. Quatrani, Visual Modeling with Rational Rose 2000 and UML, Addison Wesley, (2000).

Google Scholar

[3] J. Warmer, A. Kleppe, The Object Constraint Language Precise Modeling with UML, Addison Wesley, (1998).

Google Scholar

[4] F. J. Lucas, F. Molina, A. Toval, A systematic review of UML model consistency management, Information and Software Technology, vol. 51 (2009), 1631-1645.

DOI: 10.1016/j.infsof.2009.04.009

Google Scholar

[5] M. Usman, A. Nadeem, A survey of consistency checking techniques for UML models, Proc. of Advanced Software Engineering & Its Applications 2008, (2008), 57-62.

DOI: 10.1109/asea.2008.40

Google Scholar

[6] R.F. Paige, P.J. Brooke, J.S. Ostroff, Metamodel-based model conformance and multiview consistency checking, ACM Trans. on Software Engineering and Methodology, vol. 16 (2007), 1-48.

DOI: 10.1145/1243987.1243989

Google Scholar

[7] G. Engles, J. H. Hausmann, R. Heckel, S. Sauer, Testing the Consistency of Dynamic UML diagrams, Proc. of the 6th Integrated Design and Process Science 2002, (2002), 1-9.

Google Scholar

[8] A. Egyed, Instant Consistency Checking for the UML, Proc. of the 28th International Conference on Software Engineering, (2006), 381-390.

DOI: 10.1145/1134285.1134339

Google Scholar

[9] M. Gogolla, M. Richters, USE: A UML-based specification environment for validating UML and OCL, Science of Computer Programming, vol. 69 (2007), 27-34.

DOI: 10.1016/j.scico.2007.01.013

Google Scholar