上一页 下一页

状态机图约定

触发

  • 删除触发器会将其从模型中完全删除,因此您无法删除触发器
  • 在事件标题行的末尾有一个<None>列; 这适用于没有触发器信息的转换

状态

从工具箱中,您只能插入这些状态元素类型(尽管状态机图可能会拾取并显示其他类型,例如子机状态):

  • 状态
  • 初始
  • 最后
  • 输入
  • 输出
  • 终止

过渡

过渡单元格以两种方式之一显示其属性,具体取决于状态机图格式; 如果状态机图格式为状态-触发器或触发器-状态,则过渡单元格显示保护和效果,如下所示:

如果状态机图格式为状态 - 下一个状态,则过渡单元格显示触发器,保护和效果,如下所示:

在状态机图中,您可以就地编辑保护和效果。如果所选过渡单元格的保护或效果为空,则单元格显示省略号(...); 在省略号上单击两次(不是双击)以键入保护和效果名称。