UML状态图.docx

UML状态图.docx

《UML状态图.docx》由会员分享，可在线阅读，更多相关《UML状态图.docx（13页珍藏版）》请在冰豆网上搜索。

UML状态图

状态图是系统分析的一种常用工具，它通过建立类对象的生存周期模型来描述对象随时间变化的动态行为。

状态机

状态机是展示状态与状态转换的图。

通常一个状态机依附于一个类，并且描述一个类的实例。

状态机包含了一个类的对象在其生命周期间所有状态的序列以及对象对接收到的事件所产生的反应。

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

状态图

一个状态图表示一个状态机。

主要用于表现从一个状态到另一个状态的控制流。

状态图由表示状态的节点和表示状态之间转换的带箭头的直接组成。

若干个状态由一条或多条转换箭头连接，状态的转换由事件触发。

模型元素的行为可以由状态图中的一条通路表示，沿着此通路状态机随之执行了一系列动作。

一个简单的状态图如下：

1、状态

状态由一个带圆角的矩形表示，状态图的图标可以分为3部分：

名称、内部转换和嵌套状态。

（1）、名称。

名称表示状态的名字，通常用字符串表示。

一个状态的名称在状态图所在的上下文中应该是唯一的

（2）、内部转换。

在内部转换中可以包含进入或者走出此状态应该执行的活动或动作，它们将响应对象所接收到的事件，但是不改变对象的状态。

（3）、嵌套状态图。

状态图中的状态有两种：

简单状态和组合状态。

简单状态不包含其他状态，组合状态是包含子状态的状态。

在组合状态的嵌套状态图部分包含的就是此状态的子状态。

2、转换

转换用带箭头的直线表示，分别连接源状态和目标状态。

当源状态接收到一个事件，并且监护条件得到满足，则执行相应的动作，同时从源状态转换到目标状态。

如果转换上没有标注触发转换的事件，则表示此转换为自动进行。

3、初始状态

初始状态代表状态图的起始位置，起始状态在一个状态图中只允许有一个，用一个实心圆表示。

4、终止状态

终止状态是一个状态图的终止点。

它用一个含有实心圆的空心圆表示。

5、判定

判定用空心小菱形表示。

工作流在此处按监护条件的取值而发生分支。

状态

状态包括状态名、内部转换、入口动作和出口动作、简单状态、组成状态（顺序子状态、并发子状态）、历史状态。

事件

事件表示在某一特定的时间或空间出现的能够引发状态改变的运动变化。

事件分为入口事件、出口事件、动作事件、信号事件、调用事件、修改事件、时间事件、延迟事件。

转换

转换表示当一个特定事件发生或某些条件得到满足时，一个源状态下的对象在完成一定的动作后将发生状态转变，转向另一个称之为目标状态的状态。

转换通常分为外部转换、内部转换、完成转换和复合转换4种。

一个转换一般包括5部分的信息：

源状态、目标状态、触发事件、监护条件和动作。

1、外部转换

外部转换是一种改变对象状态的转换，它是最常见的一种转换。

外部转换用从源状态到目标状态的箭头表示。

下图表示了一个火车上的卫生间的简单状态转换。

图中箭头上标注的都是引发状态转换的外部事件。

2、内部转换

内部转换有一个源状态但没有目标状态，它转换后的状态仍是它本身。

内部转换用于对不改变状态的插入动作建立模型，例如建立帮助信息。

内部转换和自转换（即后面提到的完成转换）不同：

自转换是离开本状态后重新进入该状态，它会激发状态的入口动作和出口动作的执行；而内部转换自始至终都不离开本状态，所以没有出口或入口事件。

3、完成转换

完成转换又成自转换，之所以称为完成转换是因为没有标明触发器事件的转换是由状态中活动的完成引起的，是自然而然的完成的转换。

4、复合转换

复合转换由简单转换组成，这些简单转换通过分支判定、分叉或接合组合在一起。

多条件的分支判定又分为链式和非链式的分支，两种分支分别如下图所示：

5、触发事件

触发事件就是能引起状态转换的事件。

触发事件可以是信号、调用和时间段等。

6、监护条件

监护条件是触发转换必须满足的条件，它是一个布尔表达式。

当事件被触发时，监护条件被赋值。

如果布尔表达式为真，那么转换被触发；否则不会引起转换。

监护条件只能在触发事件发生时被赋值一次。

从一个状态引出的多个转换可以有同样的触发器事件，但是每个转换必须具有不同的监护条件。

7、动作

动作是一组可执行语句或计算处理过程。

动作可以包括发送消息给另一个对象、操作调用、设置返回值、创建和销毁对象等。

动作是原子的，不可中断的。

整个系统可以在同一时间执行多个动作。

动作在它的控制线程中是原子性的，一旦开始执行就必须执行到底并且不能与同时处于活动状态的动作发生交互作用。

详解UML建模中的状态图

2010-05-10作者：

郝宪玮来源：

博客园

本文将为大家介绍的是UML建模中的状态图，希望通过本文能对大家了解UML，了解UML建模有所帮助。

状态图目录：

一、状态图简介（Briefintroduction）

二、状态图元素（StateDiagramElements）

1、状态（States）

