• 한국산학기술학회논문지
• /
• 제15권1호
• /
• pp.449-459
• /
• 2014

시각적인 클래스 모델로 기 제시된 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 변환을 통해 구조물의 구문적 의미를 명확하게 표현할 수 있으며, 또한 그 메타모델의 정확성을 검사할 수 있다.

• 정보처리학회논문지D
• /
• 제16D권3호
• /
• pp.381-394
• /
• 2009

소프트웨어 모델링 과정에서 생성되는 산출물들에 대한 모델의 재사용성을 향상시키기 위한 기법으로, MDA 모델 기반의 개발방법이 적용되고 있다. 아직도, UML을 이용한 MDA 기반의 개발에 대한 계층적이고 체계적인 기법은 미약한 상태이다. 이로 인해, MDA 메타모델에 기반한 일관성 있고 재사용성이 높은 MDA 모델링이 제대로 실현되지 못하고 있다. 본 논문은 이를 해결하기 위해, 2+1 View 통합 메타모델을 통한 MDA(PIM/PSM) 컴포넌트 모델링 기법을 제시한다. 먼저, 개발 프로세스 view와 MVC View를 표현할 수 있는 meta-architecture view 모델을 정의한다. 정의된 meta-architecture view 계층의 메타 레벨에서, 개발 프로세스 view와 MVC view별로 MDA 기반의 계층적 통합 메타 모델이 제시된다. 이 메타모델은 UML 모델과 GUI 모델이 갖는 모델링 요소들을 PIM과 PSM에 의해 계층적으로 표현한다. 제시한 메타모델을 ISMS 시스템에 적용하여 MDA 기반의 컴포넌트 모델링 사례를 제시한다. 이를 통해, 개발단계별 및 MVC 방식에 의해 일관성 있고 계층적인 MDA 컴포넌트 모델을 구축할 수 있다. 따라서, 모델에 대한 독립성과 재사용성의 향상을 기대할 수 있다.