[논문 리뷰] A Note on Semantics (with an Emphasis on UML)

Bernhard Rumpe⋆|2014. 09. 24.

Logic, programming, and type systems참고 문헌 17인용 수 11

한 줄 요약

이 논문은 UML을 중심으로 하여 텍스트 기반 및 다이어그램 기반 표기법의 의미론을 통합된 프레임워크로 정의하는 것을 제안한다. 입력/출력 행동 관계를 사용하여 계층적 메일리 오토마타를 형식화함으로써 명확한 사양 및 구현 의미론을 정의하며, 새로운 언어의 의미론 정의를 안내하는 분류 체계를 제공한다.

ABSTRACT

This note clarifies the concept of syntax and semantics and their relationships. Today, a lot of confusion arises from the fact that the word "semantics" is used in different meanings. We discuss a general approach at defining semantics that is feasible for both textual and diagrammatic notations and discuss this approach using an example formalization. The formalization of hierarchical Mealy automata and their semantics definition using input/output behaviors allows us to define a specification, as well as an implementation semantics. Finally, a classification of different approaches that fit in this framework is given. This classification may also serve as guideline when defining a semantics for a new language.

연구 동기 및 목표

• 소프트웨어 공학 및 형식적 방법에서 '의미론'의 모호한 사용을 명확히 하기 위해.
• 텍스트 기반 및 다이어그램 기반 언어 모두에 적용 가능한 일반적이고 형식적인 의미론 정의 방법을 수립하기 위해.
• 계층적 메일리 오토마타의 형식화를 통해 명확한 입력/출력 행동 의미론을 제공함으로써 프레임워크를 구현하기 위해.
• 새로운 도메인 특화 언어의 의미론 정의를 안내할 수 있는 의미론 접근 방식의 분류를 제공하기 위해.
• 형식적 사양 및 구현 의미론을 통해 UML 및 유사한 모델링 언어에서 정밀한 행동 의미론을 지원하기 위해.

제안 방법

• 계층적 메일리 오토마타에서 입력/출력 행동 관계를 통해 의미론을 정의하기 위해.
• 형식적 상태 전이 시스템을 사용하여 사양 의미론과 구현 의미론을 모두 모델링하기 위해.
• 이중 레이어 의미론 모델을 도입: 하나는 고수준 사양 행동을 위한 것이고, 다른 하나는 구현 수준 행동을 위한 것이다.
• 입력 기반 상태 전이 및 출력 생성을 기술하기 위한 형식적 표기법을 적용하기 위해.
• 제안된 프레임워크 내에서 기존의 의미론 접근 방식을 분류하여 그 일반성과 적용 가능성을 입증하기 위해.
• 모델의 행동 의미론과 그 실행 가능한 구현 간의 차이를 구분하기 위해 프레임워크를 활용하기 위해.

실험 결과

연구 질문

• RQ1 텍스트 기반 및 다이어그램 기반 모델링 표기법 간에 의미론을 일관되게 정의할 수 있는 방법은 무엇인가?
• RQ2 모델 기반 개발에서 사양 의미론과 구현 의미론을 구분하는 데 필요한 형식적 기준은 무엇인가?
• RQ3 계층적 메일리 오토마타는 UML에서 정밀한 행동 의미론을 정의하는 데 어떻게 기초가 될 수 있는가?
• RQ4 통합된 형식적 프레임워크 내에서 의미론 접근 방식의 분류는 어떻게 가능할 수 있는가?
• RQ5 새로운 도메인 특화 언어의 의미론 정의를 위한 지침은 무엇인가?

주요 결과

• 제안된 프레임워크는 입력/출력 행동 관계를 사용하여 사양 의미론과 구현 의미론을 성공적으로 구분한다.
• 계층적 메일리 오토마타의 형식화는 복잡한 모델에 대한 정밀한 의미론 정의를 가능하게 한다.
• 공통의 의미론 기반을 통해 프레임워크는 텍스트 기반 및 다이어그램 기반 표기법을 모두 지원한다.
• 의미론 접근 방식의 분류가 확립되어 향후 언어 설계에 대한 기준이 제공된다.
• 프레임워크는 UML 및 관련 모델링 언어에 적용된 결과를 통해 실용적 유용성이 입증되었다.
• 행동 동치성과 트레이스 의미론을 기반으로, 새로운 모델링 언어의 의미론 정의를 위한 재사용 가능한 지침을 제공한다.