[論文レビュー] UML Modeling to TM Modeling and Back

Sabah Al‐Fedaghi|arXiv (Cornell University)|Feb 5, 2021

Model-Driven Software Engineering Techniques参考文献 13被引用数 7

ひとこと要約

本稿は、ソフトウェアモデリングにおける概念的明確性と統合を高めるために、UML と Thitting Machine (TM) モデリングの双方向変換を検討する。UML モデルを TM に変換し、再び UML に戻すことで、特にイベント、アクション、行動モデリングに関する UML の理論的基盤についてより深い洞察が得られた。TM が内部の図間整合性の問題を解消し、1つのカテゴリのオントロジーのアプローチによって 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 の1カテゴリのオントロジー枠組みを活用して、UML 内部の図間統合問題を解決すること。
• TM の行動仕様が意味的に UML に再表現可能かどうかを評価し、UML の表現力を高めること。
• TM がソフトウェアシステム設計における補完的モデリングパラダイムとしての可能性を検討すること。
• 事例研究を通じて、UML と TM モデル間の双方向変換の実現可能性を示すこと。

提案手法

• 本研究では、TM の1カテゴリのオントロジーとイベント駆動型の意味論を用いて、サンプル UML モデルから Thitting Machine (TM) モデルへの前方変換を実施する。
• TM の形式的枠組みを用いて、クラス、オブジェクト、アクション、アクティビティなどの UML 要素を統一されたカテゴリカル構造で表現する。
• TM モデルから再び UML 図への逆方向変換を実施し、TM の仕様から UML アーティファクトを再構築する。
• 変換プロセスでは、2つのモデリングパラダイム間での一貫性と意味的正確性に重点を置く。
• 自動化ツールに依存せず、理論的整合性と構造的同等性に焦点を当てた概念的マッピングに依存する。
• 元の UML と再構築された UML を比較することで、概念的明確性と統合品質を評価する。

実験結果

リサーチクエスチョン

• RQ1 UML の内部的図間整合性の問題は、TM モデルへの変換によって解消可能か？
• RQ2 TM の1カテゴリのオントロジーとイベントベースの意味論は、アクションやイベントといった UML 概念をどのように明確化するか？
• RQ3 TM の行動仕様はどの程度意味的に UML に再表現可能か？
• RQ4 TM パラダイムによる UML のモデリングから、UML に関するどのような理論的洞察が得られるか？
• RQ5 UML と TM 間の双方向変換は実現可能で意味的に整合的か？

主な発見

• UML から TM への変換により、特にイベントとアクションの意味論に関する UML の内部図間統合処理における曖昧さが明らかになった。
• TM の1カテゴリのオントロジーは、UML の構成要素をより一貫性があり統合された形で表現でき、概念的断片化を低減した。
• TM の行動仕様は成功裏に UML に再マッピングされ、TM が UML の行動図を洗練する形式的基盤として機能できることを示唆した。
• 逆方向変換により、元のモデルの意図を保ちつつ構造的一致性が向上した UML 図が得られた。
• 本研究では、TM が UML の基礎的概念をより深く理解するための理論的レンズとして機能できることを示した。
• 結果として、TM が将来的に UML の厳密性と明確性を高める補完的モデリング技法としての可能性を支持する。