状态与状态机语义的建模

系统的行为通常通过诸如状态图等模型来规定，这些模型描述系统应当如何表现。据研究者称，关于状态实际代表待建模系统的什么并不清晰。标准未提供充分的状态定义或使用指导。研究表明这些不一致会导致糟糕或不完整的规约，进而可能造成项目延误或增加系统设计成本。本文旨在建立状态与状态机概念的精确定义，其动机源于系统建模者（例如需求工程师）需要理解关键概念与词汇如表状态和状态机，它们是主要的行为建模工具（例如在UML中）。状态是状态机的主要概念，其中事件驱动状态改变。这引发了关于这些状态相关表示法本质的问题。这些概念的语义基于一种称为事物机（thinging machine）的新建模方法，并应用于若干现有模型示例。事物机语义建立在五个基本动作之上，这些动作将静态模型划分为变化/状态，事件定义于其上。