uml 础教程 第七章--活动图.ppt

7.3 其他标记符 在活动图中，除了前面介绍的动作、活动、转换和组合活动4个主要的标记符以外，还存在几个次要的标记符： 分支与合并 分叉与汇合 泳道 对象流 7.3.1 分支与合并 分支在活动图中很常见，它是转换的一部分，它将转换路径分成多个部分，每一部分都有单独的监护条件和不同的结果。当动作流遇到分支时，会根据监护条件（布尔值）的真假来判定动作的流向。 分支的每个路径的监护条件应该是互斥的，这样可以保证只有一条路径的转换被激发。在活动图中离开一个活动状态的分支通常是完成转换，它们是在状态内活动完成时隐含触发的。 要注意的是，分支应该尽可能地包含所有的可能，否则可能会有一些转换无法被激发。这样最终会因为输出转换不再重新激发。 合并指的是两个或者多个控制路径在此汇合的情况。合并是一种便利的表示法，省略它不会丢失信息。合并和分支常常成对使用，合并表示从对应分支开始的条件行为的结束。 　 在活动图中，分支与合并都用空心的菱形表示。分支有一个输入箭头和两个输出箭头，而合并有两个输入箭头和一个输出箭头，如图7-5所示。 需要注意区分合并和结合。合并汇合了两个以上的控制路径，在任何执行中每次只走一条，不同路径之间是互斥的关系