论文标题
变化，状态和事件：系统概念建模中从静态到动态的线程
Changes, States, and Events: The Thread from Staticity to Dynamism in the Conceptual Modeling of Systems
论文作者
论文摘要
本文研究了概念建模变化的概念。变化是事物本质上固有的，并且越来越成为人们兴趣和调查的重点。更改可以建模为有限状态机（FSM）的两个状态之间的过渡。此更改代表了本文的探索性起点。因此，根据称为Thinging Machine（TM）建模的新建模方法，将对汽车传输系统进行建模的样本FSM重新表达。重新铸造的汽车传输模型涉及开发（1）捕获静态方面的S模型，（2）a d识别状态的模型，以及（3）A B模型指定行为。分析的进行如下。 -s代表一个暂时的图解描述，该描述嵌入了基础组成（静态变化），可以从中追踪系统行为的根源。 -s分解为与静态状态相对应的多个子系统（有序的组成部分）。 - 将时间引入静态状态会将这些状态转换为事件，并且行为（b）模型是根据这些事件的年表构建的。分析表明，FSM状态是静态（暂时性）变化，将时间事件引入行为载体。该结果增强了建模中变化，状态和事件的概念的语义，并展示了如何通过其静态描述来指定系统的行为。
This paper examines the concept of change in conceptual modeling. Change is inherent in the nature of things and has increasingly become a focus of much interest and investigation. Change can be modeled as a transition between two states of a finite state machine (FSM). This change represents an exploratory starting point in this paper. Accordingly, a sample FSM that models a car s transmission system is re-expressed in terms of a new modeling methodology called thinging machine (TM) modeling. Recasting the car-transmission model involves developing (1) an S model that captures the static aspects, (2) a D model that identifies states, and (3) a B model that specifies the behavior. The analysis progresses as follows. - S represents an atemporal diagrammatic description that embeds underlying compositions (static changes) from which the roots of system behavior can be traced. - S is broken down into multiple subsystems that correspond to static states (ordered constitutive components). - Introducing time into static states converts these states into events, and the behavior (B) model is constructed based on the chronology of these events. The analysis shows that FSM states are static (atemporal) changes that introduce temporal events as carriers of behavior. This result enhances the semantics of the concepts of change, states, and events in modeling and shows how to specify a system s behavior through its static description.
