uml精粹——11.活动图（及整个读书笔记分享）

11.活动图activity diagram
  活动图是描写叙述过程化逻辑procedural logic、业务过程business process和工作流work flow的技术。

他和流程图flowchart类似，但不同是他们支持并行行为parallel bahavior。

  见图11.1

  我们从初始节点initial node动作開始。然后做Receive Order的动作。

完毕后遇到一个fork分叉。一个分叉fork有一个收入流incoming flow和一些外出的并行流outgoing concurrent flow。
  图中fill order、send invoid和兴许的动作都并行出现。这意味着他们间的顺序是不相干的。
  活动图非常少描写叙述我必须尾随的顺序相关的规则，这对于业务模型businessmodeling非常重要，由于这些过程常常并行出现。这在并行算法concurrent algorithm中也非常重要。
  当你有并行动作，你须要同步。我们使用join结合。

对于一个join结合，输出的流仅仅在全部输入的流都到达reach这个join时才进行。
  你会发现活动图中的节点叫做action动作。不是活动activity。

严格讲一个活动值的是一系列动作。所以活动图是由一些动作组成的。

  条件行为是由decisions决策和merge合并描写叙述。

一个决策decision叫做分支branch。有一个输入流和一些守卫的输出流。

每一个输出流有一个守卫：一个放在方括号中的布尔表达式。

每次你遇到一个决策时。你仅仅能选择一个输出流，所以这些守卫必须相互排斥。使用[else]作为守卫表示当该决策的全部其它守卫都是false的时候就使用它。

  一个merge合并有多个输入流和一个输出流，表示条件行为的结束。


【分解一个动作decompose an action】
  动作可被分解为子活动subactivity。

  见图11.2

  见图11.3

  动作可用子活动实现或作为类的方法，你可用rake symbol显示子活动。

也可用class-name::method-name表示一个方法的调用。你也能够写一个代码片段到动作符号去。假设引入的行为不仅仅是一个调用的话。

【分开partition】
  见图11.4


【信号signal】
  动作也能够回应信号。一个时间信号time signal出现因为时间的通路passage。

一个信号表示这个活动收到一个来自外部进程的事件。

这意味着活动连续的监听那些信号。活动图定义了活动怎样反应。

  见图11.5

  相同的我们也能够发送信号。当我们须要发送消息并等待一个回答然后再继续 的时候这个非常实用。

  见图11.6

  上图展示了超时的一个样例。那两个流在竞争，最先到终于状态的会胜利并终止另外一个流。
  虽然接受信号常常仅仅是等待一个外部事件。我们也能够先说一个流进入他们。这表示我们一開始并不開始侦听，直到这个流触发了这个接受信号until the flow triggers the accept。
  
【记号token】
P96


【流和边缘edge】  
  uml2使用flow和edge来同义的描写叙述两个动作之间的连接。最简单的edge是两个动作间的箭头线，你也能够给edge命名，但一般箭头就够了。

  见图11.7

  假设你画线有困难，能够用连接器connector（尽量避免使用）。

【栓和变换pins and transformations】
  动作能够有參数。假设你希望展示參数则能够用pins。你须要确认输出的參数和还有一个输入的參数是否一致，假设不一致则须要转换transformation。

  见图11.8

  
【扩展区域expansion regions】
  常常有这样的情况：一个动作输出 触发了还有一个动作的多次调用。扩展区域标记一个活动图的区域里全部动作都会出现一次，对于一个集合里的每一项each item in a collection。

  见图11.9

  上图中的行为是并行的。由于用<<concurrent>>keyword标记了。


【流终点flow final】
  一个流终点表示一个特定的流的结束，而不停止整个活动。

  见图11.11

  图中同意文章被拒绝。假设一个文章被拒绝。该记号token会被流终点销毁。跟活动终点不同，其它的活动还能够继续。这让扩展区域可作为过滤器filters，即输出集合会比输入集合小。


【结合说明join specification】

  一个合并说明是附加到一个合并的布尔表达式。每次一个记号token到达一个合并的时候，合并说明会被检測，假设为真，则输出记号被发射emit。

  见图11.12

【uml精粹 读书笔记分享】

http://download.csdn.net/detail/adfansong/8781683