[论文解读] Thinging-Based Conceptual Modeling: Case Study of a Tendering System

Sabah Al‐Fedaghi, Haidar, Esraa|arXiv (Cornell University)|Jul 1, 2020

Service-Oriented Architecture and Web Services被引用 4

一句话总结

本文提出了Thingking Machine（TM）模型，这是一种新颖的概念建模方法，通过从利益相关者需求中派生出的五种通用‘事物’过程，统一了静态建模与动态建模。在实际招标系统中的应用表明，TM模型显著提升了需求规格说明的准确性与系统可配置性，为传统面向对象建模提供了一种具有哲学基础的替代方案，在软件工程项目的清晰度与形式化方面具有可衡量的优势。

ABSTRACT

In computer science, models are made explicit to provide formality and a precise understanding of small, contingent universes (e.g., an organization), as constructed from stakeholder requirements. Conceptual modeling is a fundamental discipline in this context whose main concerns are identifying, analyzing and describing the critical concepts of a universe of discourse. In the information systems field, one of the reasons why projects fail is an inability to capture requirements in a way that can be technically used to configure a system. This problem of requirements specification is considered to have deficiencies in theory. We apply a recently developed model called the Thinging Machine (TM) model which uniformly integrates static and dynamic modeling features to this problem of requirements specification. The object-Oriented (OO) approach to modeling, as applied in Unified Modeling Language, is by far the most applied and accepted standard in software engineering; nevertheless, new notions in the field may enhance and facilitate a supplementary understanding of the OO model itself. We aim to contribute to the field of conceptual modeling by introducing the TM model s philosophical foundation of requirements analysis. The TM model has only five generic processes of things (e.g., objects), in which genericity indicates generality, as in the generic Aristotelian concepts based on abstraction. We show the TM model s viability by applying it to a real business system.

研究动机与目标

• 解决信息系统项目因需求规格说明不足而导致的持续失败问题。
• 克服当前面向对象建模方法（如UML）在理论与实践上的缺陷。
• 提出一种基于亚里士多德抽象与通用性的新概念建模框架。
• 在真实业务场景中——具体而言，是招标系统中——验证Thingking Machine模型。
• 展示统一的静态与动态建模如何提升系统分析与可配置性。

提出的方法

• 提出Thingking Machine（TM）模型，作为一种五过程框架，用于建模‘事物’——即从利益相关者需求中派生出的通用抽象概念。
• 该模型将静态与动态建模特性整合到单一、统一的概念结构中，避免了传统面向对象建模中常见的碎片化问题。
• 该方法基于亚里士多德的通用概念，强调抽象与普遍性，以支持对组织世界的形式化、精确建模。
• 将TM模型应用于一个真实招标系统，使用16张图示说明将需求映射到TM框架的过程。
• 通过案例研究分析评估该模型，重点关注最终模型的清晰度、完整性与技术可配置性。
• 将该方法与UML及其他面向对象标准进行对比，突出其在理论与实践上的优势。

实验结果

研究问题

• RQ1 统一的概念建模方法在复杂业务系统中如何改善需求规格说明？
• RQ2 与传统面向对象建模相比，Thingking Machine模型在提升清晰度与形式化方面能达到何种程度？
• RQ3 TM模型的五种通用过程能否有效表示现实世界招标系统中的静态与动态方面？
• RQ4 亚里士多德抽象的哲学基础如何促进更稳健的概念建模？
• RQ5 在系统分析与配置中使用TM模型的实际优势是什么？

主要发现

• Thingking Machine模型在招标系统案例研究中成功地将静态与动态建模方面统一于单一、连贯的框架之中。
• 该模型在捕捉利益相关者需求方面表现出更高的精确度，显著减少了系统规格说明中的模糊性。
• TM模型的应用产生了一个形式化、可分析的模型，可直接用于系统配置。
• TM模型的五种通用过程有效表示了招标过程中核心业务实体与行为。
• 案例研究显示，与传统的基于UML的方法相比，TM模型在需求分析方面支持更具哲学基础与概念一致性的方法。
• 该模型的结构实现了从需求到实现的更清晰可追溯性，从而增强了系统的可维护性。