活动过渡
在下列情况下,过渡处于活动状态:
触发器与发布到状态图的消息匹配。(空触发器与空事件匹配。)
存在一条从源状态到目标状态并且所有警戒均满足(求值为 true)的路径。
注:
在调用任何与过渡相关的动作之前,将对警戒进行求值。
警戒求值策略特意未在警戒求值时间和求值顺序方面进行定义。由于未对警戒进行解释,因此,对其进行的求值可能包括对将会引起副作用的表达式进行求值。
父主题:
状态图语义
反馈