Journal of the Korea Institute of Information and Communication Engineering (한국정보통신학회논문지)

The Korea Institute of Information and Commucation Engineering (한국정보통신학회)
권호 표지
DOI QR코드

DOI QR Code

Improvement of Consistency for UML Diagrams with Cross Checking Rules

상호점검규칙에 의한 UML 다이어그램의 일관성 개선

  • Received : 2012.04.20
  • Accepted : 2012.04.30
  • Published : 2012.06.30
Download PDF
⟨ Previous Next ⟩

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.

UML은 풍부한 문법이 제공되어 다양한 표현이 가능하지만, 사용자가 작성한 다이어그램의 일관성을 보장하지는 못한다. 따라서, 본 논문에서는 UML다이어그램 사이의 일관성을 개선할 수 있는 상호점검규칙을 제안하며, 특히 UML 동적 다이어그램과 정적다이어그램의 일관성에 중점을 둔다. UML 다이어그램의 구성요소와 상호관계를 보다 명확하게 상호점검규칙에 반영하기 위하여 메타모델을 이용하고, 규칙의 정확한 표현을 위하여 UML 표준 제약언어인 OCL을 사용한다. 상호점검규칙은 UML 명세의 well- formedness -rule과 비교하여 일관성에 중점을 두어 유도하였으며, 정적 다이어그램과 동적 다이어그램의 메타모델을 유도하고 다이어그램 사이의 관계성분석 과정을 거친다. 마지막으로 사례 다이어그램에 제안된 점검규칙을 적용하여 그 유용성을 검증한다.

Keywords

References

  1. G. Booch, J. Rumbaugh and I. Jacobson, The Unified Modeling Language User Guide Second Edition, Addision Wesley, 2005.
  2. T. Quatrani, Visual Modeling with Rational Rose 2000 and UML, Addision Wesley, 2000.
  3. 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. https://doi.org/10.1016/j.infsof.2009.04.009
  4. 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.
  5. 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.
  6. 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.
  7. N. Amalio, S. Stepney and F. Polack, "Formal proof from UML models," Lecture Notes in Computer Science, vol. 3308, pp. 418-433, 2004.
  8. K. Hee, N. Sidorova, L. Somers and M. Voorhoeve, "Consistency in model integration," Data & Knowledge Engineering, vol. 56, no. 1, pp. 4-22, 2006. https://doi.org/10.1016/j.datak.2005.02.004
  9. 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.
  10. 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.
  11. 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.
  12. T. Mens, R. V-D. Straeten and J. Simmonds, A Framework for Managing Consistency of Evolving UML Models, chapter 1. Idea Group Inc., 2005.
  13. 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.
  14. A. Egyed, "Instant Consistency Checking for the UML," Proc. of the 28th International Conference on Software Engineering, ICSE'06, pp. 381-390, 2006.
  15. M. Richters, "A Precise Approach to Validating UML Models and OCL Constraints," PhD thesis. University Bremen, 2002.
  16. 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. https://doi.org/10.1016/j.scico.2007.01.013
  17. OMG: Object Constraint Language Specification in OMG Unified Modeling Language Specification Version 2.0, Object Management Group Inc. 2006.
  18. J. Warmer and A. Kleppe, The Object Constraint Language Precise Modeling with UML, Addison Wesley, 1998.