Stateflow学习笔记之状态图的内部转移(inner transition) 处理内部转移的事件处理事件：包含指向节点的内部转移指向历史结点的内部转移参考资料

84 阅读 0 评论 56 点赞

处理内部转移的事件

考虑下图所示的状态图。

状态A有一个内部转移。转移动作为A_two。

状态B有一个指向自身的外部转移（自循环转移self loop transition）。注意，这个不是内部转移！后面将会看到差别。

初始化完成后，状态A为活动状态。然后状态图进入休眠。

假设条件C_one为FALSE。

当事件E_one发生时，状态图被激活，该事件的处理步骤如下：

还是上面那张图。假设初始化已经完成，状态A为活动状态。

但这一次，假设条件C_one为TRUE。

当事件E_one发生时，状态图被激活，该事件的处理步骤如下：

还是这张图。不过，起始条件不一样。假设已经进入了状态B。条件C_two为FALSE。

当事件E_two发生时，状态表被唤醒，该图表从根向下的层次结构来处理事件：

图表根目录检查是否存在事件E_two的有效的转移。

检测到从状态B到状态A的潜在有效转移。但转换无效，因为条件[C_two]为假。但是，活动状态B具有有效的自循环转移。
执行状态B退出动作（exitB()）并完成。
状态B标记为无效。
执行自循环转移操作A_four，并完成。
状态B标记为活动。
执行状态B的进入动作（entB()）并完成。
图表又回到了睡眠状态。

此序列完成了与事件E_two关联的Stateflow图表的执行。此示例显示内部转移和自循环转移之间的行为差异。

考虑以下状态图。父状态A包括3个子状态：A1，A2和A3。其中A1为默认状态。

同时，状态A还有一个内部转移，该内部转移先指向一个结点，再根据条件转移到子状态。

假设初始化已经完成，A1为活动状态。条件C_two为TRUE。

事件E_one发生并唤醒图表，该图表从根向下的层次结构来处理事件：

图表检查根级别是否存在事件E_one的有效转移。没有有效的转移。
执行状态A的during动作：durA()。
状态A检查自身是否存在有效转移。检测到有效的内部转移，该转移的目标对象是连接点。

评估条件以确定其中一个转换是否有效。因为条件[C_two]为真，经过连接点再到状态A.A2的内部转移是有效的。
执行状态A.A1的退出动作：exitA1()。
状态A.A1被标记为无效。
状态A.A2标记为活动。
执行状态A.A2的进入动作：entA2()。
图表又回到睡眠状态。

现在，活动状态是A2。条件C_two仍然为TRUE。

事件E_one发生并唤醒图表，该图表从根向下的层次结构来处理事件：

状态图检查根级别是否存在事件E_one的有效转移。没有有效的转移。
执行状态A的during动作：durA()。
状态A检查自身的有效转移，并检测到指向连接点的有效内部转移。

评估条件以确定其中一个转移是否有效。因为条件[C_two]是真，经过结点然后到状态A.A2的内部转移是有效的。
执行状态A.A2的退出动作：exitA2()。
状态A.A2被标记为无效。
状态A.A2标记为活动。
执行状态A.A2的进入动作：entA2()。
图表又回到睡眠状态。