요 약 시각적인 클래스 모델로 기 제시된 2+1 View 통합 메타모델은 비정형적인 명세에 기인하여 명확하게 모델 의 구문을 표현하지 못하고 있으며, 또한 그 모델의 정확성을 보장할 수 없다. 본 논문은 Z와 Object-Z를 사용해서 2+1 View 통합 메타모델의 구문적 의미를 정형적으로 명세하고, Z/Eves 툴을 통해 메타모델의 정확성을 검사하는 것 이다. 정형 명세는 클래스 모델과 Z/Object-Z간의 변환규칙을 적용해서 2+1 View 통합 메타모델의 구문과 정적 시멘 틱에 대해 Z와 Object-Z 스키마로 각각 표현한다. 메타모델의 검사는 Z 스키마 명세에 대해 Z/Eves 도구를 사용하여 구문, 타입 검사 그리고 도메인 검사를 수행하여 메타모델의 정확성을 입증한다. 이로서, 2+1 View 통합 메타모델 메 타모델의 Z/Object-Z 변환을 통해 구조물의 구문적 의미를 명확하게 표현할 수 있으며, 또한 그 메타모델의 정확성을 검사할 수 있다. Abstract

more »

... e proposed 2+1 view integrated metamodel defined formerly with a graphical class model can not be guaranteed the syntactic clarity and accuracy precisely for the metamodel due to the informal specification. This paper specifies the syntactic semantics formally for the 2+1 view integrated metamodel using Z and Object-Z and checks the accuracy of the metamodel with Z/Eves tool. The formal specification is expressed in Z and Object-Z schema separately for syntax and statics semantics of the 2+1 view integrated metamodel, which applying the converting rule between class model and Z/Object-Z. The accuracy of the Z specification for the metamodel is verified using Z/Eves tool, which can check the syntax, type, and domain of the Z specification. The transformation specification and checking of the 2+1 view integrated metamodel can help establish more accurate the syntactic semantics of its construct and check the accuracy of the metamodel. 1. 서론 소프트웨어의 개발 과정에서 생성되는 산출물들에 대 한 재사용성을 향상시키기 위하여 모델 중심의 MDA (Model Driven Architecture)[1]에 초점을 두어 독립성과 모듈성이 강한 컴포넌트 구축을 통한 재사용에 대한 연 구가 가속화되어 가고 있다[2]. 비즈니스 가치가 중요시 되는 서비스 지향 시스템 개발에서 가변적 비즈니스 프 로세스에 따라 고정적 컴포넌트들을 가지고 어플리케이 션을 구축하는 추세이다. 컴포넌트 기반 개발 패러다임에 의한 소프트웨어 모델링 과정에서 모델의 생성을 극대화 하기 위한 방안으로, [3]에서 UML(Unified Modeling 한국산학기술학회논문지 제15권 제1호, 2014