软件工程：需求分析与验证-分析模型的表示

需求分析与验证

需求分析的任务：在需求获取阶段的输出制品的基础上，获得对软件需求更加深入、更加完整的理解，并且将软件需求表示为面向软件设计人员、易于修改和维护的分析模型

构建分析模型的原因：

1. 分析模型比用例模型更加结构化，更加清晰直观（所以构建过程实际上是不断深入理解用例模型的过程，同时也是去除自然语言中描述的可能存在的模糊性和不一致性）
2. 分析模型是用例模型与软件设计模型之间的“桥梁”（分析模型比用例模型更加近设计模型，更适合软件设计师设计软件系统的结构、构思软件求解算法，更容易给不熟悉业务的软件设计师理解）

分析模型的表示

交互图

• 顺序图

  侧重点：强调信息传递的时间序

  构成：对象以及生命线与活跃期，消息传递，注解（纵向代表时间轴 横向由多个参与交互的对象构成）

  对象：表示为嵌于矩形框内形如[对象名]：[类名]的文本，其中对象、类名至少存在一个。当同一类有多个对象参与同一张顺序图所示的交互时，或者当对象将作为参数出现在本图汇总的某条消息中时，对象名不能省略（消除二义性）

  ------------------------

  对象分为主动对象和被动对象

  主动对象：该对象的消息在时间段内直接或间接的引起了其他对象的活跃（注：一张顺序图中可能存在多个主动对象，此时主动对象的控制流将并发执行。两个主动对象之间的消息传递应该是异步）

  被动对象：该对象在时间段内直接或间接的被其他对象的消息引起活跃（注：被动对象在响应、处理消息时接受消息源对象的控制，在消息处理完毕后将控制权交还。因此被动对象活跃期的顶部位于消息接收点，底部位于消息处理完成时刻点）

  生命线：对象之下的垂直虚线为生命线，表示对象在始于对象表示图元所处的时间起点、止于对象生命终结符之间的时间段内的软件系统中存在。

  注：可以在对象生命线上嵌入状态符，表示对象在状态符所处的时间点上必定进入相应的状态。还可以用状态符来表示来自其他对象的某条消息将导致对象状态的改变，此时状态符应该在时间轴方向上靠近那条消息。

  消息传递：对象间的消息传递表示为对象生命线之间的有向边，边上可以标注[*] [监护条件] [返回值&