状态机:事物(Thing)的生命周期。它由状态、区域、转换和处理传入事件组成。
状态:状态机生命周期中的一个阶段。一个状态(如子状态机)可以有进入和退出行为。
事件:导致(或不导致)状态机作出反应的事件。
转换:规定状态机如何响应事件。它指定源状态、触发转换的事件、目标状态(如果触发转换,目标状态将成为新的活动状态)、守卫和动作。
动作:在转换触发期间执行的操作。
守卫:一个布尔运算,能够阻止原本会触发的转换被触发。
转换表:状态机的表示。状态机图是同一模型的图形但非完整的表示。而转换表是完整的表示。
初始状态:状态机启动时所在的状态。拥有多个正交区域意味着有多个初始状态。
子状态机:子状态机是插入到另一个状态机中作为状态的状态机,并且可以在同一个状态机中多次出现。
正交区域:状态机的(逻辑)并行执行流。状态机的每个区域都有机会处理传入的事件。
终止伪状态:当此状态变为活动状态时,它会终止整个状态机的执行。然而,MSM 并不会像 UML 标准要求的那样销毁状态机,这允许您保留状态机的所有数据。
进入/退出伪状态:为子状态机定义,它们被定义为子状态机外部的转换与子状态机内部的转换之间的连接。这是通过预定义点进入或离开子状态机的一种方式。
分叉:分叉允许显式进入子状态机的多个正交区域。
历史:历史是一种记住子状态机活动状态的方式,以便下次子状态机变为活动状态时,它可以继续其最后活动的状态。
完成事件(也称为完成/匿名转换):当一个转换没有命名事件触发它时,除非有守卫阻止,否则当源状态处于活动状态时,它会自动触发。
转换冲突:如果对于给定的源状态和传入事件,有多个可能的转换,则存在冲突。UML 规定守卫条件必须解决冲突。
内部转换:从一个状态到自身,而不调用退出和进入动作的转换。