状态图是事件驱动(反应)系统的表示。在事件驱动系统中,如果定义更改的条件为真,系统将从一种状态或模式转换到另一种状态或模式。
例如,可以使用状态图表示汽车的自动变速器。变速箱具有以下工作状态:驻车、倒档、空档、行驶和低速。当驾驶员从一个位置切换到另一个位置时,系统将从一种状态切换到另一种状态,例如从驻车档切换到倒车档。
状态图通常用于对复杂逻辑建模,包括:
- 为系统安排一系列任务或步骤
- 决定性的故障检测、隔离和恢复逻辑
- 监督如何在不同的操作模式之间切换
使用状态图可以提供传统功能之外的其他功能有限状态机,包括:
- 大规模系统的分层状态建模
- 添加流图以定义复杂决策逻辑
- 定义正交状态以表示具有并行性的系统