# 词汇表
改编自 状态图世界 (Glossary) (opens new window)。
# 动作(Action)
动作,是作为对状态转换,而执行的 作用(Effect)。
# 演员(Actor)
演员是一个实体,它可以向其他演员发送消息、接收消息,并指定其响应消息的行为,其中可能包括产生其他新的演员。
# 原子状态(Atomic state)
原子状态是没有子状态的状态节点。
# 复合状态(Compound state)
一个复合状态有一个或多个子状态。这些子状态之一必须是初始状态,这是进入父级复合状态时,进入的默认状态节点。
# 条件(Condition)
参考 守卫(guard)。
# 进入动作(Entry action)
进入动作是在进入其父级状态时执行的动作(action)。
# 事件(Event)
事件表示某事发生在特定时刻。事件是状态机接收的内容,并且是可能进行转换的原因。
# 无事件转换(Eventless transition)
无事件转换,是在其父级状态处于活动状态时自动进行的转换。
# 退出动作(Exit action)
退出动作是在退出其父级状态时执行的动作(action)。
# 外部转换(External transition)
在 SCXML 中,外部转换是,当目标状态是源状态的后代时,退出源状态的转换。有关详细信息,请参阅 选择转换 (SCXML) (opens new window)。
# 最终状态(Final state)
最终状态表示该状态已“完成”,并且不会再处理任何事件。
# 守卫(Guard)
守卫是一个布尔表达式,用于确定是启用(如果条件计算为 true)还是禁用(false)的转换。也称为 条件(condition)。
# 历史状态(History state)
历史状态是一种伪状态,它会记住并转换到其父级状态的最近活动的子状态或默认目标状态。
# 初始状态(Initial state)
复合状态的初始状态,是进入复合状态时,进入的默认子状态。
# 内部事件(Internal event)
内部事件是由状态机本身引发的事件。内部事件在前一个事件之后立即处理。
# 内部转换(Internal transition)
在 SCXML 中,内部转换是在不退出源状态的情况下转换到后代目标状态的转换。这是默认的转换行为。有关详细信息,请参阅选择转换 (SCXML) (opens new window)。
# 计算的数学模型
计算的数学模型,是一种基于数学函数描述事物如何计算(给定输入,输出是什么?)的方式。对于状态机和状态图,相关函数是 状态转换函数 (参考 有限状态机:状态模型 (Wikipedia) (opens new window))。
有关更多,请参阅 计算模型 (Wikipedia) (opens new window) 和 数学模型 (Wikipedia) (opens new window)。
# 正交状态(Orthogonal state)
# 并行状态(Parallel state)
并行状态,是一种复合状态,其中所有子状态(称为 区域 )同时处于活动状态。
# 假状态(Pseudostate)
# 引发事件(Raised event)
参考 内部事件.
# 服务(Service)
服务是解释(interpreter)的 状态机; 即,代表状态机的 [演员]](#actor)。
# 状态机
状态机,是系统行为的数学模型。它通过 状态、事件 和 转换 来描述行为。
# 状态
状态,表示状态机的整体行为。在状态图中,状态是所有活动状态(可以是原子的、复合的、并行的或最终的)的集合。
# 瞬间状态(Transient state)
瞬间状态是只有 无事件转换 的状态。
# 转换(Transition)
转换,是对在转换的源状态中发生特定 事件 时,状态机将立即处于哪些目标 状态 和 动作 的描述。
# 可视化表达
可视化表达,是一种精确的语言(如编程语言),主要使用视觉符号(状态、转换等),而不仅仅是代码或文本。状态图就是这种表达。
可视化表达是图解和直观的,在数学上是严格的语言。
– https://link.springer.com/referenceworkentry/10.1007%2F978-0-387-39940-9_444