论文标题
建模物理/数字系统：正式事件-B与示意图机器
Modeling Physical/Digital Systems: Formal Event-B vs. Diagrammatic Thinging Machine
论文作者
论文摘要
在许多科学领域，模型非常重要。模型是世界的选定部分的表示，即模型的目标系统。在这里，系统包括软件部分作为组件。 Event-B是一种建模方法，用于正式化和开发系统的组件，其组件可以根据集合理论和一阶逻辑进行建模。 Thinging Machine（TM）是一个基于图的模型，建立了三个级别的表示：（1）静态结构描述，该描述是在五个通用操作（活动；即创建，过程，释放，传输和接收和接收）中构建的； （2）动态表示，该表示基于五个通用事件来标识事件的层次结构； （3）根据事件的年表行为表示。本文是将正式事件-B与图形TM进行对比的练习。目的是进一步了解计算机科学中的建模。这是由计算机科学家不应发明特定语言进行建模的说法的动机。对比了重要的概念，例如事件和行为，并且在事件B和TM中对桥梁上的案例研究系统进行了建模。结果似乎表明需要两种建模方法。
Models are centrally important in many scientific fields. A model is a representation of a selected part of the world, which is the model s target system. Here, a system consists of a software portion as a component among many others. Event-B is a modeling method for formalizing and developing systems whose components can be modeled based on set theory and first-order logic. The thinging machine (TM) is a diagram-based model establishes three levels of representation: (1) a static structural description, which is constructed upon the flow of things in five generic operations (activities; i.e., create, process, release, transfer, and receive); (2) a dynamic representation, which identifies hierarchies of events based on five generic events; and (3) a behavioral representation according to the chronology of events. This paper is an exercise in contrasting the formal Event-B to the diagrammatic TM. The purpose is to further understand modeling in computer science. This is motivated by the claim that computer scientists should not invent specific languages to do the modeling. Important notions such as events and behavior are contrasted, and a case study system of traffic on a bridge is modeled in Event-B and TM. The results seem to indicate the need for both modeling approaches.
