变更、状态与事件：系统概念建模中从静态到动态的主线
软件工程
2020-08-13 v1
摘要
本文考察概念建模中的变更概念。变更是事物本质中固有的，并日益成为众多关注与研究的焦点。变更可被建模为有限状态机（FSM）两个状态之间的转移。这一变更构成了本文的探索起点。据此，一个建模汽车变速系统的示例 FSM 被用一种称为物化机（TM）建模的新建模方法重新表达。重构汽车变速模型包括开发（1）捕捉静态方面的 S 模型，（2）识别状态的 D 模型，以及（3）规定行为的 B 模型。分析按如下推进。——S 表示一种无时间图示描述，其内嵌底层组合（静态变更），由此可追溯系统行为的根源。——S 被分解为多个对应于静态状态（有序构成组件）的子系统。——将时间引入静态状态，将这些状态转换为事件，并基于这些事件的时序构建行为（B）模型。分析表明，FSM 状态是引入时间事件作为行为载体的静态（无时间）变更。该结果增强了建模中变更、状态和事件概念的语义，并展示了如何通过系统的静态描述来规定其行为。
引用
@article{arxiv.2008.05017,
title = {Changes, States, and Events: The Thread from Staticity to Dynamism in the Conceptual Modeling of Systems},
author = {Sabah Al-Fedaghi},
journal= {arXiv preprint arXiv:2008.05017},
year = {2020}
}
备注
13 pages, 13 figures