[论文解读] Classes in Object-Oriented Modeling (UML): Further Understanding and Abstraction

Sabah Al‐Fedaghi|arXiv (Cornell University)|Jun 1, 2021

Model-Driven Software Engineering Techniques参考文献 24被引用 4

一句话总结

本文通过引入 Thinging Machine (TM) 建模这一形式化方法，推进了对 UML 类图的语义理解。该方法通过将动作嵌入属性和类中，统一了结构与行为性，揭示了 UML 类图本质上是更丰富语义构造的压缩形式，其在深层概念分析中存在局限，原因在于过早聚焦于访问修饰符和导航方向等设计细节。

ABSTRACT

Object orientation has become the predominant paradigm for conceptual modeling (e.g., UML), where the notions of class and object form the primitive building blocks of thought. Classes act as templates for objects that have attributes and methods (actions). The modeled systems are not even necessarily software systems: They can be human and artificial systems of many different kinds (e.g., teaching and learning systems). The UML class diagram is described as a central component of model-driven software development. It is the most common diagram in object-oriented models and used to model the static design view of a system. Objects both carry data and execute actions. According to some authorities in modeling, a certain degree of difficulty exists in understanding the semantics of these notions in UML class diagrams. Some researchers claim class diagrams have limited use for conceptual analysis and that they are best used for logical design. Performing conceptual analysis should not concern the ways facts are grouped into structures. Whether a fact will end up in the design as an attribute is not a conceptual issue. UML leads to drilling down into physical design details (e.g., private/public attributes, encapsulated operations, and navigating direction of an association). This paper is a venture to further the understanding of object-orientated concepts as exemplified in UML with the aim of developing a broad comprehension of conceptual modeling fundamentals. Thinging machine (TM) modeling is a new modeling language employed in such an undertaking. TM modeling interlaces structure (components) and actionality where actions infiltrate the attributes as much as the classes. Although space limitations affect some aspects of the class diagram, the concluding assessment of this study reveals the class description is a kind of shorthand for a richer sematic TM construct.

研究动机与目标

• 为解决 UML 类图中的概念模糊性，特别是难以区分概念建模与低层设计决策的问题。
• 挑战认为类图足以支持概念分析的假设，指出其往往滑向实现层面的关注，如访问修饰符和关联方向。
• 通过引入 Thinging Machine (TM) 建模作为形式化替代方案，建立更广泛、更具语义丰富性的概念建模基础。
• 证明 UML 类描述本质上是更富表达力的 TM 构造的压缩形式。
• 倡导从以设计为导向的建模转向基于统一结构-行为语义的更深层次概念建模。

提出的方法

• 提出 Thinging Machine (TM) 建模作为一种新形式化方法，将结构组件与行为性交织，使动作可嵌入属性和类中。
• 利用 TM 建模将类视为动态实体，而非静态蓝图，使动作与数据一样成为一等公民。
• 通过对比 UML 类图与其对应的 TM 构造，揭示语义鸿沟与设计层面的偏见。
• 使用 22 幅图示与 12 页分析，说明 TM 建模如何捕捉比 UML 更丰富的语义。
• 通过强调 UML 在实现细节（如私有/共有访问权限和导航方向）上的关注，分析其在支持概念分析方面的局限性。
• 提出 UML 中的类描述是更复杂、语义完整的 TM 构造的简写形式。

实验结果

研究问题

• RQ1 在在类图中嵌入实现关切后，UML 类图在多大程度上掩盖了概念上的区分？
• RQ2 何种建模形式能更好地在概念建模中统一结构与行为性？
• RQ3 当 UML 类图用于概念分析而非设计时，其语义局限性是什么？
• RQ4 Thinging Machine (TM) 建模能否作为比 UML 更全面的概念建模基础？
• RQ5 为何当前 UML 类图的使用在复杂系统中不足以支持深层概念建模？

主要发现

• UML 类图本身并不适合用于概念分析，因为其将访问修饰符和关联方向等设计层面的关切与概念事实混为一谈。
• 本文指出，UML 类的语义表达不足，尤其是在真实系统中动作与数据之间关系的表达方面。
• Thinging Machine (TM) 建模通过允许动作嵌入属性和类中，提供了更具表达力且语义更完整的表示方式。
• 研究结论认为，UML 类描述是更丰富 TM 构造的简写形式，暗示 UML 抽象掉了关键的语义细节。
• TM 建模实现了概念建模与实现之间的更清晰分离，支持对系统行为与结构的更深层次分析。
• 研究表明，概念建模不应受制于私有/共有访问权限或可导航性等以设计为导向的构造，因为这些在概念层面无关紧要。