0
推荐

不知道图片为什么不显示？？？

1.首先是初始化状态，在第1行的结尾，当前状态时s211

2.在第2行，输入事件G。按照UML状态图，首先s211状态试图处理该事件，结果s211没有描述如何处理，将事件G向上给到s21。s21知道怎么处理，s21触发状态转移，此时进入状态s1，s1初始化后进入s11，此时在s11状态等待

3.内部转移

在第3行，输入事件I,s11不能处理，s11上传事件I给s1，s1处理了时间I。

4.自转移

在第4行，s11收到事件A，，s1有一个靠A事件触发的自转移。s1发生自转移后，最后状态又回到s11.

5.状态机带扩展变量

5.1

在第5行，输入事件D，s11处理事件D，但是变量me->foo此时是0，s11就没有处理D想上报给s1。

s1事件发现me->foo是0，可以处理，s1将me->foo赋值为1。触发状态转移到s，s又转入s11。

5.2 在第6行，输入事件D，s11的guard条件满足，将me->foo赋值为0，状态转移到s1，然后又到s11.

7. 在第7行，输入事件C，最后状态转移到s211.

8.在层次状态机中，同样的状态转移却会导致不同的退出动作

8.1

在第8行输入事件E，s211状态向上报，s状态处理该事件，最后状态为s11

8.2

在第9行输入事件E，s11向上报，s状态处理该事件，最后状态为s11

11.在内部状态转移时，演示guard条件。见11行和12行