2、转移（Transitions）

3、动作（StateActions）

4、自身转移（Self-Transitions）

5、组合状态（CompoundStates）

6、进入节点（EntryPoint）

7、退出节点（ExitPoint）

8、历史状态（HistoryStates）

9、并发区域（ConcurrentRegions）

三、状态图案例分析（StateDiagramExampleAnalysis）

四、总结（Summary）

一、状态图简介（Briefintroduction）

状态图（StatechartDiagram）主要用于描述一个对象在其生存期间的动态行为，表现为一个对象所经历的状态序列，引起状态转移的事件（Event），以及因状态转移而伴随的动作（Action）。

一般可以用状态机对一个对象的生命周期建模，状态图用于显示状态机（StateMachineDiagram），重点在与描述状态图的控制流。

如下图例子，状态机描述了门对象的生存期间的状态序列，引起转移的事件，以及因状态转移而伴随的动作（Action）.

状态有Opened、Closed、Locked。

事件有Open、Close、Lock和Unlock。

注意：

1、并不是所有的事件都会引起状态的转移，比如当门是处于【Opened】状态，不能进行【Lock】事件。

2、转移（Transition）有警备条件（guardcondition），比如只有doorWay->isEmpty条件满足时，才会响应事件。

二、状态图元素（StateDiagramElements）

1、状态（States）

指在对象的生命周期中的某个条件或者状况，在此期间对象将满足某些条件、执行某些活动活活等待某些事件。

所有对象都有状态，状态是对象执行了一系列活动的结果，当某个事件发生后，对象的状态将发生变化。

状态用圆角矩形表示

初态和终态（InitialandFinalStates）初态用实心圆点表示，终态用圆形内嵌圆点表示。

2、转移（Transitions）

转移（Transitions）是两个状态之间的一种关系，表示对象将在源状态（SourceState）中执行一定的动作，并在某个特定事件发生而且某个特定的警界条件满足时进入目标状态（TargetState）

事件标记（Trigger）：

是转移的诱因，可以是一个信号，事件、条件变化（achangeinsomecondition）和时间表达式。

警界条件（GuardCondition）：

当警界条件满足时，事件才会引发转移（Transition）。

结果（Effect）：

对象状态转移后的结果。

3、动作（StateActions）

动作（Actions）是一个可执行的原子操作,也就是说动作是不可中断的，其执行时间是可忽略不计的。

在上例中，对象状态转移后的结果显示在转移线上，如果目标状态有许多转移，而且每个转移有相同的结果，这时把转移后的结果（Effect）展示在目标状态中（TargetState）更好一些，可以定义进入动作（EntryAction）和退出动作（ExitAction），如下图

4、自身转移（Self-Transitions）

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

2S后，Pollinput事件执行，转移到自己状态【Waiting】

5、组合状态（CompoundStates）

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

也可用以下方式进行描述

如上图，状态机【CheckPIN】的细节被分割到另外一个图中了。

6、进入节点（EntryPoint）

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

7、退出节点（ExitPoint）

8、历史状态（HistoryStates）

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

在上图的状态图中，正常的状态顺序是:

【Washing】->【Rinsing】->【Spinning】。

如果是从状态【Rinsing】突然停电（PowerCut）退出，,洗衣机停止工作进入状态【PowerOff】，当电力恢复时直接进入状态【Running】。

9、并发区域（ConcurrentRegions）

状态图可以分为区域，而区域又包括退出或者当前执行的子状态。

说明组合状态在某一时刻可以同时达到多个子状态。

如下图刹车系统，同时进入前刹车【ApplyingFrontBrakes】状态和后刹车【ApplyingRearBrakes】状态。

三、状态图案例分析（StateDiagramExampleAnalysis）

订单成立状态主要有：

订单成立

订单取消（Guard:

会员订单-缴款期限已过期）

备货中（Guard:

已付款、订单成立、库存量足够）

出货中（Effect:

扣除商品可接单量及移除购物车中的购买资料）

出货确认（Guard:

实际配达日及发票代码、号码均不为空值）

出货完毕（Guard:

实际配达日不为空）

出货失败

订单成立（Guard:

出货完毕，已付款、鉴赏期结束日期小于等于[系统日期]）

分析：

1、购物车生成订单进入状态【订单成立】

2、系统检测订单已经付款并且库存量足够，则进入状态【备货中】

3、物流发货，进入状态【发货中】，状态转移为【发货中】后，需要做的操作有“扣除商品可接单量及移除购物车中的购买资料”

4、发货完毕后，状态分为【出货确认】和状态【出货失败】，如果状态是【出货失败】，则【结束】，如果状态为【出货确认】，则进入下一步。

5、配货人员填写实际配达日期，进入状态【出货完毕】。

6、如果”已付款、鉴赏期结束日期小于等于[系统日期]”,则【订单成立】。

四、总结（Summary）

状态图重点在于描述对象的状态及其状态之间的转移，状态图的基本元素主要有：

状态、转移、动作、自身转移、组合状态、进入节点、退出节点、历史状态、并发区域等，状态中的事件分为调用事件（Call）、变化事件（Change）、时间事件（Time）和信号事件（Singal）。

最后以实例对状态对进行了分析。