用例模型用操作契约增加细节学习教案

1、会计学1用例模型用操作契约增加用例模型用操作契约增加(zngji)细节细节第一页，共32页。第1页/共32页第二页，共32页。 针对每一个(y )用例，识别出系统操作； 针对每一个(y )系统操作，书写契约。第2页/共32页第三页，共32页。每一个系统操作(cozu)都有一个契约，用于描述这个系统操作(cozu)的行为SystemmakeNewSale()addLineItem(itemID,quantity)endSalemakePayment(amount)第3页/共32页第四页，共32页。第4页/共32页第五页，共32页。第5页/共32页第六页，共32页。第6页/共32页第七页，共32页

2、。第7页/共32页第八页，共32页。领域(ln y)模型第8页/共32页第九页，共32页。断开举例：删除销售(xioshu)商品条目的操作：“选定的SaleLineItem与Sale之间的关联断开了”第9页/共32页第十页，共32页。第10页/共32页第十一页，共32页。第11页/共32页第十二页，共32页。第12页/共32页第十三页，共32页。第13页/共32页第十四页，共32页。n后置条件的表达要符合概念(ginin)模型的语境，通过后置条件能发现概念(ginin)模型遗漏的概念(ginin)、属性或关联，从而进行补充。第14页/共32页第十五页，共32页。第15页/共32页第十六页，共3

3、2页。第16页/共32页第十七页，共32页。第17页/共32页第十八页，共32页。RegisteridItemStorenameaddressSaledateTime/ totalCashPaymentamountTenderedSalesLineItemquantityCashieridCustomerProductCatalogProductDescriptionitemIDdescriptionpriceStocks*Houses1.*Used-by*Contains1.*Describes*Captured-onContained-in1.*Records-sale-of 0.1Pai

4、d-byIs-forLogs-completed* Works-on11111.*11111110.111LedgerRecords-accounts-for11领域(ln y)模型第18页/共32页第十九页，共32页。契约名称：makeNewSale()makeNewSale()职责:开始一次新的销售开始一次新的销售前置条件：无无后置条件:ns被关联(gunlin)到Register(形成关联(gunlin)ns的属性被初始化(修改属性)n创建(chungjin)了Sale的实例s(创建(chungjin)实例)第19页/共32页第二十页，共32页。RegisteridItemStorena

5、meaddressSaledateTime/ totalCashPaymentamountTenderedSalesLineItemquantityCashieridCustomerProductCatalogProductDescriptionitemIDdescriptionpriceStocks*Houses1.*Used-by*Contains1.*Describes*Captured-onContained-in1.*Records-sale-of 0.1Paid-byIs-forLogs-completed* Works-on11111.*11111110.111LedgerRec

6、ords-accounts-for11第20页/共32页第二十一页，共32页。RegisteridItemStorenameaddressSaledateTime/ totalCashPaymentamountTenderedSalesLineItemquantityCashieridCustomerProductCatalogProductDescriptionitemIDdescriptionpriceStocks*Houses1.*Used-by*Contains1.*Describes*Captured-onContained-in1.*Records-sale-of 0.1Paid-

7、byIs-forLogs-completed* Works-on11111.*11111110.111LedgerRecords-accounts-for11第21页/共32页第二十二页，共32页。RegisteridItemStorenameaddressSaledateTime/ totalCashPaymentamountTenderedSalesLineItemquantityCashieridCustomerProductCatalogProductDescriptionitemIDdescriptionpriceStocks*Houses1.*Used-by*Contains1.*

8、Describes*Captured-onContained-in1.*Records-sale-of 0.1Paid-byIs-forLogs-completed* Works-on11111.*11111110.111LedgerRecords-accounts-for11Ledger第22页/共32页第二十三页，共32页。第23页/共32页第二十四页，共32页。第24页/共32页第二十五页，共32页。RegisteridItemStorenameaddressSaledateTime/ totalCashPaymentamountTenderedSalesLineItemquantity

9、CashieridCustomerProductCatalogProductDescriptionitemIDdescriptionpriceStocks*Houses1.*Used-by*Contains1.*Describes*Captured-onContained-in1.*Records-sale-of 0.1Paid-byIs-forLogs-completed* Works-on11111.*11111110.111LedgerRecords-accounts-for11第25页/共32页第二十六页，共32页。RegisteridItemStorenameaddressSaled

10、ateTime/ totalCashPaymentamountTenderedSalesLineItemquantityCashieridCustomerProductCatalogProductDescriptionitemIDdescriptionpriceStocks*Houses1.*Used-by*Contains1.*Describes*Captured-onContained-in1.*Records-sale-of 0.1Paid-byIs-forLogs-completed* Works-on11111.*11111110.111LedgerRecords-accounts-

11、for11系统记录单件商品，并显示(xinsh)该商品的描述、价格和累加值。第26页/共32页第二十七页，共32页。契约名称：endSale()endSale()职责:指示系统销售项录入完毕，并显示销指示系统销售项录入完毕，并显示销售项总金额售项总金额异常：如果没有销售交易在线，显示出错信如果没有销售交易在线，显示出错信息息前置条件： 有一个销售正在进行有一个销售正在进行后置条件:ns.isCompletes.isComplete属性的值设置为属性的值设置为truetrue（属性修改）（属性修改）第27页/共32页第二十八页，共32页。 SaleisComplete：Booleandateti

12、me第28页/共32页第二十九页，共32页。契约名称：makePayment(amountmakePayment(amount：MoneyMoney）职责:记录支付的金额，计算余额并打印收据记录支付的金额，计算余额并打印收据前置条件：当前销售已经当前销售已经录入完毕录入完毕后置条件:n一个一个PaymentPayment实例实例p p被创建（实例创建）被创建（实例创建）np.amountTenderedp.amountTendered的值被设置成的值被设置成amountamount的值（的值（属性修改）属性修改）np p被关联到当前的被关联到当前的Sale Sale （形成关联）（形成关联）n

13、当前的当前的SaleSale与对应的与对应的LedgerLedger形成关联（将已经形成关联（将已经完成的销售项添加到商店的历史记录中去）完成的销售项添加到商店的历史记录中去）（形成关联）（形成关联）第29页/共32页第三十页，共32页。RegisteridItemStorenameaddressSaledateTime/ totalCashPaymentamountTenderedSalesLineItemquantityCashieridCustomerProductCatalogProductDescriptionitemIDdescriptionpriceStocks*Houses1.*Used-by*Contains1.*Des