本文和大家重点讨论一下UML序列图中变体和选择项,UML序列图中变体用来指明在两个或更多的消息序列之间的、互斥的选择,而选择项组合碎片用来为序列建模,这些序列给予一个特定条件,将会发生的;或者,序列不发生。
变体
UML序列图中变体用来指明在两个或更多的消息序列之间的、互斥的选择。3变体支持经典的“ifthenelse”逻辑的建模(举例来说,如果我买三个,然后我得到我购买的20%折扣;否则我得到我购买的10%折扣)。
就如你将会在图8中注意到的,一个变体的组合碎片元件使用框架来画。单词“alt”放置在框架的namebox里。然后较大的长方形分为UML2所称的操作元。4操作元被虚线分开。每个操作元有一个约束进行测试,而这个约束被放置在生命线顶端的操作元的左上部。5如果操作元的约束等于“true”,然后那个操作元是要执行的操作元。
图8:包含变体组合碎片的一个UML序列图片段
图8作为一个变体的组合碎片如何阅读的例子,显示序列从顶部开始,即bank对象获取支票金额和帐户结余。此时,UML序列图中的变体组合碎片接管。因为约束“[balance>=amount]”,如果余额超过或等于金额,然后顺序进行bank对象传递addDebitTransaction和storePhotoOfCheck消息给account对象。然而,如果余额不是超过或等于金额,然后顺序的过程就是bank传递addInsuffientFundFee和noteReturnedCheck消息给account对象,returnCheck消息给它自身。因为“else”约束,当余额不大于或者等于金额时,第二个序列被调用。在变体的组合碎片中,不需要“else”约束;而如果一个操作元,在它上面没有一个明确的约束,那么将假定“else”约束。
变体的组合碎片没被限制在简单的“ifthenelse”验证。可能需要大量的变体路径。如果需要较多的变体方案,你一定要做的全部工作就是把一个操作元加入有序列约束和消息的长方形中。
选择项
UML序列图中选择项组合碎片用来为序列建模,这些序列给予一个特定条件,将会发生的;或者,序列不发生。一个选择项用来为简单的“ifthen”表达式建模。(例如,如果架上的圈饼少于五个,那么另外做两打圈饼)。
选择项组合碎片符号与变体组合碎片类似,除了它只有一个操作元并且永不能有“else”约束以外(它就是如此,没有理由)。要画选择项组合,你画一个框架。文字“opt”是被放置在框架的namebox里的文本,在框架的内容区,选择项的约束被放置在生命线顶端上的左上角。然后选择项的消息序列被放在框架的内容区的其余位置内。这些元件如图9所示。
图9:包括选择项组合碎片的一个UML序列图片段
阅读选择项组合碎片很容易。图9是图7的UML序列图片段的再加工,但是这次它使用一个选择项组合碎片,因为如果Student的逾期平衡等于0,需要传递更多的消息。按照图9的UML序列图,如果Student的逾期平衡等于零,然后传递addStudent,getCostOfClass和chargeForClass消息。如果Student的逾期平衡不等于零,那么在选择项组合碎片中,序列不传递任何一个消息。
例子图9的UML序列图片段包括一个选择项约束;然而,约束不是一个必需的元件。在高层次、抽象的UML序列图中,你可能不想叙述选择项的条件。你可能只是想要指出片段是可选择的。
【编辑推荐】