示例状态-触发器库表

行表示当前状态，列表示触发事件（或者如果您愿意，也可以触发器，以简单的状态格式表示）。

如果触发发生，则行和列交叉处的单元标识转换中的目标状态，以及转换的条件（或保护）。

An State Machine table example with triggers using Sparx Systems Enterprise Architect.