[论文解读] Thinging for Software Engineers

Sabah Al‐Fedaghi|arXiv (Cornell University)|Jul 27, 2018

Advanced Database Systems and Queries参考文献 15被引用 14

一句话总结

本文提出“分体化”（thinging）——即为现实的某一部分划定边界并为其命名——作为软件工程建模中的基础性概念。文章提出‘分体机’（Thinging Machine, TM）作为形式化模型，以实现分体化，从而在需求分析阶段提升概念建模的清晰度。其主要贡献在于构建了一个结构化框架，以增强软件工程中建模的精确性与教学效果。

ABSTRACT

The aim of this paper is to promote the terms thing and thinging (which refers to the act of defining a boundary around some portion of reality and labeling it with a name) as valued notions that play an important role in software engineering modeling. Additionally, we attempt to furnish operational definitions for terms thing, object, process, and thinging. The substantive discussion is based on the conception of an (abstract) machine, named the Thinging Machine (TM), used in several research works. The TM creates, processes, receives, releases, and transfers things. Accordingly, a diagrammatic representation of the TM is used to model reality. In the discussion section, this paper clarifies interesting issues related to conceptual modeling in software engineering. The substance of this paper and its conclusion suggest that thinging should be more meaningfully emphasized as a valuable research and teaching topic, at least in the requirement analysis phase of the software development cycle.

研究动机与目标

• 将“分体化”确立为软件工程建模中的核心、形式化概念。
• 为关键建模术语‘分体’（thing）、‘对象’（object）、‘过程’（process）和‘分体化’（thinging）提供操作性定义。
• 提出分体机（Thinging Machine, TM）作为在概念建模中创建、处理和管理分体的形式化模型。
• 通过分体化视角澄清需求分析阶段的概念建模挑战。
• 倡导在软件工程的研究与教学中更加重视分体化。

提出的方法

• 分体机（TM）被构想为一种抽象机器，能够创建、处理、接收、释放和转移分体。
• 通过图示方式表示TM，以通过定义边界和命名实体来建模现实世界现象。
• 基于TM的行为，建立‘分体’、‘对象’、‘过程’和‘分体化’的操作性定义。
• 该方法建立在先前关于TM的研究基础上，将其应用扩展至软件工程建模。
• 本文使用TM的图示表示，说明分体在概念建模中如何被操作。
• 该方法强调边界定义与命名作为建模现实的核心活动。

实验结果

研究问题

• RQ1 如何在软件工程中正式定义并操作化‘分体化’？
• RQ2 分体机（TM）在分体的创建与操作中扮演何种角色？
• RQ3 分体化如何提升需求分析中的清晰度与精确度？
• RQ4 分体化在软件工程教育与研究中可通过何种方式整合？
• RQ5 将分体化明确视为首要活动，能解决哪些概念建模挑战？

主要发现

• 分体化被提出作为基础性概念，可提升软件工程中概念建模的精确性。
• 分体机（TM）为分体的创建、处理与转移提供了形式化、图示化的建模框架。
• 为‘分体’、‘对象’、‘过程’和‘分体化’建立了操作性定义，以减少建模中的模糊性。
• 本文结论认为，应在研究与教学中更加重视分体化，尤其是在需求分析阶段。
• 基于TM的方法通过聚焦边界定义与命名，为建模现实提供了结构化方式。
• 研究表明，形式化分体化可带来更一致且更有意义的软件建模实践。