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

1、面向对象分析与设计,绘制顺序图 叶文来,1,In theory, there is no difference between theory and practice. But, in practice, there is. Jan L.A. van de Snepscheut,2,3,系统顺序图(System Sequence Diagrams),描述与系统相关的输入和输出事件，以快速获得系统边界责任。 针对用例的一个特定场景 系统被视为黑盒 SSD展示了直接与系统交互的外部参与者、系统及外部事件使用系统的过程 UML没有系统顺序图，只有顺序图。 （这是过渡制品）,4,系统顺序图 P128,

2、系统顺序图目的： 确定系统事件 描述与系统相关的输入和输出事件，以快速获得系统边界责任。 为用例场景创建系统顺序图 进而分析系统需要实现的系统操作,为编写操作规约打基础,5,6,系统顺序图,对于用例的一个特定场景，外部参与者产生的与系统的交互的事件。 系统视为黑盒，描述系统做什么，无需解释如何做。 系统顺序图的好处 明确外部对系统操作的事件（系统事件） 从高层次分析系统行为，容易入手 对主成功场景，频繁发生或复杂的场景绘制SSD,7,系统顺序图的目的主要捕捉系统事件 系统需要处理和响应的事件类型有： 参与者的外部事件 时间事件 错误或异常 针对用例中一个场景考察系统顺序图 使用操作契约详细描述

3、系统事件,8,处理销售示例 P129,9,系统事件的命名 事件意图的抽象 以动词开始，明确事件是命令或请求 如：增加、输入、结束、产生 系统顺序图中出现有数据元素应放入词汇表中，在词汇表中详细描述 为复杂的场景建立系统顺序图 不用为所有场景创建SSD,10,Monopoly模拟游戏场景,11,操作契约,目的 定义系统操作 为系统操作创建契约 使用前置和后置条件的形式，描述领域模型里对象的详细变化 围绕领域模型 （过渡制品）,12,操作契约的编写,操作契约更为详细和精确的描述领域内对象的变化 针对一个系统操作，分析领域模型内的对象变化（实为对待这一系统操作的内部实现过程）,13,操作:enter

4、Itme(itemID,quantity) 交叉引用:处理销售 前置条件:正在进行的销售 后置条件:创建saleLineItem的实例sli sli与当前sale关联 sli.quantitiy赋值为quantity 基于itemId的匹配,将sli关联到ProductDesc,操作契约 P135 关键元素是后置条件 SSD中展示系统操作,14,操作：操作名称和参数 交叉引用：发生此操作的用例 前置条件：执行操作之前，领域模型的状态 后置条件：完成后，领域模型的状态,处理销售的系统顺序图,15,后置条件,不是操作过程中执行的活动 是对领域模型对象的观察结果，希望操作完成后达到的效果 着重关注后

5、置条件 创建或删除实例 属性值的变化 形成或消除关联 后置条件 检测操作的正确与否 并不描述如何实现，强调产生结果,16,示例：enterItem后置条件,创建或删除实例 输入商品ID和数量后，创建SalesLineItem实例 属性修改 由商品数量，设置SalesLineItem的数量属性 形成或消除关联 新的SalesLineItem与Sale关联，并与ProductDescription关联,17,准则,在考虑操作契约时，发现新的概念类、属性或关联，需要对领域模型进行改进 在需要时编写契约 对SSD中复杂的系统操作构造契约 也可以使用OCL表示,18,操作契约实例 P139,19,操作：makeNewSale() 交叉引用： 前置条件： 后置条件：创建了Sale实例，关联到Register，初始化Sale实例,操作：enterItem(itemID,quantity) 交叉引用： 前置条件： 后置条件：根据itemID获