[논문 리뷰] A Formal Semantic for UML 2.0 Activity Diagram based on Institution Theory

Amine Achouri, Leila Jemni Ben Ayed|arXiv (Cornell University)|2016. 06. 07.

Semantic Web and Ontologies인용 수 5

한 줄 요약

이 논문은 기존의 비형식적 의미론에서의 모호성과 정밀도 부족을 해결하기 위해 기관 이론을 사용하여 UML 2.0 활동 다이어그램(UML AD)의 형식적 의미 기반을 제안한다. 기관 이론 내에서 UML AD를 모델링함으로써, 수학적으로 엄밀한 대수적 의미 표현을 제공하여 언어의 구조와 동작에 대한 일관되고 형식적인 다루움을 가능하게 한다.

ABSTRACT

Giving a formal semantic to an UML Activity diagram (UML AD) is a hard task. The reason of this difficulty is the ambiguity and the absence of a precise formal semantic of such semi-formal formalism. A variety of semantics exist in the literature having tackled the aspects covered by this language. We can give as example denotational, functional and compositional semantics. To cope with the recent tendency which gave a heterogeneous semantic to UML diagrams, we aim to define an algebraic presentation of the semantic of UML AD. In this work, we define a formal semantic of UML 2.0 AD based on institution theory. For UML AD formalism, which is a graphical language, no precise formal semantic is given to it. We use the institution theory to define the intended semantic. Thus, the UML AD formalism will be defined in its own natural semantic.

연구 동기 및 목표

• 현재 반형식적이고 모호한 UML 2.0 활동 다이어그램에 대한 정밀한 형식적 의미론이 부족한 문제를 해결하기 위해.
• UML 내 이질적인 의미론을 지원하는 통합적이고 대수적인 의미론 프레임워크를 UML AD에 제공하기 위해.
• 기관 이론을 사용하여 UML AD의 의도된 의미를 자체 자연적 의미 도메인 내에서 정의하기 위해.
• 기존의 잘 정립된 형식적 체계에 기반하여 UML AD 모델에 대한 형식적 추론과 검증을 가능하게 하기 위해.

제안 방법

• 형식적 의미론을 정의하기 위한 기초 프레임워크로 기관 이론을 사용한다.
• 일致성과 모듈성을 보장하기 위해 기관 이론적 프레임워크 내에서 UML AD를 형식적 언어로 모델링한다.
• 기관 이론의 추상적 사양 메커니즘을 사용하여 UML AD의 문법과 의미를 정의한다.
• 기관 프레임워크 내에서 UML AD 구성요소를 그 형식적 해석으로 매핑한다.
• 기관 이론이 제공하는 이질적 사양 지원 기능을 활용하여 UML의 다양한 다이어그램적 요소를 수용한다.
• 의미 모델이 확장 가능하고 복합 가능하여 다른 UML 형식적 체계와의 통합에 적합하도록 보장한다.

실험 결과

연구 질문

• RQ1 반형식적인 성격을 지닌 UML 2.0 활동 다이어그램에 대해 일관된 형식적 의미론을 어떻게 정의할 수 있는가?
• RQ2 UML AD의 도식적이고 구조적인 특성을 존중하면서도 정밀하고 대수적인 의미론을 제공할 수 있는 형식적 프레임워크는 무엇인가?
• RQ3 기관 이론을 어떻게 적용하여 UML AD의 의도된 의미를 모듈성과 복합성을 지원하는 방식으로 모델링할 수 있는가?
• RQ4 존재하는 의미론적 또는 조합적 의미론과 비교할 때 기관 이론을 사용함으로써 UML AD의 형식적 다루움이 어떻게 향상되는가?

주요 결과

• 논문은 기관 이론을 기반 형식적 체계로 사용하여 UML 2.0 활동 다이어그램에 대한 형식적 의미론을 성공적으로 정의하였다.
• 이 접근법은 UML AD 구성요소에 대해 정밀하고 수학적으로 엄밀한 해석을 제공하여 모호성을 제거하였다.
• 의미 모델은 UML AD의 자연스러운 도식적 및 구조적 특성과 일치하는 방식으로 표현되었다.
• 기관 이론의 사용은 다른 UML 형식적 체계와의 통합에 적합한 모듈성과 확장성을 갖춘 의미 기반을 가능하게 하였다.
• 형식화는 향후 UML AD 모델의 형식적 검증 및 분석을 지원한다.