状态流

使用状态机和流程图模型并模拟决策逻辑

状态流^®是基于状态机和流程图建模和模拟组合决策逻辑的建模和模拟组合决策逻辑的环境。状态流使您可以组合图形和表格表示，包括状态过渡图，流程图，状态过渡表和真实表，以建模系统对事件，基于时间的条件和外部输入信号的反应。

使用状态流，您可以设计用于监督控制，任务计划和故障管理应用程序的逻辑。StateFlow包括State Machines动画以及静态和运行时间检查，以在实现之前测试设计一致性和完整性。