Browse > Article

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

하일규 (영남대학교 컴퓨터공학과)
강병욱 (영남대학교 컴퓨터공학과)
Publication Information
Journal of KIISE:Software and Applications / v.30, no.12, 2003 , pp. 1158-1171 More about this Journal
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.
Keywords
UML; OCL; UML; OCL; Consistency; Metamodel; Meta-validation;
Citations & Related Records
Times Cited By KSCI : 3  (Citation Analysis)
연도 인용수 순위
1 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
2 M. Richters, 'A Precise Approach to Validating UML Models and OCL Constraints,' PhD thesis, University Bremen, Logos Verlag, Berlin, BISS Monographs, No.14, 2002
3 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
4 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
5 김진수, 강권학, 이경환, '제약언어를 이용한 객체 모델 검증시스템'. 한국정보처리학회논문지 제3권 제6호, 1996   과학기술학회마을
6 M. Wittmann. 'Ein Interpreter fur OCL,' Diplomarbeit, Ludwig-Maximilians-Universitat Munchen, 2000
7 M. Richters, 'The USE tool: A UML-based specification environment,' 2001. Internet: http://www.db.informatik.uni-bremen.de/projects/USE/
8 G. Booch, J. Rumbaugh and I. Jacobson, The Unified Modeling Language User Guide, Addison-Weslay, 1999
9 OMG, UML Semantics, OMG Unified Modeling Language Specification Version 1.4, 2001
10 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
11 BoldSoft, 'Modelrun,' 2000. Internet: http://www.boldsoft.com/products/modelrun/index.html
12 IBM, 'OCL Parser,' ver.o.3, Internet: http//www3.ibm.com/software/ad/library/standards/ocl.html
13 J. B. Wormer and A. G. Kleppe, The Object Constraint Language, Addison-Wesley, 1999
14 M. Fowler and K. Scott, UML Distilled, Addison-Wesley, 1999
15 OMG, Object Constraint Language Specification, OMG Unified Modeling Language Specification Version 1.4, 2001
16 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
17 OMG, OMG Unified Modeling Language Specification Version 1.4, Object Management Group Inc. 2001
18 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
19 T. Sunetnanta and A. Finkelsteing. 'Automated Consistency Checking for Multiperspective Software Specifications,' Proc. of the 23rd Internation Conference on Software Engineering, ICSE2001, May 2001
20 조진형, 배두환, 'UML 객체지향 분석 모델의 완전성 및 일관성 진단을 위한 시나리오 검증기법', 정보과학회논문지 제28권 제3호 2001   과학기술학회마을
21 A. Egyed, 'Integrating Architectural Views in UML,' Techical Report USCCSE-99-514, 1999
22 정기원, 조용선, 권성구, '객체지향 설계방법에서 오류 검출과 일관성 점검기법 연구', 한국정보처리학회논문지 제6권 제8호, 1999   과학기술학회마을
23 김도형, 정기원, '객체지향 분석과정에서 오류와 일관성 점검 방법', 정보과학회논문지(B) 제26권 제3호, 1999
24 B. Hnatkowska, Z. Huzar and J. Magott, 'Consistency Checking in UML Models,' Proc. of 4th International conference on Information Systems Modeling ISM'01, 2001