用例模型：用操作契约增加细节.pptVIP

**Copyright?CraigLarman.2000AllRightsReservedCopyright?CraigLarman.2000AllRightsReserved用例模型：用操作契约增加细节目标： 系统行为分析 为系统操作创建契约202X提纲1.系统行为－系统顺序图2.系统行为－契约流程：用例描述－》系统顺序图－》系统操作－》契约02契约是一个文档，描述系统操作对系统状态的影响，属于系统行为建模的一部分。契约强调发生了什么而不是怎么发生。01系统行为－契约如何建立契约针对每一个用例，识别出系统操作；针对每一个系统操作，书写契约。每一个系统操作都有一个契约，用于描述这个系统操作的行为SystemmakeNewSale()addLineItem(itemID,quantity)endSalemakePayment(amount)系统行为—系统操作－契约01操作：02职责：03交叉引用：04注释：05异常：06前置条件：07后置条件：契约段异常：发生的例外情况注释：设计注释、算法注释等交叉引用：会发生此操作的用例职责：对此操作所履行的职责的非形式化描述操作：操作和参数的名称DCBAE契约段(续)前置条件：在操作执行前对系统状态所做的假设后置条件：操作执行完成后，领域模型对象和系统的状态契约段(续)契约文本描述中强调操作的职责和后置条件01后置条件：描述了领域模型内对象状态的变化。领域模型状态变化包括创建实例，形成或消除关联以及改变属性——表示的是结果，而不是执行的活动01系统行为－契约领域模型实用的契约后置条件分为以下三类：实例的创建和删除。属性的修改。关联的形成和断开。定义：后置条件定义：后置条件（续）断开举例：删除销售商品条目的操作：“选定的SaleLineItem与Sale之间的关联断开了”契约举例－enterItem

（输入商品）名称：enterItem(itemID:ItemID,quantity:integer)职责：输入一个商品项信息，并把它记录到 销售项中去注释：要使用快速数据库存储机制异常：如果itemID无效，系统要显示出错信息系统预先知道各项商品的itemID01正在进行销售02前置条件：契约举例－enterItem（续）契约举例－enterItem（续）…后置条件：创建了SaleLineItem实例sli（创建实例）01sli与当前Sale实例间形成关联（形成关联）02契约举例－enterItem（续）…后置条件（续）：sli与ProductSpecification实例发生关联，这个关联建立在两者的itemID匹配的基础上（形成关联）sli的quantity属性被设置（属性修改）定义：后置条件后置条件的表达要符合概念模型的语境，通过后置条件能发现概念模型遗漏的概念、属性或关联，从而进行补充。为什么需要后置条件使用后置条件的优点：是一个很好的用于问题调查的工具，在不需要清楚系统操作如何进行的情况下描述了系统操作的执行所引起的系统状态变化，使能集中精力分析系统发生了什么而不是怎么发生的。如：陈述要采用过去时态的声明语气和被动语态。来强调系统状态所发生的变化。如：“创建了一个销售”比“创建一个销售”要好。不用忘记在新创建的对象和已经存在的对象间建立关联。如：enterItem操作中，光生成一个saleLineItem还不够，还需要和sale实例建立连接。编写后置条件编写后置条件的注意点：后置条件应该详细到什么程度？在分析阶段为系统操作建立完整和精确的后置条件几乎不可能，但是契约确实是分析系统行为的一项强有力工具。后置条件中的某些内容可能会在设计阶段得到细化和准确化。编写后置条件领域模型契约举例－makeNewSale契约名称：makeNewSale()职责:开始一次新的销售前置条件：无后置条件:s被关联到Register(形成关联)s的属性被初始化(修改属性)创建了Sale的实例s(创建实例)单击此处添加大标题内容单击此处添加大标题内容Ledger**Copyright?CraigLarman.2000AllRightsReservedCopyright?CraigLarman.2000AllRightsReserved