前言
UML Sequence Diagrams是交互图，详细说明了如何执行操作。 它们捕获协作环境中对象之间的交互。 序列图是时间焦点，它们通过使用图表的垂直轴来直观地显示交互的顺序，以表示消息的发送时间和时间。
序列图捕获：
- 在实现用例或操作的协作中发生的交互（实例图或通用图）
- 系统用户与系统之间，系统与其他系统之间或子系统之间的高级交互（有时称为系统序列图）
序列图的目的
- 模拟系统中生成的对象之间的高级交互
- 对实现用例的协作中的对象实例之间的交互建模
- 对实现操作的协作中的对象之间的交互建模
- 模拟通用交互（显示通过交互的所有可能路径）或交互的特定实例（仅显示交互中的一条路径）
初识序列图
序列图显示元素随着时间的推移而相互作用，它们根据对象（水平）和时间（垂直）组织：
对象维度
- 横轴表示交互中涉及的元素
- 传统上，操作中涉及的对象根据它们何时参与消息序列从左到右列出。 但是，横轴上的元素可以按任何顺序出现
时间维度
纵轴表示页面下的时间进程（或进展）。
注意：序列图中的时间都是关于排序的，而不是持续时间。 交互图中的垂直空间与交互持续时间无关。
序列图例子：旅店系统
序列图是一个交互图，详细说明了如何执行操作 - 发送什么消息以及何时发送消息。 序列图根据时间进行组织。 当你走下页面时，时间会进行。 操作中涉及的对象根据它们何时参与消息序列从左到右列出。
以下是进行酒店预订的序列图。 启动消息序列的对象是预留窗口。
注意：类和对象图是静态模型视图。 交互图是动态的。 它们描述了对象如何协作。
序列图表示法
Actor
- 与主体交互的实体所扮演的一种角色（例如，通过交换信号和数据）
- 在主题外部（即，在某个意义上，Actor的实例不是其相应主题的实例的一部分）。
- 表示人类用户，外部硬件或其他主题所扮演的角色。
参与者不一定代表特定的物理实体，而仅仅代表某个实体的特定角色 一个对象可以扮演几个不同Actor的角色，相反，一个Actor可以由多个不同的对象来表示
Lifeline
生命线代表交互中的个体参与者
Activations
- 生命线上的细长矩形表示元素执行操作的时间段
- 矩形的顶部和底部分别与启动和完成时间对齐
Call Message
- Message定义了交互的生命线之间的特定通信。
- call message是一种表示目标生命线操作调用的消息
注意：call message里面出现的函数调用时目标对象的函数，而不是调用者的函数
Return Message
- 返回消息是一种消息，表示将信息传递回相应的前消息的调用者。
Self Message
- self message是一种表示同一生命线的消息调用的消息(可以理解为调用自己的方法)
Recursive Message(递归消息)
- 递归消息是一种表示同一生命线的消息调用的消息。 它的目标指向在调用消息的激活之上进行激活。
Create Message
- 创建消息是一种表示（目标）生命线实例化的消息(初始化一个目标对象)
Destroy Message
销毁消息是一种消息，表示破坏目标生命线生命周期的请求(销毁一个目标对象)
Duration Message
持续时间消息显示消息调用的两个时间点之间的距离
Note
注释（注释）使得能够将各种备注附加到元素。 注释不带语义力，但可能包含对建模者有用的信息。
消息和控制焦点
- 事件是发生事情的交互中的任何一点。
- Focus of control: also called execution occurrence, an execution occurrence
- 它在生命线上显示为高而薄的矩形
- 它表示元素执行操作的时间段。 矩形的顶部和底部分别与启动和完成时间对齐
序列片段(Sequence Fragments)
- UML 2.0引入了序列（或交互）片段。 序列片段可以更轻松地创建和维护准确的序列图
- 序列片段表示为一个框，称为组合片段，它包含序列图中的一部分相互作用
- 片段运算符（在左上角的短号）表示片段的类型
- 片段类型：ref，assert，loop，break，alt，opt，neg
| Operator | Fragment Type |
|---|---|
| alt | 备用多个片段：只执行条件为真的片段 |
| opt | 可选：仅当提供的条件为真时才执行片段。 相当于只有一条迹线的alt。 |
| par | 并行：每个片段并行运行 |
| loop | 循环：片段可以执行多次，并且防护指示迭代的基础 |
| region | 关键区域：片段只能有一个线程一次执行它 |
| neg | 否定：片段显示无效的交互 |
| ref | 参考：指在另一个图上定义的交互。 绘制框架以覆盖交互中涉及的生命线。 您可以定义参数和返回值。 |
| sd | 序列图：用于包围整个序列图 |
可以组合帧以捕获例如循环或分支。 组合片段关键字：alt，opt，break，par，seq，strict，neg，critical，ignore，consideration，assert和loop。 约束通常用于显示消息的时序约束。 它们可以应用于一条消息的时间或消息之间的间隔。
例子
用例场景建模的序列图
用户需求被捕获为精简为方案的用例。 用例是外部参与者与系统之间交互的集合。 在UML中，用例是：
“系统（或实体）可以执行的一系列动作（包括变体）的规范，与系统的参与者进行交互。”
场景是通过用例的一个路径或流程，该用例描述在系统的一个特定执行期间发生的事件序列，其通常由序列图表示。
序列图 - 代码前的模型
序列图可能有点接近代码级别，那么为什么不编码该算法而不是将其绘制为序列图？
- 一个好的序列图仍然比实际代码的水平高一点
- 序列图是语言中立的
- 非编码人员可以做序列图
- 作为一个团队，更容易做序列图
- 可用于测试和/或UX线框图
