一 定义：状态图（Statechart Diagram）主要用于描述一个对象在其生存期间的动态行为，表现为一个对象所经历的状态序列(有限)，引起状态转移的事件（Event），以及因状态转移而伴随的动作（Action）。一般可以用状态机对一个对象的生命周期建模，状态图用于显示状态机（State Machine Diagram），重点在与描述状态图的控制流。
如下图时间设置的例子：
状态有：显示时间、设置小时、设置分钟
动作有 A pressed/ B pressed
二: 实例分析：
酒店预订的主要状态包括：
find hotel
choose room
set person inf
wait verify
wait payment
生成订单
分析：
1用户首先选择目的地，寻找适合的酒店【条件，未找到适合的酒店，找到酒店】
2进入酒店主页，选择房间，填写住房信息【动作，填写信息】
3填写个人邮箱【动作，填写信息】
4确认订单【警示条件：可能确认超时】
5支付订单【条件：支付成功，支付不成功，取消订单】
6订单生成
三：状态图元素（State Diagram Elements）
1、状态（States）
指在对象的生命周期中的某个条件或者状况，在此期间对象将满足某些条件、执行某些活动活活等待某些事件。所有对象都有状态，状态是对象执行了一系列活动的结果，当某个事件发生后，对象的状态将发生变化。
状态用圆角矩形表示
初态和终态（Initial and Final States）
初态用实心圆点表示，终态用圆形内嵌圆点表示。
2、转移（Transitions）
转移（Transitions）是两个状态之间的一种关系，表示对象将在源状态（Source State）中执行一定的动作，并在某个特定事件发生而且某个特定的警界条件满足时进入目标状态（Target State）
事件标记（Trigger）：是转移的诱因，可以是一个信号，事件、条件变化（a change in some condition）和时间表达式。
警界条件（Guard Condition）：当警界条件满足时，事件才会引发转移（Transition）。
结果（Effect）：对象状态转移后的结果。
3、动作（State Actions）
动作（Actions）是一个可执行的原子操作,也就是说动作是不可中断的，其执行时间是可忽略不计的。
在上例中，对象状态转移后的结果显示在转移线上，如果目标状态有许多转移，而且每个转移有相同的结果，这时把转移后的结果（Effect）展示在目标状态中（Target State）更好一些，可以定义进入动作（Entry Action ）和退出动作（Exit Action），如下图
4、自身转移（Self-Transitions）
状态可以有返回自身状态的转移，称之为自身转移（Self-Transitions）
2S后，Poll input事件执行，转移到自己状态【Waiting】
5、组合状态（Compound States）
嵌套在另外一个状态中的状态称之为子状态（sub-state）,一个含有子状态的状态被称作组合状态（Compound States）. 如下图，【Check PIN】是组合状态，【Enter PIN】是子状态。
也可用以下方式进行描述
如上图，状态机【Check PIN】的细节被分割到另外一个图中了。
6、进入节点（Entry Point）
如下图所示，由于一些原因并不会执行初始化（initialization），而是直接通过一个节点进入状态【Ready】，则此节点称之为进入节点（Entry Point）
7、退出节点（Exit Point）
8、历史状态（History States）
历史状态是一个伪状态（Pseudostate）,其目的是记住从组合状态中退出时所处的子状态，当再次进入组合状态，可直接进入这个子状态，而不是再次从组合状态的初态开始。
在上图的状态图中，正常的状态顺序是:【Washing】- >【Rinsing】->【Spinning】。
如果是从状态【Rinsing】突然停电（Power Cut）退出，,洗衣机停止工作进入状态【Power Off】，当电力恢复时直接进入状态【Running】。
参考：UML图之三：状态图（状态转换图，有限状态机）2008-12-18 来源：blogjava.net，LinuxAid.com.cn axing，UML建模风格之状态图
灵动生活，火龙果软件UML建模之状态图（Statechart Diagram）