[论文解读] UML Modeling to TM Modeling and Back

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

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

一句话总结

本文探讨了UML与Thinging Machine（TM）建模之间的双向转换，以提升软件建模中的概念清晰度与整合性。通过将UML模型转换为TM模型并再转换回UML，研究揭示了UML在事件、动作和行为建模方面更深层次的理论基础——特别是其内部跨图一致性问题。研究证明，TM可通过单一范畴本体方法，有效解决UML内部的不一致性，并增强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，从而增强UML的表达能力。
• 探索TM作为UML在软件系统设计中的互补建模范式之潜力。
• 通过案例研究，证明UML与TM模型之间双向转换的可行性。

提出的方法

• 本研究使用TM的单一范畴本体和事件驱动语义，将一个样本UML模型正向转换为Thinging Machine（TM）模型。
• 应用TM的形式化方法，将UML元素（如类、对象、动作和活动）统一表示为范畴结构。
• 从TM模型执行反向转换，将TM规范重构为UML图，重建UML工件。
• 转换过程强调两种建模范式之间的一致性与语义保真度。
• 该方法依赖概念映射而非自动化工具，聚焦于理论对齐与结构等价性。
• 通过对比原始UML与重构后的UML，评估概念清晰度与整合质量。

实验结果

研究问题

• RQ1 通过转换为TM模型，能否解决UML内部跨图不一致的问题？
• RQ2 TM的单一范畴本体与事件驱动语义，如何澄清UML中动作与事件等概念？
• RQ3 TM的行为规范在多大程度上可被有意义地重新表达为UML？
• RQ4 通过TM范式建模UML，能揭示哪些关于UML的理论洞见？
• RQ5 UML与TM之间的双向转换是否可行且语义上合理？

主要发现

• 从UML到TM的转换揭示了UML在处理内部图整合方面存在模糊性，尤其是在事件与动作语义方面。
• TM的单一范畴本体为UML构件提供了更连贯、统一的表示，减少了概念碎片化。
• TM中的行为规范成功地被映射回UML，表明TM可作为精炼UML行为图的正式基础。
• 反向转换生成的UML图在保留原始模型意图的同时，提升了结构一致性。
• 本研究证明，TM可作为理论透镜，深化对UML基础概念的理解。
• 结果支持TM作为长期互补建模技术的潜力，可提升UML的严谨性与清晰度。