用例模型--用操作合約添加細(xì)節(jié)

1、用例模型--用操作合約添加細(xì)節(jié),徐迎曉xuyingxiao@126.com復(fù)旦大學(xué)軟件學(xué)院,用例模型--用操作合約添加細(xì)節(jié),什么是系統(tǒng)操作什么是系統(tǒng)操作合約為何要?jiǎng)?chuàng)建系統(tǒng)操作合約如何創(chuàng)建系統(tǒng)操作合約好處總結(jié),什么是系統(tǒng)操作,UML中，整個(gè)系統(tǒng)可以表示成一個(gè)類系統(tǒng)行為描述系統(tǒng)做什么，而不解釋其如何做--黑箱系統(tǒng)操作處理系統(tǒng)事件系統(tǒng)操作是處理輸入的系統(tǒng)事件的公共接口—下圖,,,把系統(tǒng)看作單個(gè)構(gòu)件或類，所有用例得到的整個(gè)

2、系統(tǒng)操作集合定義了系統(tǒng)的公共接口。,用例模型--用操作合約添加細(xì)節(jié),什么是系統(tǒng)操作什么是系統(tǒng)操作合約為何要?jiǎng)?chuàng)建系統(tǒng)操作合約如何創(chuàng)建系統(tǒng)操作合約好處總結(jié),什么是操作合約,合約是描述系統(tǒng)行為的有用文檔系統(tǒng)操作合約描述執(zhí)行系統(tǒng)操作時(shí)整個(gè)系統(tǒng)的狀態(tài)改變合約是描述系統(tǒng)操作答應(yīng)完成的事情聲明風(fēng)格，面向狀態(tài)改變，而非動(dòng)作重點(diǎn)在于WHAT will happen，而不是howUML通過定義前置條件和后置條件定義系統(tǒng)合約針對(duì)單個(gè)操作

3、，或更廣泛的系統(tǒng)操作,,用例Process Sale的操作合約,,用例模型--用操作合約添加細(xì)節(jié),什么是系統(tǒng)操作什么是系統(tǒng)操作合約為何要?jiǎng)?chuàng)建系統(tǒng)操作合約如何創(chuàng)建系統(tǒng)操作合約好處總結(jié),為什么要?jiǎng)?chuàng)建系統(tǒng)合約,用例是UP中描述系統(tǒng)行為的主要機(jī)制，但有時(shí)需要更詳細(xì)的描述系統(tǒng)順序圖顯示了外部參與者生成的系統(tǒng)事件但缺乏理解系統(tǒng)行為所需要的細(xì)節(jié)，即系統(tǒng)如何響應(yīng)操作合約有助于定義系統(tǒng)行為,用例模型--用操作合約添加細(xì)節(jié),什么是系統(tǒng)操作

4、什么是系統(tǒng)操作合約為何要?jiǎng)?chuàng)建系統(tǒng)操作合約如何創(chuàng)建系統(tǒng)操作合約好處總結(jié),如何創(chuàng)建系統(tǒng)操作合約,來源： 前面得到的領(lǐng)域模型系統(tǒng)順序圖系統(tǒng)操作從系統(tǒng)順序圖和用例識(shí)別系統(tǒng)操作為系統(tǒng)操作創(chuàng)建合約（復(fù)雜的或在UC中不明確的系統(tǒng)操作）從編寫職責(zé)部分開始，非正式地描述操作的目的最后完成后置條件部分：領(lǐng)域模型中對(duì)象狀態(tài)發(fā)生了哪些改變?（實(shí)例的創(chuàng)建/銷毀，屬性的變化，關(guān)聯(lián)的建立和變化）,,,,描述狀態(tài)而非功能用過去式，以強(qiáng)調(diào)對(duì)過去

5、狀態(tài)改變的聲明SaleLineItem被創(chuàng)建創(chuàng)建SaleLineItem ？,,Contract CO1: makeNewSaleOperation:makeNewSale()Cross References:Use Cases: Process SalePreconditions:nonePostconditions:- A Sale instance s was created (instance creation)

6、.- s was associated with a Register (association formed).- Attributes of s were initialized.,,enterItem,UC3. Cashier enters item identifier.4. System records sale line item and presents item description, price, and r

7、unning total.,endSale,Contract CO3: endSaleOperation: endSale()Cross References: Use Cases: Process SalePreconditions:There is a sale underway.Postconditions:- Sale.isComplete became true (attribute modification

8、).,makePayment,8. System logs completed sale and sends sale and payment information to the external Accounting system and Inventory system,用例模型--用操作合約添加細(xì)節(jié),什么是系統(tǒng)操作什么是系統(tǒng)操作合約為何要?jiǎng)?chuàng)建系統(tǒng)操作合約如何創(chuàng)建系統(tǒng)操作合約好處總結(jié),系統(tǒng)合約好處,在考慮操作合約時(shí)可增

9、強(qiáng)領(lǐng)域模型（如發(fā)現(xiàn)需要新的概念類、屬性、關(guān)聯(lián)）合約是需求分析的杰出工具關(guān)注應(yīng)該發(fā)生什么（系統(tǒng)操作要求系統(tǒng)狀態(tài)發(fā)生什么樣的變化），而不是描述如何完成軟件的設(shè)計(jì)和解決方案可以延期進(jìn)行用例中也可描述，但常不希望這樣，因?yàn)闀?huì)使用例太冗長(zhǎng)和太詳細(xì),用例模型--用操作合約添加細(xì)節(jié),什么是系統(tǒng)操作什么是系統(tǒng)操作合約為何要?jiǎng)?chuàng)建系統(tǒng)操作合約如何創(chuàng)建系統(tǒng)操作合約好處總結(jié),總結(jié),操作合約用領(lǐng)域?qū)ο蟮臓顟B(tài)改變來描述系統(tǒng)操作執(zhí)行的結(jié)果系統(tǒng)作為