层次化模型:父层状态激活时,其内部必须有且仅有一个子状态处于活动状态,子状态也需要有默认转移。超转移:穿过父状态边缘的转移。
历史节点:历史节点能保持父层次状态退出活动时子状态的活动情况;当父状态再次激活时,历史节点能够代管队转移和默认状态;如果子状态之间存在超转移历史节点不发挥作用。
内部转移:从父状态内边缘出发止于父状态内部子状态或连接节点含历史节点)边缘上。
内部自循环:是种向内的转移不需要退出活动状态是状态内部的转移;
外部自循环:是一种向外的转移,需要退出活动状态。
转移检测优先级:
基本原则:从最高层次的活动状态开始,逐级向内检测;外部转移优先于内部转移;
在同样的层次上,超转移首先被检测(旧版)
检测顺序:从活动的父状态开始,接着是内部转移;从活动的子状态开始的超转移;父状态
内部子状态之间的转移
状态动作与状态执行优先级:
基本原则:父状态的en 动作优先于低层次默认转移;父状态的du或on-event在外部转移之后、内部转移之前执行。
并行:stateflow的状态要么是互斥的要么是并行的。
由互斥状态组成的状态图或父状态,在同一时刻只能有一个活动的子状态。
由并行状态组成的状态图或父状态,一旦被激活,则所有并行子状态同时处于活动状态。
并行状态在它们的父层次对象——状态图或父状态被激活时也被激活。
转移不可以直接起始于或终止于某个并行状态,不需要也不能为并行的状态创建默认转移。
执行次序:由高到低,由左到右。图形盒:仅改变执行顺序。