UML建模（活动图&状态图）

活动图：

概念：

活动图本质上是一种流程图，它描述活动的序列，即系统从一个活动到另一个活动的控制流。

活动图的作用：

描述用例，描述类的操作，另外，可以用来描述算法（单独使用）。

活动图表示法：  

      活动（动作）

     1、活动的概念

     表示工作流过程中命令的执行或活动的进行。

     2、活动的符号

     状态

      注意：一个活动图中只能有一个开始状态，但可以有多个结束状态。（例如上面的MP3活动图，就有2个结束状态）

     转移（动作流）

     活动之间、活动与状态之间的转换。

     分支与合并

     分支

     根据条件的取值决定动作的流向。

      合并

      合并将俩条路径连接到一起，合并成一条路径。

     分叉和汇合

      分叉

      用于将一个控制流分为两个或多个并发运行的分支。

 

      汇合

      用于将两个或多个控制流合并到一起形成一个单向的控制流，符号与分叉相同。

      如果一个控制流在其他控制流到达之前到达了连接，它将会等待，知道所有控制流都到达了才会向连接传递控制权。

     实例：销售合同从签订到履约的过程

     销售合同签订后，要进行核对。如果发现错误，则终止履约；如果没有错误，则要核对货物清单确定是否有货，还要核对付款单确定对方是否已经付款，只有这两项都完成，才可以发货。如果无货或对方尚未付款，则终止履约。则活动图如下：

     泳道

     泳道表明每个活动是由哪些人或哪些部门负责完成。

      在活动图中泳道区分了负责活动的对象，它明确地表示了哪些活动是由哪些对象进行的。

      在包含泳道的活动图中每个活动只能明确地属于一个泳道。

     简单模拟卓越网的购物流程

     添加泳道之后：

    

  从左到右：顾客、运输部、财务部   

     对象流

     用活动图描述某个对象时，可以将涉及到的对象放到活动图中，并用一个依赖将其连接到活动或状态上，对象的这种使用方法就构成对象流。

    上面的购物过程的活动图加入对象流之后：妆容

状态图 

状态图简介

状态图主要用于描述一个对象在其生存期间的动态行为，表现为一个对象所经历的状态序列，引起状态转移的事件（Event），以及因状态转移而伴随的动作（Action）。一般可以用状态机对一个对象的生命周期建模，状态图用于显示状态机（State Machine Diagram），重点在与描述状态图的控制流。

状态图元素

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】。

9、并发区域（Concurrent Regions）

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