[논문 리뷰] Towards a System Model for UML. The Structural Data Model

Manfred Broy, Marı́a Victoria Cengarle외 1명|arXiv (Cornell University)|2014. 09. 22.

Model-Driven Software Engineering Techniques참고 문헌 12인용 수 9

한 줄 요약

이 논문은 UML 2.0의 구조적 데이터 모델을 위한 의미 기반으로 형식적 시스템 모델을 제안한다. 객체 지향 분산 시스템을 위한 계층적이고 추상적인 프레임워크를 형식적 의미론을 사용해 정의함으로써, UML의 사양 및 도구 개발을 위한 엄밀한 기초를 제공하고자 한다. 주요 기여는 형식적 방법과 유형 이론에 기반한 수학적 모델을 통해 UML의 구조적 의미론을 통합하는 데에 있다.

ABSTRACT

In this document we introduce a system model as the basis for a semantic model for UML 2.0. The system model is supposed to form the core and foundation of the UML semantics definition. For that purpose the basic system is targeted towards UML. This document is structured as follows: In the rest of Section 1 we will discuss the general approach and highlight the main decisions. This section is important to understand the rest of this document. Section 2 contains the actual definition of the structural part of the system model. It is built in layers as described in Section 1. For brevity of the approach, we defer deeper discussions into the Appendix in Section 4. This document is part of a project on the formalization of the UML 2.0 in cooperation between the Queens University Kingston and the Technische Universitäten Braunschweig and München. This version 1.0 is the result of a longer effort to define the structure, behavior and interaction of object-oriented, possibly distributed systems abstract enough to be of general value, but also in sufficient detail for a semantic foundation of the UML. We also wish to thank external reviewers, and especially Gregor von Bochmann, Gregor Engels and Sébastien Gérard for their help.

연구 동기 및 목표

• UML 2.0 의미론의 核심 기초가 되는 형식적이고 수학적으로 엄밀한 시스템 모델을 수립하기 위해.
• UML 클래스 다이어그램과 컴포넌트 모델의 핵심 요소를 추상화하는 구조적 데이터 모델을 정의하기 위해.
• 정확하고 확장 가능하며 재사용 가능한 의미론적 프레임워크를 제공함으로써 UML의 형식적 사양을 지원하기 위해.
• 명확하게 정의된 의미 기반을 통해 일관된 도구 지원 및 UML 모델의 검증을 가능하게 하기 위해.
• 적절한 추상화와 세부 사항을 갖춘 구조적 측면을 다룸으로써 UML의 보다 광범위한 형식화에 기여하기 위해.

제안 방법

• 기본 유형에서 시작하여 복잡한 구조적 구성요소로 이르는 계층적 아키텍처를 정의하기 위해.
• 형식적 유형 이론과 집합 이론 기반의 기초를 사용하여 클래스, 속성, 연관 관계 및 제약 조건를 모델링하기 위해.
• 각 레이어가 이전 레이어에 기반하여 구축되도록 계층적 구조를 도입함으로써 모듈성과 명확성을 확보하기 위해.
• 형식적 의미론을 UML 컴포넌트와 클래스 다이어그램에 적용하여 구조적 관계와 제약 조건을 포괄하기 위해.
• 집합, 함수, 관계와 같은 수학적 구조를 통해 구조적 요소의 의미를 정의하기 위해.
• TU 민스터 대학 및 퀸즈 대학 킹스턴의 이전 연구를 기반으로 하여 UML 표준 및 형식적 방법 원칙과의 일치를 확보하기 위해.

실험 결과

연구 질문

• RQ1 어떻게 UML 2.0을 위한 의미 기반으로 기능할 수 있는 형식적 시스템 모델을 구성할 수 있는가?
• RQ2 UML 클래스 다이어그램과 컴포넌트 다이어그램의 구조적 요소를 정확히 포괄하기 위해 필요한 형식적 메커니즘은 무엇인가?
• RQ3 모델은 일반 적용 가능성과 UML 도구 개발 및 검증에 필요한 충분한 세부 사항을 동시에 지원할 수 있는가?
• RQ4 UML의 구조적 의미 정의에서 모듈성과 확장성을 보장하기 위한 레이어링 전략은 무엇인가?
• RQ5 제안된 모델은 UML 기반 시스템 설계 및 분석에서 일관성과 정확성을 어떻게 보장하는가?

주요 결과

• 논문은 수학적 구조를 사용하여 UML 2.0의 구조적 측면을 형식화하는 계층적 시스템 모델을 성공적으로 정의하였다.
• 모델은 UML 클래스 다이어그램과 컴포넌트 다이어그램을 위한 정확한 의미 기반을 제공하여 시스템 구조에 대한 형식적 추론을 가능하게 하였다.
• 이 접근법은 추상화와 세부 사항을 동시에 지원하여 이론적 분석과 실용적 도구 통합 모두에 적합하였다.
• 모델은 형식적 방법과 유형 이론에 기반하여 구축되어 구조적 모델링에서 일관성과 정확성을 보장하였다.
• 이 작업는 행동적 및 상호작용 의미론을 위한 전제 조건이 되는 구조적 모델을 제공함으로써 UML의 보다 광범위한 형식화 노력에 기여하였다.
• 모델는 기술 보고서(TUM-I0612)로 출판되었으며, 학술 기관 간 협력 프로젝트의 일부로서 학술적 및 산업적 관련성을 나타내었다.