状态机图知识点汇总（UML）

状态机就是表示对象状态与状态转换的模型，描述一个对象在其生命周期中的各种状态以及状态的转换。

状态机图只关注一个对象的行为。

状态机主要由状态、转换、事件、动作、活动5部分组成。

简单状态：可以省略表示也可以完整表示。初态和终态分别表示入口状态和出口状态。

        状态一般由状态名称、子状态、入口动作、出口动作、内部执行活动、内部转换、可推迟事件组成。

        入口动作表示为：entry/动作表达式，出口动作表示：exit/动作表达式

        内部执行活动：执行完入口动作就执行，表示为：do/活动表达式

        内部转换：不导致状态改变的转换，不执行出入口动作

        外部转换：一个状态到另一个状态，执行出入口动作（判断依据）

        自转换：（执行出口动作）离开当前状态，重新执行（入口动作）进入当前状态，即出去再回来！

        完成转换：无触发事件，自然而然的完成转换，可以有监护条件。

        可推迟事件：不会触发状态改变，且当对象处于该状态时事件可能会被推迟，但不会丢失，例如下载工具，第一个任务正在下载时，第二个任务会被推迟到第一个任务执行完毕后执行。 表示方式：事件名称/defer 例如：下载新任务/defer

转换：对于一个转换除了源状态，目标状态外还应该有事件，监护条件，效果列表等。

事件分为：调用事件，改变事件，信号事件，时间事件

监护条件：一个转换被激发之前必须满足的一个条件，是一个布尔表达式。只有监护条件为真，转换才能被激活。

效果列表（动作）：转换被激活时执行，表示转换附加的效果，动作可以是一个赋值语句，算术运算，发送事件，调用对象的属性或操作，创建或销毁对象等。

复合状态：指的是包含有一个或多个嵌套状态机的状态，期中包含的状态叫子状态，复合状态分为顺序复合状态、并发复合状态。

        顺序复合状态：互斥、非正交状态，仅包含一个状态机的复合状态，只有一个子状态会被激活。

        并发复合状态：正交，同时处于两个或两个以上子状态。

        历史状态：是应用于复合状态的一种伪状态，他代表上次离开该复合状态时的最后一个子状态。历史状态表示为复合状态中的一个被小圆圈包围的 “H” 符号。深历史状态使用一个被小圆圈包围的 “H*” 表示。