Browse > Article
http://dx.doi.org/10.6109/jkiice.2012.16.6.1291

Improvement of Consistency for UML Diagrams with Cross Checking Rules  

Ha, Il-Kyu (영남대학교)
Publication Information
Journal of the Korea Institute of Information and Communication Engineering / v.16, no.6, 2012 , pp. 1291-1299 More about this Journal
Abstract
UML is a semantically rich language, but it is difficult to ensure consistency of the diagrams you have written. Therefore, in this paper, we propose cross checking rules to improve consistency between UML diagrams, especially between UML static diagram and dynamic diagram. We use metamodels in order to more clearly reflect interactions of UML elements in the checking rules and use OCL(Object Constraint Language) to accurately represent the checking rules. By comparing with the well-formedness rules of UML specification, we focus on consistency of UML diagrams. And we derive metamodels of static diagram and dynamic diagram, analysis the relationships of UML diagrams and finally, we test the usability of derived rules through a case study.
Keywords
UML; OCL; Diagram; Consistency; Checking Rule;
Citations & Related Records
연도 인용수 순위
  • Reference
1 N. Amalio, S. Stepney and F. Polack, "Formal proof from UML models," Lecture Notes in Computer Science, vol. 3308, pp. 418-433, 2004.
2 K. Hee, N. Sidorova, L. Somers and M. Voorhoeve, "Consistency in model integration," Data & Knowledge Engineering, vol. 56, no. 1, pp. 4-22, 2006.   DOI   ScienceOn
3 R.F. Paige, P.J. Brooke and J.S. Ostroff, "Metamodel-based model conformance and multiview consistency checking," ACM Trans. Softw. Eng. and Methodol. vol. 16, no. 3, 2007.
4 V.S.W. Lam and J.A. Padget, "Consistency checking of sequence diagrams and statechart diagrams using the pi-calculus," Proc. of the 5th International Conference, IFM 2005, pp. 347-365, 2005.
5 G. Engles, J. H. Hausmann, R. Heckel and S. Sauer, "Testing the Consistency of Dynamic UML diagrams," Proc. of the 6th Integrated Design and Process Science, IDPT 2002, 2002.
6 T. Mens, R. V-D. Straeten and J. Simmonds, A Framework for Managing Consistency of Evolving UML Models, chapter 1. Idea Group Inc., 2005.
7 B. Graaf and A-V. Deursen, "Model-Driven Consistency Checking of Behavioral Specifications," Proc. of the 4th International Workshop on Model-Based Methodologies for Pervasive and Embedded Software, MOMPES'07, pp. 115-126, 2007.
8 A. Egyed, "Instant Consistency Checking for the UML," Proc. of the 28th International Conference on Software Engineering, ICSE'06, pp. 381-390, 2006.
9 M. Richters, "A Precise Approach to Validating UML Models and OCL Constraints," PhD thesis. University Bremen, 2002.
10 M. Gogolla and M. Richters, "USE:A UML-based specification environment for validating UML and OCL," Science of Computer Programming, vol. 69, no. 1-3, pp. 27-34, 2007.   DOI   ScienceOn
11 OMG: Object Constraint Language Specification in OMG Unified Modeling Language Specification Version 2.0, Object Management Group Inc. 2006.
12 M. Usman and A. Nadeem, "A survey of Consistency Checking Techniques for UML Models," Proc. of Advanced Software Engineering & Its Applications, pp. 57-62, 2008.
13 G. Booch, J. Rumbaugh and I. Jacobson, The Unified Modeling Language User Guide Second Edition, Addision Wesley, 2005.
14 T. Quatrani, Visual Modeling with Rational Rose 2000 and UML, Addision Wesley, 2000.
15 Francisco J. Lucas, Fernando Molina and Ambrosio Toval, "A systematic review of UML model consistency management," Information and Software Technology. vol. 51, no. 12, pp. 1631-1645, 2009.   DOI   ScienceOn
16 Z. Huzar, L. Kuzniarz, G. Reggio and J.L. Sourrouille, "Consistency problems in UMLbased software development," Lecture Notes in Computer Science, vol. 3297, pp. 1-12, 2005.
17 G. Engels, J.M. Kuster, R. Heckel and L. Groenewegen, "A methodology for specifying and analyzing consistency of object-oriented behavioral models," Proc. of the 8th European Software Engineering Conference, pp. 186-195, 2001.
18 J. Warmer and A. Kleppe, The Object Constraint Language Precise Modeling with UML, Addison Wesley, 1998.