UML建模---活动图

活动图是UML用于对系统的动态行为建模的另一种常用工具，描述活动的顺序，展现从一个活动到另一个活动的控制流。活动图在本质上是一种流程图。活动图着重表现从一个活动到另一个活动的控制流，是内部处理驱动的流程。下面详细一下介绍活动图：
一、基本元素：
1、动作状态（Action State）
• 动作状态是指执行原子的、不可中断的动作，并在此动作完成后通过完成转换转向另一个状态的状态。

动作状态使用平滑的圆角矩形表示，动作状态所表示的动作写在圆角矩形内部。如图：

2、活动状态（Activity State）

• 活动状态用于表达状态机中的一个非原子的运行。
• 活动状态的表示图标也是平滑的圆角矩形，并可以在图标中给出入口动作和出口动作等信息。
如图：

• 活动状态的特点：
活动状态可以分解成其他子活动或动作状态，由于它是一组不可中断的动作或操作的组合，所以可以被中断。
活动状态的内部活动可以用另一个活动图来表示。
和动作状态不同，活动状态可以有入口动作和出口动作，也可以有内部转换。

动作状态是活动状态的一个特例，如果某个活动状态只包括一个动作，那么它就是一个动作状态。

3、动作流（Action Flow）
所有动作状态之间的转换流称之为动作流。
• 活动图的转换用带箭头的直线表示，箭头的方向指向转入的方向。

4、分支（Branch）与合并（Merge）

• 分支一般用于表示对象类所具有的条件行为。
• 条件行为用分支和合并表达。
• 在活动图中分支与合并用空心小菱形表示。
• 一个分支有一个入转换和两个带条件的出转换，出转换的条件应当是互斥的，这样可以保证只有一条出转换能够被触发。

• 一个合并有两个带条件的入转换和一个出转换，合并表示从对应的分支开始的条件行为的结束。如图：

5、分叉（Fork）与汇合（Join）
• 分叉用于将动作流分为两个或者多个并发运行的分支，而汇合则用于同步这些并发分支，以达到共同完成一项事务的目的。
• 分叉可以用来描述并发线程，每个分叉可以有一个输入转换和两个或多个输出转换，每个转换都可以是独立的控制流。
• 汇合代表两个或多个并发控制流同步发生，当所有的控制流都达到汇合点后，控制才能继续往下进行。每个汇合可以有两个或多个输入转换和一个输出转换。

分叉和汇合都使用加粗的水平线段表示。如图：

6、泳道（Swimlane）
• 泳道将活动图中的活动化分为若干组，并把每一组指定给负责这组活动的业务组织即对象。
• 泳道区分了负责活动的对象，明确地表示了哪些活动是由哪些对象进行的。
• 每个活动只能明确地属于一个泳道。
• 泳道用垂直实线绘出，垂直线分隔的区域就是泳道。在泳道上方可以给出泳道的名字或对象（对象类）的名字，该对象（对象类）负责泳道内的全部活动。
泳道没有顺序，不同泳道中的活动既可以顺序进行也可以并发进行，动作流和对象流允许穿越分隔线

7、对象流（Object Flow）
• 对象流是动作状态或者活动状态与对象之间的依赖关系，表示动作使用对象或者动作对对象的影响。
• 对象流中的对象特点：一个对象可以由多个动作操纵；一个动作输出的对象可以作为另一个动作输入的对象。

对象流用带有箭头的虚线表示。如果箭头从动作状态出发指向对象，则表示动作对对象施加了一定的影响。如果箭头从对象指向动作状态，则表示该动作使用对象流所指向的对象。
在活动图中，同一个对象可以多次出现，它的每一次出现表明该对象正处于对象生存期的不同时间点。

泳道和对象流可在下图中观察：