系统顺序图和操作契约.pptVIP

“ ” 面向对象分析与设计 绘制顺序图 叶文来 * In theory, there is no difference between theory and practice. But, in practice, there is. Jan L.A. van de Snepscheut * * 系统顺序图(System Sequence Diagrams) 描述与系统相关的输入和输出事件，以快速获得系统边界责任。 针对用例的一个特定场景 系统被视为黑盒 SSD展示了直接与系统交互的外部参与者、系统及外部事件使用系统的过程 UML没有系统顺序图，只有顺序图。 （这是过渡制品） * 系统顺序图 P128 系统顺序图目的： 确定系统事件 描述与系统相关的输入和输出事件，以快速获得系统边界责任。 为用例场景创建系统顺序图 进而分析系统需要实现的系统操作,为编写操作规约打基础 * * 系统顺序图 对于用例的一个特定场景，外部参与者产生的与系统的交互的事件。 系统视为黑盒，描述系统做什么，无需解释如何做。 系统顺序图的好处 明确外部对系统操作的事件（系统事件） 从高层次分析系统行为，容易入手 对主成功场景，频繁发生或复杂的场景绘制SSD * 系统顺序图的目的主要捕捉系统事件 系统需要处理和响应的事件类型有： 参与者的外部事件 时间事件 错误或异常 针对用例中一个场景考察系统顺序图 使用操作契约详细描述系统事件 * 处理销售示例 P129 * 系统事件的命名 事件意图的抽象 以动词开始，明确事件是命令或请求 如：增加、输入、结束、产生 系统顺序图中出现有数据元素应放入词汇表中，在词汇表中详细描述 为复杂的场景建立系统顺序图 不用为所有场景创建SSD * Monopoly模拟游戏场景 * 操作契约 目的 定义系统操作 为系统操作创建契约 使用前置和后置条件的形式，描述领域模型里对象的详细变化 围绕领域模型 （过渡制品） * 操作契约的编写 操作契约更为详细和精确的描述领域内对象的变化 针对一个系统操作，分析领域模型内的对象变化（实为对待这一系统操作的内部实现过程） * 操作: enterItme(itemID,quantity) 交叉引用: 处理销售 前置条件: 正在进行的销售 后置条件: 创建saleLineItem的实例sli sli与当前sale关联 sli.quantitiy赋值为quantity 基于itemId的匹配,将sli关联到ProductDesc 操作契约 P135 关键元素是后置条件 SSD中展示系统操作 * 操作：操作名称和参数 交叉引用：发生此操作的用例 前置条件：执行操作之前，领域模型的状态 后置条件：完成后，领域模型的状态 处理销售的系统顺序图 * 后置条件 不是操作过程中执行的活动 是对领域模型对象的观察结果，希望操作完成后达到的效果 着重关注后置条件 创建或删除实例 属性值的变化 形成或消除关联 后置条件 检测操作的正确与否 并不描述如何实现，强调产生结果 * 示例：enterItem后置条件 创建或删除实例 输入商品ID和数量后，创建SalesLineItem实例 属性修改 由商品数量，设置SalesLineItem的数量属性 形成或消除关联 新的SalesLineItem与Sale关联，并与ProductDescription关联 * 准则 在考虑操作契约时，发现新的概念类、属性或关联，需要对领域模型进行改进 在需要时编写契约 对SSD中复杂的系统操作构造契约 也可以使用OCL表示 * 操作契约实例 P139 * 操作：makeNewSale() 交叉引用： 前置条件： 后置条件：创建了Sale实例，关联到Register，初始化Sale实例 操作：enterItem(itemID,quantity) 交叉引用： 前置条件： 后置条件：根据itemID获取ProductDescription，由此创建了SaleLineItem实例，关联到Sale POS部分领域模型 * “ ”