UML图详解（七）交互图（时序图与协作图）

原

UML图详解（七）交互图（时序图与协作图）

2016年06月14日 22:39:10 FXBStudy 阅读数：23584更多

所属专栏： UML-面向对象软件的标准化建模语言

一、概念

交互图描述对象之间的动态合作关系以及合作过程中的行为次序。
交互图常常用来描述一个用例的行为，显示该用例中所涉及的对象以及这些对象之间的消息传递情况，即一个用例的实现过程。

交互图有顺序图和协作图两种形式。

时序图中描述对象按照时间顺序的消息交换。
协作图着重描述系统成分如何协同工作。

时序图和协作图从不同角度表达了系统中的交互和系统行为，它们之间可以相互转化。

时序图（Sequence Diagram）也称为顺序图。
通信图（Communication Diagram）也称为协作图。

二、时序图

2.1 概念

时序图是以时间为序的表示方法，主要用来描述完成某个行为的对象类和这些对象类之间所传递的消息的时间顺序。
时序图是强调消息时间顺序的交互图。
时序图描述了对象之间传送消息的时间顺序，用来表示用例中的行为顺序。

顺序图（Sequence Diagram）=生命线（Lifeline）+消息（Message）

时序图将交互关系表示为一个二维图。其中，纵轴是时间轴，时间沿竖线向下延伸。横轴代表了在协作中各独立的对象。
时序图包含了4个元素：对象、生命线、消息、激活

顺序图的可视化图符：

UML异步消息：建模软件使用实线箭头表示。

2.2 生命线

每个对象及参与者都有一条垂直的生命线（Lifeline），表示了在交互过程中的生命期限。

表示方式：用矩形框和虚线表示生命线，矩形框中添加生命线的名称，虚线表示生命长度。

生命线名称语法：生命线对象名[选择器]：类名ref decomposition （蓝色表示可选选项）

选择器：同一个类的对象可以有不同的状态值，可以再此中标明。

ref：是引用（Reference）的英文缩写

decomposition：指明在另一个更详细的顺序图中展示了当前交互的参与者如何处理它所接收到的信息的细节

2.3 互动条

活动条（Activation Bar）也称为执行发生（Execution Occurrence），用来表示对象的某个行为的执行状态。

表示方式：虚线上的小矩形条。

2.4 消息

消息简介

对象的行为也称为消息（Message），通常当一个对象调用另一个对象中的行为时，即完成了一次消息传递。

表示方式

在生命线间的带有实心箭头表示消息

消息命名

信号或消息名（参数：参数类型）：返回值

简单消息、同步消息、异步消息

消息分为简单消息(Simple Message)、同步消息(Synchronous Message)和异步消息(Asynchronous Message)

简单消息：指标是控制如何从一个对象发给另一个对象，并不包含控制信息。
同步消息：意味着阻塞和等待
异步消息：意味着非等待

表示方式如上《顺序图的可视化图符》图。

对象创建消息

参与交互的对象不必再整个顺序图交互的完整周期中一直存在，可以根据需要，通过发送消息来创建和销毁他们。

表示方式有两种：

在消息的上方添加构造型《create》来表示对象在交互过程中被创建。
消息的箭头直接指向被创建的对象生命线的头部，这样就不需要构造型《create》来表达了

对象的销毁

将构造型《destroy》放在消息的上方来表达对象销毁消息，同时在对象的生命线的结束部分画一个“×”来表示对象被销毁

无触发对象和无接收对象的消息

无触发对象消息（Found Message）：用活动条开始断点上的实心球箭头来表示。（用在开始）

无接收对象消息（lost message）：用箭头加实心球表示。（用在结束）

控制信息

1、条件控制信息

当表达式的条件为真的时候消息才会被发送

语法：[表达式]消息标签

2、重复（迭代）控制信息

消息多次发送给接收对象,迭代条件是表达式,当表达式的判定值为真结束

语法:*[表达式]消息标签

消息的返回值

表示方式:用虚线加开箭头的形式表示

2.5 交互框

UML2.0添加了交互框(Interaction Frame).

交互框指途中的一块区域(Region)或片段(Fragment),包含一个操作符(或称为标签),并包含一个警戒.

类型	参数	含义
ref	无	表示交互被定义在另一个图中。可将一个规模较大的图划分为若干个规模较小的图，方便图的管理和复用。
assert	无	表示发生在交互框内的交互式唯一有效的执行路径，有助于指明何时交互的每一步必须被成功执行，通常与状态变量一起使用来增强系统的某个状态。
loop	min times,max times,[guard_condition]	循环片段，当条件为真的时候执行循环。也可以写成loop(n)来表示循环n次，与java或者C#等中的for循环比较相似。
break	无	如果交互中包含break，那么任何封闭在交互中的行为必须被推出，特别是loop片段，这与java中的break语句比较相似。
alt	[guard_condition1]… [guard_condition2]… [else]	选择片段，在境界中表达互斥的条件逻辑，与if…else…语句相似。
neg	无	展示了一个无效的交互。
opt	[guard_condition]	可选片段，当警戒值为真的时候执行。
par	无	并行片段，表达并行执行。
region	无	区域，表示区域内仅能运行一个线程。