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

《用例模型用操作契约增加细节.pptx》由会员分享，可在线阅读，更多相关《用例模型用操作契约增加细节.pptx（32页珍藏版）》请在淘文阁 - 分享文档赚钱的网站上搜索。

1、系统行为契约契约是一个文档，描述系统操作对系统状态的影响，属于系统行为建模的一部分。契约强调发生了什么而不是怎么发生。流程：用例描述系统顺序图系统操作契约第1页/共32页如何建立契约 针对每一个用例，识别出系统操作；针对每一个系统操作，书写契约。第2页/共32页系统行为系统操作契约每一个系统操作都有一个契约，用于描述这个系统操作的行为SystemmakeNewSale()addLineItem(itemID,quantity)endSalemakePayment(amount)第3页/共32页契约段契约段操作：职责：交叉引用：注释：异常：前置条件：后置条件：第4页/共32页契约段契约段(续续)

2、操作：操作和参数的名称职责：对此操作所履行的职责的非形式化描述交叉引用：会发生此操作的用例注释：设计注释、算法注释等异常：发生的例外情况第5页/共32页契约段契约段(续续)前置条件：在操作执行前对系统状态所做的假设后置条件：操作执行完成后，领域模型对象和系统的状态第6页/共32页系统行为契约契约文本描述中强调操作的职责和后置条件后置条件：描述了领域模型内对象状态的变化。领域模型状态变化包括创建实例，形成或消除关联以及改变属性表示的是结果，而不是执行的活动第7页/共32页定义：后置条件定义：后置条件实用的契约后置条件分为以下三类：1、实例的创建和删除。2、属性的修改。3、关联的形成和断开。领域模

3、型第8页/共32页定义：后置条件（续）定义：后置条件（续）断开举例：删除销售商品条目的操作：“选定的SaleLineItem与Sale之间的关联断开了”第9页/共32页契约举例契约举例 enterItementerItem（输入商品）（输入商品）名称：enterItem(itemID:ItemID,quantity:integer)职责：输入一个商品项信息，并把它记录到 销售项中去注释：要使用快速数据库存储机制异常：如果itemID无效，系统要显示出错信息第10页/共32页契约举例契约举例 enterItementerItem（续续）前置条件：1)系统预先知道各项商品的itemID2)正在进行

4、销售第11页/共32页契约举例 enterItem（续续）后置条件：创建了SaleLineItem实例sli（创建实例）sli与当前Sale实例间形成关联（形成关联）第12页/共32页契约举例 enterItem（续续）后置条件（续）：sli与ProductSpecification实例发生关联，这个关联建立在两者的itemID匹配的基础上（形成关联）sli的quantity属性被设置（属性修改）第13页/共32页定义：后置条件定义：后置条件n后置条件的表达要符合概念模型的语境，通过后置条件能发现概念模型遗漏的概念、属性或关联，从而进行补充。第14页/共32页为什么需要后置条件使用后置条件的优

5、点：是一个很好的用于问题调查的工具，在不需要清楚系统操作如何进行的情况下描述了系统操作的执行所引起的系统状态变化，使能集中精力分析系统发生了什么而不是怎么发生的。如：第15页/共32页编写后置条件编写后置条件编写后置条件的注意点：1）陈述要采用过去时态的声明语气和被动语态。来强调系统状态所发生的变化。如：“创建了一个销售”比“创建一个销售”要好。2）不用忘记在新创建的对象和已经存在的对象间建立关联。如：enterItem操作中，光生成一个saleLineItem还不够，还需要和sale实例建立连接。第16页/共32页编写编写后置条件后置条件后置条件应该详细到什么程度？在分析阶段为系统操作建立完

6、整和精确的后置条件几乎不可能，但是契约确实是分析系统行为的一项强有力工具。后置条件中的某些内容可能会在设计阶段得到细化和准确化。第17页/共32页领域模型第18页/共32页契约举例 makeNewSale契约名称：makeNewSale()makeNewSale()职责:开始一次新的销售开始一次新的销售前置条件：无无后置条件:ns被关联到Register(形成关联)ns的属性被初始化(修改属性)n创建了Sale的实例s(创建实例)第19页/共32页第20页/共32页第21页/共32页Ledger第22页/共32页契约举例契约举例 enterItementerItem名称：enterItem(i

7、temID:ItemID,quantity:integer)职责：输入一个商品项信息，并把它记录到销售项中去注释：要使用快速数据库存储机制异常：如果itemID无效，系统要显示出错信息前置条件：1)系统预先知道各项商品的itemID2)正在进行的销售后置条件：见下页第23页/共32页契约举例 enterItem（后置条件后置条件）一个SaleLineItem实例sli被创建（创建实例）sli与s实例间形成关联（形成关联）sli与ProductSpecification实例发生关联，这个关联建立在两者的itemID匹配的基础上（形成关联）sli的quantity属性被设置（属性修改）第24页/共

8、32页第25页/共32页系统记录单件商品，并显示该商品的描述、价格和累加值。第26页/共32页契约举例 endSale契约名称：endSale()endSale()职责:指示系统销售项录入完毕，并显示销指示系统销售项录入完毕，并显示销售项总金额售项总金额异常：如果没有销售交易在线，显示出错信如果没有销售交易在线，显示出错信息息前置条件：有一个销售正在进行有一个销售正在进行后置条件:ns.isCompletes.isComplete属性的值设置为属性的值设置为truetrue（属性修改）（属性修改）第27页/共32页契约引起的领域模型的变化契约引起的领域模型的变化在契约endSale中，描述了其

9、后置条件为一次商品销售的商品条目输入完成（即这次销售结束），而表示这个信息的方法是在sale当中使用isComplete属性，此属性是布尔数据类型。SaleisComplete：Booleandatetime第28页/共32页契约举例 makePayment契约名称：makePayment(amountmakePayment(amount：MoneyMoney）职责:记录支付的金额，计算余额并打印收据记录支付的金额，计算余额并打印收据前置条件：当前销售已经当前销售已经录入完毕录入完毕后置条件:n一个一个PaymentPayment实例实例p p被创建（实例创建）被创建（实例创建）np.amou

10、ntTenderedp.amountTendered的值被设置成的值被设置成amountamount的值的值（属性修改）（属性修改）np p被关联到当前的被关联到当前的Sale Sale（形成关联）（形成关联）n当前的当前的SaleSale与对应的与对应的LedgerLedger形成关联（将已经形成关联（将已经完成的销售项添加到商店的历史记录中去）完成的销售项添加到商店的历史记录中去）（形成关联）（形成关联）第29页/共32页将已经完成的销售项添加到商店的历史记录中去第30页/共32页分析阶段总结分析阶段总结针对本开发周期中的用例，创建：1、概念模型：将问题空间分解为可以理解的小的单元（概念）；帮助澄清、统一问题域中的术语和词汇；2、系统顺序图：系统事件和操作是什么；3、契约：系统操作对系统状态的影响（发生了什么而不是怎么发生）第31页/共32页感谢您的观看！第32页/共32页