[论文解读] Modeling Events and Events of Events in Software Engineering

Sabah Al‐Fedaghi|arXiv (Cornell University)|Jan 31, 2020

Advanced Software Engineering Methodologies参考文献 26被引用 4

一句话总结

本文提出了一种名为“事物机”（Theming Machine, TM）的模型，作为对输入-处理-输出范式的扩展，以更好地捕捉软件工程中动态系统的行为。该模型提出了五种通用事件过程——创建、处理、接收、释放和转移——以建模所有系统事件，从而实现统一的、图示化的组件接口与可观测行为规范方法，降低复杂性并提升通过视觉抽象实现的沟通效率。

ABSTRACT

A model is a simplified representation of portion of reality that hides a system s nonessential characteristics. It provides a means for reducing complexity as well as visualization and communication and a basis for building it. Most models involve graphic languages during many of the software lifecycle phases. A new model, called thinging machine (TM), has recently been developed as an extension of the input-process-output framework. The paper focuses on events in a TM, offering a new perspective that captures a system s dynamic behaviors and a means of diagrammatically modeling events. The event notion is an important factor in giving semantics to specifications and providing a natural way to specify the interfaces and observable behavior of system components. Specifically, five generic TM event processes are analyzed: create, process, receive, release, and transfer. All events can be mapped (or reduced) to the events of these five event processes

研究动机与目标

• 解决在软件系统中通过清晰、简化的表示方法建模动态行为的挑战。
• 通过视觉化建模框架抽象非关键特征，降低系统复杂性。
• 提供一种标准化的、图示化方法，用于规范组件接口与可观测行为。
• 将输入-处理-输出模型扩展为面向事件的新框架，以支持软件生命周期各阶段。
• 通过统一的事件分类体系，提升系统行为的沟通与规范表达能力。

提出的方法

• 提出“事物机”（TM）作为新模型，扩展输入-处理-输出框架，用于建模系统动态行为。
• 识别五种基本事件过程——创建、处理、接收、释放和转移——作为所有系统事件的基础。
• 将所有系统级事件映射到这五种通用过程，实现语义统一与抽象。
• 使用图形化建模技术，对软件生命周期各阶段中的事件与事件流进行可视化表示。
• 将该模型应用于组件规范，实现对可观测行为与接口语义的清晰定义。
• 通过抽象隐藏非关键系统特征，提升清晰度并降低复杂性。

实验结果

研究问题

• RQ1 如何利用统一框架在软件工程中系统化地建模动态系统行为？
• RQ2 能够表示所有系统级事件的最小通用事件过程集合是什么？
• RQ3 事件建模在提升组件接口规范与可视化方面有何作用？
• RQ4 与传统模型相比，“事物机”模型在降低系统复杂性方面有何优势？
• RQ5 是否可以将所有系统事件简化为一组基本事件过程，而不会损失语义保真度？

主要发现

• 所有系统事件均可形式化地归约为五种通用事件过程之一：创建、处理、接收、释放或转移。
• “事物机”模型为软件生命周期各阶段提供了统一且简化的动态行为表示方式。
• 通过五种事件过程进行事件建模，可实现对组件接口与可观测行为的更清晰规范。
• 该模型通过抽象非关键系统细节，增强了可视化效果与干系人间的沟通效率。
• 该框架支持一种图示化系统建模方法，提升理解力并降低认知负荷。
• 该方法为软件规范中事件语义的正式化提供了基础，显著提升了清晰度与可重用性。