上傳人：順***

認(rèn)證信息

認(rèn)證類型：個(gè)人認(rèn)證

認(rèn)證主體：藍(lán)**（實(shí)名認(rèn)證）

IP屬地：廣東

IP屬地：廣東 上傳時(shí)間：2024-05-06 格式：PPT 頁(yè)數(shù)：68 大?。?1.93MB 積分：18 舉報(bào) 版權(quán)申訴

軟件工程第七章面向?qū)ο蠓治鲋饕獌?nèi)容面向?qū)ο蠼Ｓ美Ｐ皖I(lǐng)域模型行為模型案例分析第2頁(yè),共68頁(yè)，2024年2月25日，星期天面向?qū)ο蠓治雒嫦驅(qū)ο蠓治觯∣OA，Object-OrientedAnalysis）是一種半形式化的規(guī)格說(shuō)明技術(shù)。目前，最流行的技術(shù)是OMT和Booch開(kāi)發(fā)技術(shù)UML面向?qū)ο蠓治龅淖畲筇攸c(diǎn)是面向用例在用例的描述中引入了外部角色的概念第3頁(yè),共68頁(yè)，2024年2月25日，星期天面向?qū)ο蠼Ｃ嫦驅(qū)ο竽Ｐ蛯?duì)象模型：定義了“做什么”的實(shí)體動(dòng)態(tài)模型：規(guī)定在何種狀態(tài)下，接受什么事件的觸發(fā)而“做什么”功能模型：指明了系統(tǒng)應(yīng)該“做什么”第4頁(yè),共68頁(yè)，2024年2月25日，星期天對(duì)象模型對(duì)象模型可以看成是數(shù)據(jù)流和語(yǔ)義數(shù)據(jù)模型的結(jié)合對(duì)象模型表示靜態(tài)的、結(jié)構(gòu)化系統(tǒng)的“數(shù)據(jù)”性質(zhì)。它是對(duì)模擬客觀世界實(shí)體的對(duì)象，以及對(duì)象彼此間的關(guān)系的映射，描述了系統(tǒng)的靜態(tài)結(jié)構(gòu)。對(duì)象模型是一個(gè)類、對(duì)象、及其之間關(guān)系的定義集。對(duì)象模型還必須表示類/對(duì)象之間的結(jié)構(gòu)關(guān)系。第5頁(yè),共68頁(yè)，2024年2月25日，星期天動(dòng)態(tài)模型動(dòng)態(tài)模型表示瞬間的、行為化的系統(tǒng)“控制”性質(zhì)，它規(guī)定了對(duì)象模型中對(duì)象的合法變化序列。對(duì)象狀態(tài)是對(duì)對(duì)象屬性的一種抽象。對(duì)象之間相互觸發(fā)/作用的行為（稱為事件），引起了一系列的狀態(tài)變化。動(dòng)態(tài)模型描繪了對(duì)象的狀態(tài)，觸發(fā)狀態(tài)轉(zhuǎn)換的事件，以及對(duì)象行為（對(duì)事件的響應(yīng)）。第6頁(yè),共68頁(yè)，2024年2月25日，星期天功能模型功能模型表示變化的系統(tǒng)的“功能”性質(zhì)，指明了系統(tǒng)應(yīng)該“做什么”。面向?qū)ο笫且杂美?qū)動(dòng)的。用例模型。站在用戶的角度，虛擬現(xiàn)實(shí)的業(yè)務(wù)場(chǎng)景，描述系統(tǒng)應(yīng)該提供什么功能。第7頁(yè),共68頁(yè)，2024年2月25日，星期天統(tǒng)一建模語(yǔ)言UML發(fā)展歷程UML2.02005第8頁(yè),共68頁(yè)，2024年2月25日，星期天統(tǒng)一建模語(yǔ)言UML統(tǒng)一建模語(yǔ)言（UML，UnifiedModelingLanguage）是一種基于面向?qū)ο蟮目梢暬ＵZ(yǔ)言。UML用豐富的圖形符號(hào)隱含表示了模型元素的語(yǔ)法，而用這些圖形符號(hào)組成元模型表達(dá)語(yǔ)義，組成模型描述系統(tǒng)結(jié)構(gòu)（或稱為靜態(tài)特征）以及行為（或稱為動(dòng)態(tài)特征）。UML的模型元素：一類模型元素用于表示模型中的某個(gè)概念，如類、對(duì)象、用例、結(jié)點(diǎn)、構(gòu)件、包、接口等；另一類模型元素用于表示模型元素之間相互連接的關(guān)系，主要有關(guān)聯(lián)、泛化（表示一般與特殊的關(guān)系）、依賴、聚集（表示整體與部分的關(guān)系）等。第9頁(yè),共68頁(yè)，2024年2月25日，星期天UML模型元素聚集依賴泛化關(guān)聯(lián)狀態(tài)對(duì)象屬性操作類屬性操作角色用例結(jié)點(diǎn)構(gòu)件包接口注解第10頁(yè),共68頁(yè)，2024年2月25日，星期天UML模型視圖UML主要是用來(lái)描述模型的。它可以從不同視角為系統(tǒng)建模，形成不同的視圖（View）。每個(gè)視圖又由一組圖（Diagram）構(gòu)成。兩類圖：靜態(tài)圖：包括用例圖、類圖、對(duì)象圖、構(gòu)件圖和部署圖動(dòng)態(tài)圖：包括狀態(tài)圖、時(shí)序圖、協(xié)作圖和活動(dòng)圖五種視圖：用例視圖從用戶角度表達(dá)系統(tǒng)功能；結(jié)構(gòu)視圖主要使用類圖和對(duì)象圖描述系統(tǒng)靜態(tài)結(jié)構(gòu)；行為視圖展示系統(tǒng)動(dòng)態(tài)行為及其并發(fā)性；實(shí)現(xiàn)視圖展示系統(tǒng)實(shí)現(xiàn)的結(jié)構(gòu)和行為特征；部署視圖展示系統(tǒng)的實(shí)現(xiàn)環(huán)境和構(gòu)件是如何在物理結(jié)構(gòu)中部署的第11頁(yè),共68頁(yè)，2024年2月25日，星期天UML分析建模用例模型用例圖用例描述用例場(chǎng)景活動(dòng)圖領(lǐng)域模型分析類用例實(shí)現(xiàn)交互圖分析包CRC技術(shù)行為模型順序圖協(xié)作圖狀態(tài)圖第12頁(yè),共68頁(yè)，2024年2月25日，星期天用例建模需求捕獲的目標(biāo)：發(fā)現(xiàn)真正的需求以適用于用戶、客戶和開(kāi)發(fā)人員的方式加以表示系統(tǒng)用戶表示為一個(gè)參與者參與者在與用例進(jìn)行交互時(shí)使用系統(tǒng)用例向參與者提供某些有價(jià)值結(jié)果而執(zhí)行一些動(dòng)作序列第13頁(yè),共68頁(yè)，2024年2月25日，星期天編寫用例用例從某個(gè)特定參與者的角度用簡(jiǎn)單易懂的語(yǔ)言說(shuō)明一個(gè)特定的使用場(chǎng)景。要開(kāi)始開(kāi)發(fā)用例，應(yīng)列出特定參與者執(zhí)行的功能或者活動(dòng)。參與者（角色）用例（業(yè)務(wù)場(chǎng)景）用例圖描述部分用例模型，顯示帶有聯(lián)系的用例和參與者的集合第14頁(yè),共68頁(yè)，2024年2月25日，星期天用例圖用例圖包括：參與者、用例、關(guān)聯(lián)和邊界四個(gè)要素。參與者：用小人形表示用例：用橢圓表示關(guān)聯(lián)：用直線表示說(shuō)明參與者驅(qū)動(dòng)某個(gè)用例邊界：用矩形框表示，說(shuō)明系統(tǒng)關(guān)注點(diǎn)。用例的表述方式文字表述圖形表述第15頁(yè),共68頁(yè)，2024年2月25日，星期天POS機(jī)系統(tǒng)部分用例圖第16頁(yè),共68頁(yè)，2024年2月25日，星期天描述用例用例不同部分說(shuō)明用例名稱以動(dòng)詞開(kāi)始描述用例名稱范圍要設(shè)計(jì)的系統(tǒng)級(jí)別“用戶目標(biāo)”或者是“子功能”主要參與者調(diào)用系統(tǒng)，使之交付服務(wù)渋眾及其關(guān)注點(diǎn)關(guān)注該用例的人，及其需要前置條件開(kāi)始前必須為真的條件成功保證成功完成必須滿足的條件主成功場(chǎng)景典型的、無(wú)條件的、理想方式的成功場(chǎng)景擴(kuò)展成功或失敗的替代場(chǎng)景特殊需求相關(guān)的非功能性需求技術(shù)和數(shù)據(jù)變?cè)夭煌腎/O方法和數(shù)據(jù)格式發(fā)生頻率影響對(duì)實(shí)現(xiàn)的調(diào)查、測(cè)試和時(shí)間安排雜項(xiàng)未決問(wèn)題等第17頁(yè),共68頁(yè)，2024年2月25日，星期天POS機(jī)系統(tǒng)中處理銷售的用例場(chǎng)景用例名稱：處理銷售范圍：POS機(jī)應(yīng)用級(jí)別：用戶目標(biāo)主要參與者：收銀員涉眾及其關(guān)注點(diǎn)：收銀員：希望能夠準(zhǔn)確、快速地輸入，而且沒(méi)有支付錯(cuò)誤，因?yàn)槿绻偈肇浛睿瑢钠湫剿娍鄢?。售貨員：希望自動(dòng)更新銷售提成顧客：希望以最小代價(jià)完成購(gòu)買活動(dòng)并得到快速服務(wù)。希望便捷、清晰地看到所輸入的商品項(xiàng)目和價(jià)格。希望得到購(gòu)買憑證，以便退貨。公司：希望準(zhǔn)確地記錄交易，滿足顧客要求。希望確保記錄了支付授權(quán)服務(wù)的支付票據(jù)。希望有一定的容錯(cuò)性，即便在某些服務(wù)器構(gòu)件不可用時(shí)（如遠(yuǎn)程信用卡驗(yàn)證），也能夠完成銷售。希望能夠自動(dòng)、快速地更新帳戶和庫(kù)存信息。經(jīng)理：希望能夠快速執(zhí)行超控操作，并易于更正收銀員的不當(dāng)操作。前置條件：收銀員必須經(jīng)過(guò)確認(rèn)和認(rèn)證。成功保證（或后置條件）：存儲(chǔ)銷售信息，更新帳戶和庫(kù)存信息，記錄提成，生成票據(jù)，記錄支付授權(quán)的批準(zhǔn)。第18頁(yè),共68頁(yè)，2024年2月25日，星期天主成功場(chǎng)景1.顧客攜帶所購(gòu)商品或服務(wù)到收銀臺(tái)通過(guò)POS機(jī)付款。2.收銀員開(kāi)始一次新的銷售交易。3.收銀員輸入商品條碼。4.系統(tǒng)逐步記錄出售的商品，并顯示該商品的描述、價(jià)格和累計(jì)額。價(jià)格通過(guò)一組價(jià)格規(guī)則來(lái)計(jì)算。收銀員重復(fù)3~~4步，直到輸入結(jié)束。5.系統(tǒng)顯示總額和計(jì)算折扣。6.收銀員告知顧客總額，并請(qǐng)顧客付款。7.顧客付款，系統(tǒng)處理支付。8.系統(tǒng)記錄完整的銷售信息，并將銷售和支付信息發(fā)送到外部的賬務(wù)系統(tǒng)（進(jìn)行賬務(wù)處理和提成）和庫(kù)存系統(tǒng)（更新庫(kù)存）。9.系統(tǒng)打印票據(jù)。10.顧客攜帶商品和票據(jù)離開(kāi)。第19頁(yè),共68頁(yè)，2024年2月25日，星期天課堂練習(xí)處理退貨的用例分析參與者渋眾及其關(guān)注點(diǎn)前置條件后置條件主要場(chǎng)景第20頁(yè),共68頁(yè)，2024年2月25日，星期天活動(dòng)圖UML活動(dòng)圖通過(guò)提供特定的場(chǎng)景內(nèi)交流的圖形化表示來(lái)補(bǔ)充用例?；顒?dòng)圖符號(hào)：兩端為半圓形的矩形表示一個(gè)特定的系統(tǒng)功能箭頭表示通過(guò)系統(tǒng)的流判定菱形表示判定分支水平線、分叉點(diǎn)和連接表示并發(fā)活動(dòng)對(duì)象節(jié)點(diǎn)表示活動(dòng)對(duì)象活動(dòng)圖通常能夠既表示控制流又表示數(shù)據(jù)流。UML活動(dòng)圖代替?zhèn)鹘y(tǒng)的數(shù)據(jù)流圖（DataFlowDiagram）表示法第21頁(yè),共68頁(yè)，2024年2月25日，星期天處理銷售用例中的UML活動(dòng)圖第22頁(yè),共68頁(yè)，2024年2月25日，星期天泳道圖UML泳道圖（swimlane）是活動(dòng)圖的一種有用的變形UML泳道圖通常對(duì)于涉及眾多參與者的非常復(fù)雜的業(yè)務(wù)過(guò)程建模具有價(jià)值。第23頁(yè),共68頁(yè)，2024年2月25日，星期天泳道圖舉例第24頁(yè),共68頁(yè)，2024年2月25日，星期天UML分析建模用例模型用例圖用例描述用例場(chǎng)景活動(dòng)圖領(lǐng)域模型分析類用例實(shí)現(xiàn)交互圖分析包CRC技術(shù)行為模型順序圖協(xié)作圖狀態(tài)圖第25頁(yè),共68頁(yè)，2024年2月25日，星期天建立領(lǐng)域模型領(lǐng)域模型能捕獲語(yǔ)境中最重要的對(duì)象模型，領(lǐng)域?qū)ο蟠硐到y(tǒng)工作的環(huán)境中存在的事情或發(fā)生的事件。領(lǐng)域有三種典型的形式：業(yè)務(wù)對(duì)象，表示業(yè)務(wù)中可操作的東西，例如訂單、帳戶和合同等。系統(tǒng)需要處理的現(xiàn)實(shí)世界中的對(duì)象和概念，如導(dǎo)彈、輪船等。將要發(fā)生或已經(jīng)發(fā)生的事件，例如飛機(jī)起飛或午餐休息等。領(lǐng)域建模的目的是理解和描述在領(lǐng)域語(yǔ)境中最重要的類第26頁(yè),共68頁(yè)，2024年2月25日，星期天領(lǐng)域建模過(guò)程識(shí)別分析類。找出所有分析類并進(jìn)行分類。用例實(shí)現(xiàn)分析。用分析類來(lái)表現(xiàn)用例場(chǎng)景。分析類組合為分析包。分析類的關(guān)聯(lián)與組裝。識(shí)別屬性和操作。完善分析類的描述。第27頁(yè),共68頁(yè)，2024年2月25日，星期天識(shí)別分析類領(lǐng)域模型實(shí)際上是更為完整的業(yè)務(wù)模型的一個(gè)特例有兩種類型的UML模型支持業(yè)務(wù)建模：用例模型對(duì)象模型對(duì)系統(tǒng)開(kāi)發(fā)的用例或處理敘述進(jìn)行“語(yǔ)法分析”，可以開(kāi)始分析類的識(shí)別。第28頁(yè),共68頁(yè)，2024年2月25日，星期天分析類識(shí)別方式外部實(shí)體：使用基于計(jì)算機(jī)的系統(tǒng)的信息。事物：?jiǎn)栴}信息域的一部分。發(fā)生或事件：在系統(tǒng)操作環(huán)境內(nèi)發(fā)生。角色：由和系統(tǒng)交互的人員扮演。組織單元：和某個(gè)應(yīng)用相關(guān)。場(chǎng)地：建立問(wèn)題的環(huán)境和系統(tǒng)的整體功能。結(jié)構(gòu)：定義了對(duì)象的類或與對(duì)象相關(guān)的類。第29頁(yè),共68頁(yè)，2024年2月25日，星期天分析類分析類側(cè)重于處理功能性需求通過(guò)較高的、非形式化層次的職責(zé)類定義某行為分析類三種基本構(gòu)造型：邊界類：邊界類用于建立系統(tǒng)與其參與者之間交互的模型，每個(gè)邊界類至少應(yīng)該與一個(gè)參與者有關(guān)，反之亦然?？刂祁悾嚎刂祁惔韰f(xié)調(diào)、排序、事務(wù)處理以及其他對(duì)象的控制。實(shí)體類：實(shí)體類用于對(duì)長(zhǎng)效持久的信息建模。第30頁(yè),共68頁(yè)，2024年2月25日，星期天分析類舉例第31頁(yè),共68頁(yè)，2024年2月25日，星期天控制類控制類類似于設(shè)計(jì)模型中的控制器類，其目的是UI層之上的第一個(gè)對(duì)象，主要負(fù)責(zé)接收和處理系統(tǒng)操作消息。事件響應(yīng)。業(yè)務(wù)邏輯流程控制第32頁(yè),共68頁(yè)，2024年2月25日，星期天控制類舉例第33頁(yè),共68頁(yè)，2024年2月25日，星期天課堂練習(xí)POS系統(tǒng)的邊界類和實(shí)體類第34頁(yè),共68頁(yè)，2024年2月25日，星期天用例實(shí)現(xiàn)分析用例實(shí)現(xiàn)分析是分析模型內(nèi)部的一種協(xié)作，主要描述了如何根據(jù)分析類及其交互的分析對(duì)象來(lái)實(shí)現(xiàn)和執(zhí)行一個(gè)具體的用例。用例實(shí)現(xiàn)事件流的文本描述反映參與者用例實(shí)現(xiàn)的分析的類圖按照分析對(duì)象交互作用的交互圖。用例實(shí)現(xiàn)側(cè)重于功能性需求。第35頁(yè),共68頁(yè)，2024年2月25日，星期天處理銷售類圖第36頁(yè),共68頁(yè)，2024年2月25日，星期天交互圖當(dāng)參與者向系統(tǒng)發(fā)送某種形式的消息而激活用例時(shí)，開(kāi)始執(zhí)行該用例中的動(dòng)作序列。邊界類對(duì)象將接收來(lái)自參與者的消息。交互對(duì)象向其他對(duì)象發(fā)送一個(gè)消息，并使有關(guān)對(duì)象與之交互從而實(shí)現(xiàn)該用例。第37頁(yè),共68頁(yè)，2024年2月25日，星期天第38頁(yè),共68頁(yè)，2024年2月25日，星期天處理銷售協(xié)作流的事件-分析流收銀員通過(guò)處理銷售商品界面發(fā)起一次銷售，控制類創(chuàng)建一個(gè)銷售類，收銀員逐個(gè)輸入商品，銷售類創(chuàng)建商品，并放入銷售列表中。控制類要求計(jì)算商品總價(jià)，收銀員請(qǐng)求顧客付款，控制類委派銷售類創(chuàng)建一個(gè)支付。第39頁(yè),共68頁(yè)，2024年2月25日，星期天分析包分析包描述了對(duì)分析模型的制品進(jìn)行組織的方式，它可以包括分析類、用例實(shí)現(xiàn)及其他分析。分析包應(yīng)是有強(qiáng)內(nèi)聚性與低耦合性，具有以下特點(diǎn)：分析包可以表示對(duì)分析內(nèi)容的分割。在統(tǒng)一過(guò)程中，服務(wù)的概念是由服務(wù)包支持的。服務(wù)包在按照系統(tǒng)提供的服務(wù)而組織的分析包層次結(jié)構(gòu)中處于較低層。服務(wù)包包含了一組活動(dòng)相關(guān)的類，服務(wù)包不可分割。在實(shí)現(xiàn)用例時(shí)，可能會(huì)有一個(gè)或多個(gè)服務(wù)包參與其實(shí)現(xiàn)。服務(wù)包相對(duì)獨(dú)立，可以復(fù)用。UML包圖用于描述系統(tǒng)的邏輯架構(gòu)——層、子系統(tǒng)、包等。UML包用一大一小兩個(gè)矩形組合而成。如果內(nèi)部顯示了其成員，則包名稱標(biāo)在上面的小矩形內(nèi)，否則，可以標(biāo)在包內(nèi)。第40頁(yè),共68頁(yè)，2024年2月25日，星期天UML包圖第41頁(yè),共68頁(yè)，2024年2月25日，星期天邏輯架構(gòu)邏輯架構(gòu)是類的宏觀組織結(jié)構(gòu)，它將類組織為包、子系統(tǒng)和層等。層是對(duì)類、包或子系統(tǒng)的甚為粗粒度的分組，是有對(duì)系統(tǒng)主要方面加以內(nèi)聚的職責(zé)。第42頁(yè),共68頁(yè)，2024年2月25日，星期天分層邏輯架構(gòu)第43頁(yè),共68頁(yè)，2024年2月25日，星期天關(guān)聯(lián)與依賴兩個(gè)分析類以某種方式相互聯(lián)系，這些聯(lián)系被稱作關(guān)聯(lián)。關(guān)聯(lián)可進(jìn)一步指出多樣性，也稱為基數(shù)。兩個(gè)分析類之間存在客戶——服務(wù)器聯(lián)系，客戶類在某些方面依賴于服務(wù)器類并且建立了依賴關(guān)系。第44頁(yè),共68頁(yè)，2024年2月25日，星期天識(shí)別屬性和操作屬性描述類的性質(zhì)，可以通過(guò)分析該類存在的一些信息類構(gòu)建。操作定義了某個(gè)對(duì)象的行為。操作可以分為四種類型：以某種方式操縱數(shù)據(jù)，例如：添加、刪除、選擇、更新等。執(zhí)行計(jì)算的操縱，例如：銷售中的計(jì)算總價(jià)。請(qǐng)求某個(gè)對(duì)象狀態(tài)的操作。監(jiān)視某個(gè)對(duì)象發(fā)生某個(gè)控制事件的操作。操作的構(gòu)造需要交互圖和場(chǎng)景描述等手段多次反復(fù)分析才能獲取。在研究語(yǔ)法分析并分離動(dòng)詞作為候選的操作。推薦的一個(gè)方法是使用CRC技術(shù)。第45頁(yè),共68頁(yè)，2024年2月25日，星期天CRC技術(shù)CRC(Class-Responsibility-Collaborator,類-職責(zé)-協(xié)作者)建模提供識(shí)別和組織與產(chǎn)品相關(guān)的類。一旦系統(tǒng)的基本使用場(chǎng)景（用例）確定后，則要標(biāo)識(shí)侯選類，指明它們的責(zé)任和協(xié)作，即類-責(zé)任-協(xié)作者建模：責(zé)任是與類相關(guān)的屬性和操作，即責(zé)任是類知道要做的事情。協(xié)作者是為某類提供完成責(zé)任所需要的信息的類，即協(xié)作類。CRC模型是一組表示類標(biāo)準(zhǔn)的索引卡——CRC卡的集合。CRC卡的內(nèi)容分成三個(gè)部分：類的名字類的責(zé)任協(xié)作類第46頁(yè),共68頁(yè)，2024年2月25日，星期天銷售類CRC卡Class：銷售類說(shuō)明：完成一次銷售職責(zé)：協(xié)作類：創(chuàng)建商品商品類計(jì)算總價(jià)商品列表類創(chuàng)建支付支付類計(jì)算找零無(wú)第47頁(yè),共68頁(yè)，2024年2月25日，星期天UML分析建模用例模型用例圖用例描述用例場(chǎng)景活動(dòng)圖領(lǐng)域模型分析類用例實(shí)現(xiàn)交互圖分析包CRC技術(shù)行為模型順序圖協(xié)作圖狀態(tài)圖第48頁(yè),共68頁(yè)，2024年2月25日，星期天行為建模行為模型顯示了軟件如何對(duì)外部事件或激勵(lì)做出響應(yīng)。要生成行為模型，分析師必須按如下步驟進(jìn)行：評(píng)估所有的用例，以使得完成理解系統(tǒng)內(nèi)的交互序列。識(shí)別驅(qū)動(dòng)交互序列的事件，并理解這些事件如何和具體的類相互關(guān)聯(lián)。為每個(gè)用例生產(chǎn)序列。創(chuàng)建系統(tǒng)狀態(tài)圖。評(píng)估行為模型以驗(yàn)證準(zhǔn)確性和一致性。第49頁(yè),共68頁(yè)，2024年2月25日，星期天系統(tǒng)順序圖系統(tǒng)順序圖（SystemSequenceDiagram,SSD）是為了闡述與討論系統(tǒng)相關(guān)的輸入和輸出事件而快速、簡(jiǎn)單地創(chuàng)建的制品。它們是操作契約和重要對(duì)象設(shè)計(jì)的輸入。用例文本及其所示的系統(tǒng)事件是創(chuàng)建SSD的輸入。SSD展示了直接與系統(tǒng)交互的外部參與者，系統(tǒng)以及由參與者發(fā)起的系統(tǒng)事件。SSD可以用UML順序圖的形式表示，用以闡述外部參與者到系統(tǒng)的事件。系統(tǒng)事件就是將系統(tǒng)看作黑盒，參與者為完成功能而向系統(tǒng)發(fā)出的事件。第50頁(yè),共68頁(yè)，2024年2月25日，星期天處理銷售用例的系統(tǒng)SSD第51頁(yè),共68頁(yè)，2024年2月25日，星期天操作契約操作契約使用前置條件和后置條件的形式，詳細(xì)和精確描述領(lǐng)域模型中的對(duì)象的變化，并作為系統(tǒng)操作的結(jié)果。操作契約的主要輸入是SSD中確定的系統(tǒng)操作、領(lǐng)域模型和領(lǐng)域?qū)＜业囊?jiàn)解。操作契約四部分：操作是指操作的名稱和參數(shù)交叉引用是指會(huì)發(fā)生此操作的用例前置條件是指執(zhí)行操作之前對(duì)系統(tǒng)領(lǐng)域模型對(duì)象狀態(tài)的假設(shè)后置條件是指完成操作后，領(lǐng)域模型對(duì)象的狀態(tài)第52頁(yè),共68頁(yè)，2024年2月25日，星期天后置條件后置條件（PostCondition）描述了領(lǐng)域模型內(nèi)對(duì)象狀態(tài)的變化。領(lǐng)域模型狀態(tài)變化包括創(chuàng)建用例、形成或消除關(guān)聯(lián)以及改變屬性。后置條件不是在操作過(guò)程中執(zhí)行的活動(dòng)，相反，它們是對(duì)領(lǐng)域模型對(duì)象的觀察結(jié)果。后置條件可以分為三種類型：創(chuàng)建或刪除實(shí)例屬性值的變化形成或消除關(guān)聯(lián)第53頁(yè),共68頁(yè)，2024年2月25日，星期天操作enterItem的契約操作名稱：enterItem(id,quantity)交叉引用：處理銷售用例前置條件：正在進(jìn)行的銷售后置條件：（1）創(chuàng)建了SaleLineItem的實(shí)例（創(chuàng)建關(guān)聯(lián)）（2）SaleLineItem與當(dāng)前Sale關(guān)聯(lián)（形成關(guān)聯(lián)）（3）SaleLineItem.quantity賦值為quantity(修改屬性)（4）基于id匹配，將SaleLineItem關(guān)聯(lián)到ProductDescription(形成關(guān)聯(lián))第54頁(yè),共68頁(yè)，2024年2月25日，星期天順序圖與協(xié)作圖表現(xiàn)系統(tǒng)行為方式的一種方式是UML的順序圖和協(xié)作圖。順序圖和協(xié)作圖的作用相同，但順序圖強(qiáng)調(diào)事件的時(shí)間關(guān)系。順序圖的主要元素有：對(duì)象：參與交互的類的實(shí)例，對(duì)象之間可以發(fā)送事件和接收事件。參與者：描述本次交互的發(fā)起者，即用例的驅(qū)動(dòng)者。用小人形狀表示。生命線：表示一個(gè)類的實(shí)例，用虛線表示。消息：表示對(duì)象間的每個(gè)事件，用帶箭頭的實(shí)線表示。執(zhí)行規(guī)格條：表示控制焦點(diǎn)的控制期，也稱為激活條。消息標(biāo)簽：指明消息的名稱。消息可以有兩種方式返回結(jié)果：使用消息語(yǔ)法returnvar=message（parameter）；在執(zhí)行規(guī)格條末端使用應(yīng)答消息線（帶箭頭虛線）。第55頁(yè),共68頁(yè)，2024年2月25日，星期天處理支付用例的順序圖第56頁(yè),共68頁(yè)，2024年2月25日，星期天第57頁(yè),共68頁(yè)，2024年2月25日，星期天狀態(tài)圖兩種不同的狀態(tài)描述：系統(tǒng)執(zhí)行其功能時(shí)每個(gè)類的狀態(tài)，類狀態(tài)動(dòng)兩種特征：被