辅助模型——状态机图

状态机图描述了一个对象在其生存期内因响应事件所经历的状态序列以及对这些事件所做出的反应。

一般意义上来说，事件是指所发生的在时间和空间上可以定位并具有实际意义，值得注意的事情。

在OO中，事件是对一件事情的规格说明，这种事情的发生可能引发对象的状态转移。

事件可分为信号事件，调用事件，时间事件和改变事件等。

状态是对象在其生存期中满足某一状态，进行某种活动或等待某一事件的条件或状况。

转移分两种：状态间的转移和状态内的转移。

转移格式：事件触发器[(用逗号分隔的参数表)[监护条件]]/[动作表达式]

组合状态是由两个或多个子状态构成的状态，其中的子状态还可以是组合状态。