[論文レビュー] 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.

研究の動機と目的

• 『thinging』をソフトウェア工学モデリングにおける中心的で形式化された概念として確立すること。
• 『thing』、『object』、『process』、および『thinging』という重要なモデリング用語の操作的定義を提供すること。
• 概念的モデリングにおける『thing』の作成・処理・管理を形式的モデルとして提供するThinging Machine（TM）を導入すること。
• 要件分析段階における『thinging』の視点から、概念的モデリングの課題を明確にすること。
• 研究および教育の両分野において、『thinging』への注力の強化を提唱すること。

提案手法

• Thinging Machine（TM）は、『thing』の作成・処理・受信・解放・転送が可能な抽象的なマシンとして概念化される。
• TMは、境界を定義し、エンティティに名前を付けることで、現実世界の現象をモデル化する図式的表現として表される。
• TMの挙動に基づいて、『thing』、『object』、『process』、および『thinging』の操作的定義が確立される。
• 本アプローチは、事前にTMを用いた研究に裏打ちされており、それをソフトウェア工学モデリングへの応用に拡張している。
• 本稿では、TMの図式的表現を用いて、概念的モデリングにおける『thing』の操作方法を説明する。
• 本手法は、現実をモデル化する際の境界定義と名前付けを、コアな活動として強調する。

実験結果

リサーチクエスチョン

• RQ1 ソフトウェア工学において『thinging』をどのように形式的に定義し、操作可能にすることができるか？
• RQ2 Thinging Machine（TM）は、『thing』の作成および操作のモデリングにおいて、どのような役割を果たすか？
• RQ3 『thinging』は、要件分析における明確性と正確性をどのように向上させるか？
• RQ4 『thinging』は、ソフトウェア工学の教育および研究に、どのように統合できるか？
• RQ5 明示的に『thinging』を第一級の活動として扱うことで、どのような概念的モデリングの課題が解決されるか？

主な発見

• 『thinging』は、ソフトウェア工学における概念的モデリングの正確性を高める基盤的概念として提案される。
• Thinging Machine（TM）は、『thing』の作成・処理・転送の仕組みを形式的かつ図式的にモデル化するフレームワークを提供する。
• 『thing』、『object』、『process』、および『thinging』の操作的定義が確立され、モデリングにおける曖昧さが軽減される。
• 本稿は、『thinging』を研究および教育の両分野でより重視すべきであると結論づける。特に、要件分析段階においてその重要性が顕著である。
• TMに基づくアプローチは、境界定義と名前付けに焦点を当てることで、現実を構造的にモデル化する方法を提供する。
• 本研究は、『thinging』を形式化することで、より一貫性があり意味のあるソフトウェアモデリング実践が可能になると示唆している。