[UML建模]状态图（Statechart Diagram）

绘图工具 StarUML 3.2.2

1、什么是状态图？

UML 状态图是图表本身的名称，主要用于描述对象具有的各种状态、状态之间的转换过程以及触发状态转换的各种事件和条件。

2、状态机的目的

为了模拟系统的动态环节。
反应系统模型生命周期。
一个对象来描述不同的状态，在其生命周期的时间。
定义一个状态机模型状态的对象。

3、状态图的元素

3.1 状态

指在对象的生命周期中的某个条件或者状况，在此期间对象将满足某些条件、执行某些活动活活等待某些事件。所有对象都有状态，状态是对象执行了一系列活动的结果，当某个事件发生后，对象的状态将发生变化。
表示方法：
（1）普通状态：圆角矩形；
（2）初始状态：实心圆点；
（3）终态：用圆形内嵌圆点；

3.2 转移

转移（Transitions）是两个状态之间的一种关系，表示对象将在源状态中执行一定的动作，并在某个特定事件发生而且某个特定的警界条件满足时进入目标状态。
事件标记（Trigger）：是转移的诱因，可以是一个信号，事件、条件变化和时间表达式。
警戒条件（Guard Condition）：当警戒条件满足时，事件才会引发转移。
结果（Effect）：对象状态转移后的结果。

3.3 动作（State Actions）

动作（Actions）是一个可执行的原子操作，也就是说动作是不可中断的，其执行时间是可忽略不计的。
如果目标状态有许多转移，而且每个转移有相同的结果，这时把转移后的结果（Effect）展示在目标状态中（Target State）更好一些，可以定义进入动作（Entry Action ）和退出动作（Exit Action）。

3.4 自身转移（Self-Transitions）

状态可以有返回自身状态的转移，称之为自身转移（Self-Transitions）

3.5 组合状态（Compound States）

嵌套在另外一个状态中的状态称之为子状态（sub-state）,一个含有子状态的状态被称作组合状态（Compound States）. 如下图，【Check PIN】是组合状态，【Enter PIN】是子状态。

也可以表示为：

3.6 进入节点（Entry Point）

如下图所示，由于一些原因并不会执行初始化（initialization），而是直接通过一个节点进入状态【Ready】，则此节点称之为进入节点（Entry Point）

3.7 退出节点（Exit Point）

3.8 历史状态（History States）

历史状态是一个伪状态（Pseudostate）,其目的是记住从组合状态中退出时所处的子状态，当再次进入组合状态，可直接进入这个子状态，而不是再次从组合状态的初态开始。

在上图的状态图中，正常的状态顺序是:【Washing】- >【Rinsing】->【Spinning】。
如果是从状态【Rinsing】突然停电（Power Cut）退出，,洗衣机停止工作进入状态【Power Off】，当电力恢复时直接进入状态【Running】。

3.9 并发区域（Concurrent Regions）

状态图可以分为区域，而区域又包括退出或者当前执行的子状态。说明组合状态在某一时刻可以同时达到多个子状态。如下图刹车系统，同时进入前刹车【Applying Front Brakes】状态和后刹车【Applying Rear Brakes】状态。

参考资料 https://www.jianshu.com/p/acaa8924c233