状态机库表约定

触发器

• 删除触发器模型会将其完全从模型中删除，因此您无法撤消触发器的删除
• 在事件标题行的末尾有一个 <None> 列；这是针对没有触发器信息的转换

状态

在工具箱，您只能插入这些状态元素类型（虽然状态机表可能会选择并显示其他类型，例如子机状态）：

• 状态
• 最初的
• 终点
• 入口
• 出口
• 终止

转移

转移

单元以两种方式之一显示其属性，具体取决于状态机表格式；如果机器状态机表的格式是状态-触发器或者触发器-状态，转移

单元显示守卫条件和目标，如图：

如果状态机表格式为状态-下一个状态，则转移

单元以这种格式显示触发器、守卫条件和影响：

在状态机表中，可以就地编辑守卫条件和影响。如果您选择的转移

的守卫条件或影响为空转移

单元，该单元显示一个省略号（...）；在省略号上单击两次（不是双击）以输入守卫条件和影响名称。