Meta-Validation for Consistency between UML Structural Diagram and Behavioral Diagram

UML 구조 다이어그램과 행위 다이어그램의 일관성 메타검증

  • 하일규 (영남대학교 컴퓨터공학과) ;
  • 강병욱 (영남대학교 컴퓨터공학과)
  • Published : 2003.12.01

Abstract

The UML is a widely accepted standard in object-oriented modeling. As the UML is semantically rich, we can describe in detail the system that will be developed, but we cannot guarantee the correctness and consistency of the designed model. Therefore, it is important to minimize the error by verifying user models in an early stage. In this paper, we propose a method for verifying the consistency of UML structural diagrams and behavioral diagrams using OCL verification rules and meta-metamodel. The consistency is a nature for checking whether the structural diagrams and behavioral diagrams are coherently designed according to a specific requirement. First we build meta-metamodels of the structural diagram and behavioral diagram that are described with the UML diagrams and the related elements, we derive rules for verifying the consistency from each meta-metamodels, and then formally specify with the language such as OCL for automatic verification. Finally, we verify the usefulness of the rule through a case study.

UML은 객체지향 모델링에 있어서 표준으로 받아들여지고 있다. UML은 풍부한 구성요소를 가지므로 개발하고자하는 시스템을 상세하게 묘사할 수 있지만, 모델링된 다이어그램의 정확성과 일관성은 보장하지 못한다는 결점을 가진다. 따라서 개발프로세스의 초기단계에서 사용자 모델을 검증함으로써 오류를 최소화하는 것이 중요하다. 본 연구에서는 메타-메타모델과 OCL로 표현된 검증규칙을 이용하여 UML structural 다이어그램과 behavioral 다이어그램의 일관성을 검증하는 방법을 제안한다. 일관성은 하나의 요구사항을 가지고 작성된 structural 다이어그램과 behavioral 다이어그램이 일관성있게 작성되었는지를 판단하기 위한 성질이다. 검증의 첫 번째 작업으로서 UML 다이어그램과 그들사이의 관련요소로 표현된 메타-메타모델을 유도하고, 유도된 메타-메타모델로부터 일관성을 검증하기 위한 규칙을 유도하고, 유도된 검증규칙은 검증작업의 자동화를 위해 OCL과 같은 정형적인 언어로 명세한다. 마지막으로 사례모델을 통해 검증규칙의 유용성을 검증한다.

Keywords

References

  1. OMG, OMG Unified Modeling Language Specification Version 1.4, Object Management Group Inc. 2001
  2. M. Fowler and K. Scott, UML Distilled, Addison-Wesley, 1999
  3. OMG, Object Constraint Language Specification, OMG Unified Modeling Language Specification Version 1.4, 2001
  4. J. B. Wormer and A. G. Kleppe, The Object Constraint Language, Addison-Wesley, 1999
  5. P. Selonen, K. Koskimies and M. Sakkinen, 'How to Make Apples from Oraqnges in UML,' Proc. of the 34 Hewaii International Conference on System Sciences, 2001
  6. A. Egyed, 'Integrating Architectural Views in UML,' Techical Report USCCSE-99-514, 1999
  7. 정기원, 조용선, 권성구, '객체지향 설계방법에서 오류 검출과 일관성 점검기법 연구', 한국정보처리학회논문지 제6권 제8호, 1999
  8. 김도형, 정기원, '객체지향 분석과정에서 오류와 일관성 점검 방법', 정보과학회논문지(B) 제26권 제3호, 1999
  9. A. Tsiolakis and H. Ehrig, 'Consistency analysis of UML class and sequence Diagrams using attributed graph grammars,' Proc. of Joint APPLIGRAPH/GETGRATS Workshop on Graph Transformation Systems, Mar. 2000
  10. A. Tsiolakis, 'Consistency Analysis of UML Class and Sequence Diagrams based on Attributed Typed Graphs and their Transformation,' Technical Report 2000/3, Technical University of Berlin, Mar. 2000
  11. T. Sunetnanta and A. Finkelsteing. 'Automated Consistency Checking for Multiperspective Software Specifications,' Proc. of the 23rd Internation Conference on Software Engineering, ICSE2001, May 2001
  12. 조진형, 배두환, 'UML 객체지향 분석 모델의 완전성 및 일관성 진단을 위한 시나리오 검증기법', 정보과학회논문지 제28권 제3호 2001
  13. M. Richters, 'A Precise Approach to Validating UML Models and OCL Constraints,' PhD thesis, University Bremen, Logos Verlag, Berlin, BISS Monographs, No.14, 2002
  14. B. Hnatkowska, Z. Huzar and J. Magott, 'Consistency Checking in UML Models,' Proc. of 4th International conference on Information Systems Modeling ISM'01, 2001
  15. M. Richters and M. Gogolla, 'Validating UML models and OCL Constraints,' Proc. of UML2000 - The Unified Modeling Language. Advancing the Standard. Third International Conference, vol. 1939 of LNCS, pp.265-277, Oct. 2000
  16. P. Bottoni, M. Koch, F. Parisi-Presicce and G. Taentzer, 'Consistency Checking and Visualization of OCL Constraints,' Proc. of UML2000 - The Unified Modeling Language. Advancing the Standard. Third International Conference, vol. 1939 of LNCS, pp.294-308, Oct. 2000
  17. 김진수, 강권학, 이경환, '제약언어를 이용한 객체 모델 검증시스템'. 한국정보처리학회논문지 제3권 제6호, 1996
  18. G. Booch, J. Rumbaugh and I. Jacobson, The Unified Modeling Language User Guide, Addison-Weslay, 1999
  19. OMG, UML Semantics, OMG Unified Modeling Language Specification Version 1.4, 2001
  20. M. Wittmann. 'Ein Interpreter fur OCL,' Diplomarbeit, Ludwig-Maximilians-Universitat Munchen, 2000
  21. BoldSoft, 'Modelrun,' 2000. Internet: http://www.boldsoft.com/products/modelrun/index.html
  22. M. Richters, 'The USE tool: A UML-based specification environment,' 2001. Internet: http://www.db.informatik.uni-bremen.de/projects/USE/
  23. H. Hussmann, B. Demuth, and F. Finger, 'Modular architecture for a toolset supporting OCL,' Proc. of UML2000 - The Unified Modeling Language. Advancing the Standard. Third International Conference, vol. 1939 of LNCS, pp.278- 293 Oct. 2000
  24. IBM, 'OCL Parser,' ver.o.3, Internet: http//www3.ibm.com/software/ad/library/standards/ocl.html