解析美女出的一道状态机题(x、y和z值)

潘加宇 [2019/3/3]

状态机如下图所示。如果对象创建之后,事件e2、e1、e3、e4、e1和e5按给定顺序发生,请问,事件发生结束后,变量x、y和z值分别是_______________________。

statemachineseidl.png

【答案】

x=-1,y=1,z=0。

【解析】

竞赛题的绝大多数题目是我自己出的,但本题来自Martina Seidl等所著的“UML @ Classroom”。

Martina Seidl照片

seidlphoto.png

这道题目覆盖了状态机图的各个知识要点。

先补充解释可能比较陌生的概念:

(1)历史状态。

历史状态(带圆圈H)记录最近一次离开一个组合状态之前所处的子状态。浅历史状态(不带*号)只记住同一层的子状态,深历史状态(带*号)可以记住更深的子状态。

历史状态有向外的迁移,表示如果历史状态空白,那么缺省迁移到该迁移的目标状态。这个地方经常有人误解,以为迁移到历史状态就等于迁移到历史状态向外迁移所指向的目标状态。想想就知道是错的,如果是这样,中间插入一个历史状态不是多此一举吗?

(2)完成迁移。

不带触发事件的迁移,在到达状态的终态时隐式触发。

再说一下执行顺序。无警戒条件或警戒条件为真,按以下顺序执行:

(1)源状态的出口活动,先子后父;

(2)迁移上的动作和消息;

(3)改变状态;

(4)目标状态的入口活动,先父后子。

一开始,状态机缺省进入A。在进入A之前,执行迁移上的动作x=2。进入A时,执行A的入口活动z=0。

e2发生,状态机离开A迁移到C。离开A时,执行A的出口活动z++,z的值变为1。然后,执行迁移上的动作z=z*2,z的值变为2。进入组合状态C时,执行C的入口活动z++;y=2。z的值变为3,y的值变为2。C的缺省子状态是C1,状态机进入C1,执行C1的入口活动z=z*2,z的值变为6。

e1发生,状态机保持在C1,执行动作x=4,x的值变为4。

e3发生,先检查迁移的警戒[z==6]。因为z当前值为6,警戒[z==6]为真。状态机离开C1,执行C1的出口活动z=3,z的值变为3。进入C2时,执行C2的入口活动y=0,y的值变为0。

e4发生,状态机离开C2,执行C2的出口活动x=-1,x的值变为-1。然后,状态机离开C,执行C的出口活动y=1,y的值变为1。浅历史状态记住离开时所处的同一层的子状态C2。然后状态机进入E,执行E的入口活动y++,y的值变为2。

e1发生,状态机返回历史状态,即C2。先父后子执行入口活动。先执行C的入口活动z++;y=2。z的值变为4,y的值变为2。然后执行C2的入口活动y=0,y的值变为0。

e5发生,状态机离开C2,执行C2的出口活动x=-1,x的值变为-1。状态机迁移到C的终止状态,触发了完成迁移。图上有完成迁移由C指向A。离开C时,执行C的出口活动y=1,y的值变为1。状态机进入A时,执行A的入口活动z=0。因此,最终x=-1,y=1,z=0。

用表格表示如下:

statemachineseidltable.png
weixinpanjiayu2.jpg