[논문 리뷰] UML Modeling to TM Modeling and Back

Sabah Al‐Fedaghi|arXiv (Cornell University)|2021. 02. 05.

Model-Driven Software Engineering Techniques참고 문헌 13인용 수 7

한 줄 요약

이 논문은 소프트웨어 모델링에서 개념적 명료성과 통합을 향상시키기 위해 UML과 Thitting Machine(TM) 모델 간 이방향 변환을 탐구한다. UML 모델을 TM으로 변환하고 다시 되돌리는 과정을 통해, UML의 이론적 기초—특히 이벤트, 동작, 행동 모델링에 관해 깊이 있는 통찰을 드러낸다. 이는 TM이 내부 다이어그램 간 일관성 문제를 해결하고, 한 개의 카테고리 온톨로지 접근 방식을 통해 UML의 표현력을 향상시킬 잠재력을 보여준다.

ABSTRACT

Certainly, the success of the Unified Modeling Language (UML) as the de facto standard for modeling software systems does not imply closing the door on scientific exploration or experimentation with modeling in the field. Continuing studies in this area can produce theoretical results that strengthen UML as the leading modeling language. Recently, a new modeling technique has been proposed called thinging machine (TM) modeling. This paper utilizes TM to further understand UML, with two objectives: (a) Fine issues in UML are studied, including theoretical notions such as events, objects, actions, activities, etc. Specifically, TM can be used to solve problems related to internal cross-diagram integration. (b) TM applies a different method of conceptualization, including building a model on one-category ontology in contrast to the object-oriented paradigm. The long-term objective of this study is to explore the possibility of TM complementing certain aspects in the UML methodology to develop and design software systems. Accordingly, we alternate between UML and TM modeling. A sample UML model is redesigned in TM, and then UML diagrams are extracted from TM. The results clarify many notions in both models. Particularly, the TM behavioral specification seems to be applicable in UML.

연구 동기 및 목표

• TM 모델링을 활용하여 이벤트, 객체, 동작, 활동 등의 UML 개념의 이론적 기초를 탐구하기 위해.
• TM의 한 개의 카테고리 온톨로지 프레임워크를 활용하여 UML 내부의 다이어그램 간 통합 문제를 해결하기 위해.
• TM의 행동 사양이 의미적으로 UML로 다시 매핑될 수 있는지 평가하기 위해.
• TM이 소프트웨어 시스템 설계에서 UML의 보완 모델링 파라다임으로서의 잠재력을 탐색하기 위해.
• 사례 연구를 통해 UML과 TM 모델 간 이중 방향 변환이 가능하고 의미적으로 타당한지 입증하기 위해.

제안 방법

• TM의 한 개의 카테고리 온톨로지와 이벤트 기반 의미론을 사용하여 샘플 UML 모델을 Thitting Machine(TM) 모델로 정방향 변환한다.
• TM의 형식적 체계를 활용하여 클래스, 객체, 동작, 활동 등의 UML 요소를 통합된 범주적 구조로 표현한다.
• TM 모델에서 다시 UML 다이어그램으로의 역방향 변환을 수행하여 TM 사양에서 UML 아티팩트를 재구성한다.
• 두 모델링 파라다임 간 일관성과 의미적 충실도를 강조하는 변환 과정을 수행한다.
• 자동화된 도구에 의존하기보다 개념적 매핑에 기반하여 이론적 일치성과 구조적 동치성을 중시한다.
• 원래의 UML와 재구성된 UML를 비교 분석하여 개념적 명료성과 통합 품질을 평가한다.

실험 결과

연구 질문

• RQ1 UML 내부의 다이어그램 간 일관성 문제는 TM 모델로의 변환을 통해 해결될 수 있는가?
• RQ2 TM의 한 개의 카테고리 온톨로지와 이벤트 기반 의미론은 UML 개념—예를 들어 동작과 이벤트—를 어떻게 명확히 하는가?
• RQ3 TM의 행동 사양은 어느 정도 의미적으로 UML로 재표현될 수 있는가?
• RQ4 TM 파라다임을 통해 UML을 모델링함으로써 어떤 이론적 통찰이 도출되는가?
• RQ5 UML과 TM 간 이중 방향 변환은 가능하고 의미적으로 타당한가?

주요 결과

• UML에서 TM으로의 변환 과정에서 UML의 내부 다이어그램 통합 처리—특히 이벤트와 동작 의미론에 관해 애매모호함이 드러났다.
• TM의 한 개의 카테고리 온톨로지는 UML 구성요소를 더 통합적이고 일관된 방식으로 표현하여 개념적 분열을 감소시켰다.
• TM의 행동 사양은 성공적으로 UML로 다시 매핑되었으며, 이는 TM이 UML 행동 다이어그램을 정교화하기 위한 형식적 기초가 될 수 있음을 시사한다.
• 역방향 변환 과정을 통해 원래 모델의 의도를 유지하면서도 구조적 일관성을 향상시킨 UML 다이어그램을 생성하였다.
• 이 연구는 TM이 UML의 핵심 개념에 대한 이해를 심화시키는 이론적 렌즈로 기능할 수 있음을 입증하였다.
• 결과적으로, TM이 장기적으로 UML의 엄밀함과 명료성을 향상시키기 위한 보완 모델링 기법으로서의 잠재력을 지닌다는 것을 지지한다.