知识3--顺序图.pptVIP

* （1）同步消息（调用消息） Synchronous：指示在消息完成之前，以及该消息发送的任何消息完成之前，工作流被中断。 说明：（1）同步消息的接收者必须是一个被动对象(passive object)，即它是需要通过消息驱动才能执行动作的对象。 （2）一般调用消息必有一个配对的返回消息。但是如果是过程调用，可不画返回消息，因为返回消息是隐含的，否则必须明确画出返回消息。 * * * （2）异步消息 Asynchronous：异步消息的发送者通过消息把信号传递给消息的接收者，然后继续自己的活动，不等待接收者返回消息或控制。 * * 创建对象 * * 示例 * * * * * * * * * * * * * * * * * 软件建模技术 南昌航空大学 软件学院 主讲教师：段喜龙 * * 软件建模技术课程主要章节 绪论 1 计划和细化阶段 2 分析阶段 3 设计阶段 4 高级阶段 6 构造阶段 5 * * UML之系统顺序图 系统顺序图是系统调查过程的一部分，这个调查过程主要是查明要建立的系统是一个什么样的系统，因此，系统顺序图是分析模型的一部分。展示了参与者向系统发起的事件。 系统顺序图（system sequence diagram）展示了在一个特殊的用况场景（用况执行过程的一个特定实例或实现路径—用况生效的一个真实例子）中系统外部参与者发起的事件、事件的顺序以及各个系统之间的交互事件等。在顺序图中，所有的系统都被当作黑盒子看待，顺序图的重点是参与者发起的跨越系统边界的事件。 * * 系统行为 在进行逻辑设计之前软件应用系统将如何工作，必须对系统行为进行调查，并且要将系统行为定义为一个“黑盒子”。系统行为（system behavior）描述了系统做什么，而不解释系统怎么做。系统顺序图是对系统行为所做的描述的一部分。 * * 系统事件和系统操作 系统事件（system event）是有某个参与者发起的指向某个系统的输入事件。一个事件的发生能够触发一个响应操作的执行。 系统操作（system operation）是系统为响应一个事件而执行的一个操作。 * * 如何建立一个系统顺序图 1）将系统表示为一个黑盒子，在盒子下划一条线 2）识别出所有直接对系统进行操作的参与者。在每个参与者下划一条线 3）根据用例的典型事件发生过程的描述，找出每个参与者所发起的（外部）事件。将他们标在图中。 * * 契约 契约是一个描述某个操作应该得到什么结果的文档。经常采用叙述体，强调发生了什么，而不是如何发生。通常契约是用前置和后置条件中描述的状态变化表达。 契约可以用来描述一个单独的软件类方法，也可以用来描述规模更大的系统操作。 * * 系统操作契约 描述了当一个系统操作被调用时整个系统的状态变化。（后置条件） 操作、交叉引用、前置条件、后置条件 殚精竭虑之时，文字将成为利器 ——歌德 * * 后置条件与概念模型 如何建立一个契约 实例的创建与撤消 属性的修改 关联的形成与破裂 后置条件的表达要符合概念模型语境：什么实例可以被创建？什么关联可以被形成？ * * 前置条件 前置条件定义了操作开始时对系统状态所做的假设。 在操作的执行中执行到某点时，那些对软件测试来说非常重要的条件 不需要测试，但系统操作的成功执行所需要的一些条件。 * * 场景 场景（scenario）是指系统在某个特定的执行期内所发生的一系列事件，例如用例。场景的范围可以变化，它可以包括系统中的所有事件，或者只包括与某些对象有密切联系或由这些对象产生的那些事件。场景可以是实行一个实际系统的历史记录，或者是执行拟采用系统的预想实验（thought experiment）。 * * 场景示例 John Doe 登录 系统建立安全的通信 系统显示投资组合信息 John Doe 输入买入订单，按市场价购买100份GE的股票 系统验证购买资金是否充足 系统显示带有估算成本的确认窗口 John Doe 确认买入 系统下定单给证券交易所 系统显示交易合同号 John Doe 注销 系统建立非安全的通信 系统显示再见窗口 证券交易所报告交易结果 * * 顺序图表示 文本格式便于编写，但它无法清晰地显示每条消息的发送者和接收者，特别是当有两个以上的对象存在时。顺序图（sequence diagram）显示了交互的参与者以及参与者之间的消息顺序。顺序图也显示了系统为了执行全部或部分用例而与其参与者的交互。 * * * 每个用例需要一张或多张顺序图来描述其行为。每张顺序图显示用例的一个特定的行为序列。最好是显示用例的某一部分，不要太宽泛。尽管在顺序图之间显示条件是可能的，但通常为每个主要的控制流绘制一张顺序图会更清楚一些。 * en ha * O