Skip to content

术语表

本术语表是状态图和状态机中最常见术语的字母顺序指南。

动作

动作 是在状态转换期间执行的效果。动作是“即发即弃的效果”;一旦机器触发了动作,它就会继续前进并忘记该动作。

执行者

当你运行一个状态机时,它会变成一个执行者,这是一个可以接收事件、发送事件并根据接收到的事件改变其行为的运行过程,这可能会导致执行者之外的效果。

延迟转换

参见延迟转换

无事件转换

参见无事件转换

复合状态

参见父状态和子状态

上下文

上下文 是存储在状态机执行者中的上下文数据的位置。

延迟转换

延迟转换 是仅在指定时间间隔后发生的转换。如果在计时器结束前发生了另一个事件,则转换不会完成。延迟转换标记为“after”,通常称为“after”转换。

无事件转换

无事件转换 是没有事件的转换。这些转换在其状态中的任何转换启用后总是发生。不需要事件来触发转换。无事件转换标记为“always”,通常称为“always”转换。

终态

当机器达到终态时,它不能再接收任何事件,内部运行的任何东西都会被取消和清理。机器可以有多个终态或没有终态。

守卫

守卫 是机器在经历事件时检查的条件。如果条件为真,机器会遵循转换到下一个状态。如果条件为假,机器会遵循其余的条件到下一个状态。任何转换都可以是守卫转换。

历史状态

历史状态 将父状态返回到其最近活动的子状态。

初始状态

当状态机启动时,它首先进入初始状态。机器只能有一个顶级初始状态。

调用的执行者

调用的执行者 是可以执行自己的动作并与机器通信的执行者。这些调用的执行者在一个状态中启动,并在状态退出时停止。

并行状态

并行状态 是分为多个子状态区域的状态,每个区域同时处于活动状态。

父状态和子状态

状态可以包含更多状态,也称为子状态。这些子状态仅在父状态处于活动状态时才处于活动状态。子状态嵌套在其父状态内。父状态也称为复合状态。

状态

状态 描述了机器的状态。状态可以简单到_活动_和_非活动_。这些状态是有限的;机器只能通过预定义的状态移动。状态机一次只能处于一个状态。

状态图

状态图 是状态机的可视化扩展,使你能够建模更复杂的逻辑,包括层次结构、并发和通信。

状态机

状态机 是一种模型,描述了当事件发生时过程的状态如何转换到另一个状态。状态机使构建可靠的软件变得更容易,因为它们防止了不可能的状态和不希望的转换。当你运行一个状态机时,它会变成一个执行者

转换和事件

机器通过转换 从一个状态移动到另一个状态。转换是由事件引起的;当事件发生时,机器转换到下一个状态。转换是“确定性的”;每个状态和事件的组合总是指向相同的下一个状态。