状态转换图建模 — 软件工程选择题

某电梯控制系统中，轿厢对象的UML状态图定义如下：状态集为「空闲、上行、下行、开门、关门」。合法转移仅有：空闲 —呼叫（目的层高于当前层）→ 上行；空闲 —呼叫（目的层低于当前层）→ 下行；上行 —到达目标层→ 开门；下行 —到达目标层→ 开门；开门 —乘客进出超时→ 关门；关门 —关门完毕→ 空闲。现观察到轿厢发生了一次从「关门」直接转移到「上行」的状态转换，未经过「空闲」状态。根据上述状态图，该转换的合法性判定及理由是：A. 合法，因为关门后轿厢可以重新启动B. 非法，因为关门完毕只能转入空闲，状态图中不存在关门到上行的转移C. 合法，因为上行可由任意非运行状态转入D. 非法，因为上行只能由开门状态转入