UML 다이어그램의 정확성 검증을 위한 메타모델과 OCL로 명세한 검증규칙

Abstract

다이어그램의 일관성이란 하나의 요구사항으로부터 설계된 여러가지 UML 다이어그램이 통일된 의미로 작성되었는가를 나타내는 성질이고, 정확성은 사용자가 작서안 다이어그램이 UML 표준에 적합하게 작성이 되었는가를 나타내는 성질이다. 본 연구에서는 UML(Unified Modeling Language) 버전 1.4 표준에 의해 작성된 객체지향 다이어그램의 일관성과 정확성을 검즈아는 방법으로서 UML 표중의 모델제약언어로 사용되는 OCL(Object Constraint Language)을 이용하여 검증하는 방법을 제시한다. 검증의 초기작업으로서 구성요소와 관계로 표현된 각 다이어그램의 메타모델을 유도하고, 메타 모델을 통해 정확성 및 일관성 검증규칙을 유도한다. 유도된 검증규칙은 명확화와 자동화를 위하여 특징적으로 OCL을 사용하여 정형적으로 명세한다. 명세된 규칙은 USE 도구를 이용하여 그 유용성을 검증한다. The consistency of UML diagrams is a nature for checking whether diagrams are coherently designed with only one requirements and the correctness of UML Diagrams, especially it uses OCL(Object Constraint Language) which is standard constraint language in UML. Firstly we devise metamodels that are described with conponent and relationships, then we derive verification rules from each matamodels for verifying correctness and consistency, and then we formally specify the rules with OCL for automatic verification. Finally we verify the rules with USE TOOL.