教程：状态图

起草和实施状态图

状态图是在运行时从状态切换到状态的机器。这些状态由转换链接，每个转换都有一个保护条件。可以在状态和转换中调用动作或方法。当一个守卫条件获得值时 TRUE （事件），转换将被激活。这将执行属于转换的动作或方法，然后切换到下一个状态。保护条件只是反映事件的布尔变量或者是一个表达式。事件是可视化/用户界面、I/O、时间事件或系统事件的用户输入。另一个经常需要的事件是完成事件，当状态的动作或方法完成时发生。

您在状态图编辑器中插入所有必需的状态并实现流控制。为此，您可以通过指定布尔变量或 ST 表达式来对转换的保护条件进行编码。您在状态或转换期间调用的操作和方法中实现状态图的实际功能。

因此，分配给状态图的方法和动作包含算法。这就是您以传统方式实现面向对象的类概念的方式。

在软件设计阶段，您已经可以将状态图编辑器用作设计工具。例如，您可以创建一个图形文件 (BMP) 从状态图中添加到规范或设计文档中。