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

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

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

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

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

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,用例模型--用操作合約添加細節(jié),什么是系統(tǒng)操作什么是系統(tǒng)操作合約為何要創(chuàng)建系統(tǒng)操作合約如何創(chuàng)建系統(tǒng)操作合約好處總結,系統(tǒng)合約好處,在考慮操作合約時可增

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