Lecture7.ppt

系统分析与设计郑大鹏 fszdp1@ 上次课内容回顾?已经讲了领域对象模型,请大家重视这部分内容,并完成以下作业?书面作业 2: 分析你的电子商务系统中的领域对象, 并用图和文档加以说明。第七讲操作契约与逻辑架构?内容?操作契约?系统的逻辑架构?目的?了解操作契约的意义和写法, ?了解系统逻辑架构的概念。操作契约?操作契约是操作行为的定义。它描述了操作对系统状态的影响; ?通过操作发生前后系统状态的描述, 反应或定义系统的行为。操作契约?契约由操作、交叉引用、前置条件和后置条件等部分组成。操作:操作的名称和参数交叉引用:发生此操作的用例前置条件:执行操作前,对系统或领域模型对象状态的重要假设后置条件:操作完成后,领域模型对象的状态操作契约?下面是一个操作契约的例子: 契约 CO2: enterItem 操作:enterItem(itemID:ItemID,quantity:Integer) 交叉引用:用例---处理销售前置条件:有一个销售正在进行后置条件: 创建了 SalesLineItem 的实例 sli(创建实例) sli 与当前 Sale 关联(形成关联) 赋值为 quantity (修改属性) 基于 itemID 的匹配,将 sli关联到 ProductDescription (形成关联) 操作契约?在操作契约中,后置条件是关键因素。?操作契约主要由后置条件表达。操作契约?操作契约是对系统操作的描述。系统操作是系统响应事件的行为。系统操作往往带有参数。?涉及所有用例的系统操作的完整集合, 定义了公共的系统接口,描述了系统的外观。操作契约?在 UML 中,作为整体的系统可以表示成名称为 System 的类的一个对象。例如: System makeNewSale() enterItem() endSale() makePayment()