課件—UML系統(tǒng)建模與分析設(shè)計(jì)(6)

1 單擊此處編輯母版標(biāo)題樣式,單擊此處編輯母版文本樣式,第二級(jí),第三級(jí),第四級(jí),第五級(jí),*,UML系統(tǒng)建模與分析設(shè)計(jì),*,UML,系統(tǒng)建模與分析設(shè)計(jì),本章目的：,了解對(duì)象狀態(tài)變化和活動(dòng)變化的描述方式,掌握,UML,繪制狀態(tài)圖和活動(dòng)圖的方法和步驟,掌握狀態(tài)模型中并發(fā)行為的描述方法,掌握用狀態(tài)圖和活動(dòng)圖建立對(duì)象動(dòng)態(tài)行為模,型的方法和步驟,第六章 系統(tǒng)動(dòng)態(tài)建模,狀態(tài)模型,2024/11/16,1,UML系統(tǒng)建模與分析設(shè)計(jì),UML,系統(tǒng)建模與分析設(shè)計(jì),6.1.1,對(duì)象狀態(tài)的基本描述圖符,6.1,狀態(tài)圖的基本組成成分,2024/11/16,2,UML系統(tǒng)建模與分析設(shè)計(jì),UML,系統(tǒng)建模與分析設(shè)計(jì),6.1.1,對(duì)象狀態(tài)的基本描述圖符,2024/11/16,3,UML系統(tǒng)建模與分析設(shè)計(jì),UML,系統(tǒng)建模與分析設(shè)計(jì),6.1.3,一個(gè)無(wú)人職守電梯升降的狀態(tài)圖,2024/11/16,4,UML系統(tǒng)建模與分析設(shè)計(jì),UML,系統(tǒng)建模與分析設(shè)計(jì),6.2.1,對(duì)象的狀態(tài)屬性,6.2,狀態(tài)的分類(lèi)與描述,6-4,一個(gè)設(shè)備使用狀況的狀態(tài)圖,2024/11/16,5,UML系統(tǒng)建模與分析設(shè)計(jì),UML,系統(tǒng)建模與分析設(shè)計(jì),6.2.2,簡(jiǎn)單狀態(tài)與嵌套狀態(tài),動(dòng)作：一組可執(zhí)行的語(yǔ)句，動(dòng)作具有以下特征：,遷移性：與狀態(tài)遷移有關(guān)；,原子性：這組語(yǔ)句不可中斷；,連續(xù)性：一組語(yǔ)句必須連續(xù)執(zhí)行，直到完 畢。

活動(dòng)：一組可執(zhí)行的動(dòng)作，后棟具有以下特征：,有限性：完整的活動(dòng)有一定的期限；,非原子性：這組動(dòng)作可因某一事件發(fā)生而中斷2024/11/16,6,UML系統(tǒng)建模與分析設(shè)計(jì),UML,系統(tǒng)建模與分析設(shè)計(jì),6.2.2,簡(jiǎn)單狀態(tài)與嵌套狀態(tài),6-5,描述設(shè)備（車(chē)床）狀況的嵌套狀態(tài)圖,2024/11/16,7,UML系統(tǒng)建模與分析設(shè)計(jì),UML,系統(tǒng)建模與分析設(shè)計(jì),6.2.3,狀態(tài)的順序遷移,6.2.4,狀態(tài)的并發(fā)遷移與同步,2024/11/16,8,UML系統(tǒng)建模與分析設(shè)計(jì),UML,系統(tǒng)建模與分析設(shè)計(jì),6.2.4,狀態(tài)的并發(fā)遷移與同步,6-7,采用同步并發(fā)遷移圖符描述的并發(fā)子狀態(tài)圖,2024/11/16,9,UML系統(tǒng)建模與分析設(shè)計(jì),UML,系統(tǒng)建模與分析設(shè)計(jì),6.2.5,嵌套狀態(tài)中的歷史狀態(tài)指示器,6-8,帶有歷史指示器的軟件安裝過(guò)程狀態(tài)圖,2024/11/16,10,UML系統(tǒng)建模與分析設(shè)計(jì),UML,系統(tǒng)建模與分析設(shè)計(jì),6.3.1,狀態(tài)的遷移觸發(fā),6.3,狀態(tài)遷移的觸發(fā)與描述,描述狀態(tài)遷移的形式化語(yǔ)法格式如下：,事件,條件,/,動(dòng)作表達(dá)式 發(fā)送子句,說(shuō)明：,事件：指已發(fā)生并可能引發(fā)某種活動(dòng)的一件事；,條件,：由方括號(hào)圍起的關(guān)系或邏輯表達(dá)式；,動(dòng)作表達(dá)式：一個(gè)觸發(fā)狀態(tài)遷移時(shí)可執(zhí)行的過(guò)程,表達(dá)式；,發(fā)送子句：動(dòng)作的一個(gè)特例，說(shuō)明調(diào)用的事件名,（操作）是哪個(gè)對(duì)象的。

2024/11/16,11,UML系統(tǒng)建模與分析設(shè)計(jì),UML,系統(tǒng)建模與分析設(shè)計(jì),6.3.2,引起狀態(tài)遷移觸發(fā)的事件,事件是指已發(fā)生并可能引發(fā)某種活動(dòng)的一件事事件的描述格式：,事件名,(,參數(shù)表）,說(shuō)明：,事件名：必須引用接收事件的對(duì)象類(lèi)中的一個(gè)操,作或信號(hào)參數(shù)表：傳送給該事件的形式參數(shù)，為任選項(xiàng)2024/11/16,12,UML系統(tǒng)建模與分析設(shè)計(jì),UML,系統(tǒng)建模與分析設(shè)計(jì),6.3.2,引起狀態(tài)遷移觸發(fā)的事件,6-9,電烤箱控制系統(tǒng)狀態(tài)圖,2024/11/16,13,UML系統(tǒng)建模與分析設(shè)計(jì),UML,系統(tǒng)建模與分析設(shè)計(jì),6.3.3,引起狀態(tài)遷移觸發(fā)的條件,條件,是一個(gè)由方括號(hào)圍起的關(guān)系或邏輯表達(dá)式6.3.4,觸發(fā)狀態(tài)遷移的動(dòng)作表達(dá)式,動(dòng)作表達(dá)式,是一個(gè)觸發(fā)狀態(tài)遷移時(shí)可執(zhí)行的過(guò)程表達(dá)式6.3.5,狀態(tài)遷移的分類(lèi),（,1,）自遷移 （,2,）內(nèi)部遷移,（,3,）自動(dòng)遷移 （,4,）復(fù)合遷移,2024/11/16,14,UML系統(tǒng)建模與分析設(shè)計(jì),UML,系統(tǒng)建模與分析設(shè)計(jì),6.3.5,狀態(tài)遷移的分類(lèi),6-10,兩種形式的條件分支狀態(tài)遷移圖,2024/11/16,15,UML系統(tǒng)建模與分析設(shè)計(jì),UML,系統(tǒng)建模與分析設(shè)計(jì),6.3.6,狀態(tài)圖之間的通信聯(lián)系,6-11,狀態(tài)圖之間的消息發(fā)送,2024/11/16,16,UML系統(tǒng)建模與分析設(shè)計(jì),UML,系統(tǒng)建模與分析設(shè)計(jì),6.4.1,活動(dòng)圖與狀態(tài)圖的區(qū)別,6.4,活動(dòng)圖的基本概念與組成成分,活動(dòng)狀態(tài)遷移不需要事件觸發(fā)，活動(dòng)執(zhí)行完,畢可以直接進(jìn)入下一個(gè)活動(dòng)狀態(tài)；,活動(dòng)置于責(zé)任區(qū)（泳道）中，責(zé)任區(qū)將活動(dòng),按責(zé)任目標(biāo)和組織歸屬的原則分類(lèi)。

2024/11/16,17,UML系統(tǒng)建模與分析設(shè)計(jì),UML,系統(tǒng)建模與分析設(shè)計(jì),6.4.2,一個(gè)簡(jiǎn)單的出庫(kù)單發(fā)放活動(dòng)圖,6-12,檢查合同、核對(duì)付款單并發(fā)放出庫(kù)單的活動(dòng)圖,2024/11/16,18,UML系統(tǒng)建模與分析設(shè)計(jì),UML,系統(tǒng)建模與分析設(shè)計(jì),6.4.3,活動(dòng)圖中的幾個(gè)基本概念,1,動(dòng)作狀態(tài),表達(dá)不可中斷的動(dòng)作或操作的執(zhí)行2,活動(dòng)狀態(tài),擁有一組不可中斷的動(dòng)作或操作，表達(dá)一個(gè)非原子的運(yùn)行2024/11/16,19,UML系統(tǒng)建模與分析設(shè)計(jì),UML,系統(tǒng)建模與分析設(shè)計(jì),3,動(dòng)作流,表達(dá)不可中斷的動(dòng)作或操作的執(zhí)行6-13,描述一個(gè)打印所有履約合同信息的活動(dòng)圖,2024/11/16,20,UML系統(tǒng)建模與分析設(shè)計(jì),UML,系統(tǒng)建模與分析設(shè)計(jì),4,泳道,泳道代表對(duì)象對(duì)活動(dòng)的責(zé)任6-14,銷(xiāo)售合同從簽訂到履約的活動(dòng)圖,2024/11/16,21,UML系統(tǒng)建模與分析設(shè)計(jì),UML,系統(tǒng)建模與分析設(shè)計(jì),5,活動(dòng)圖中的對(duì)象,6-15,活動(dòng)圖中的對(duì)象及對(duì)象流,2024/11/16,22,UML系統(tǒng)建模與分析設(shè)計(jì),UML,系統(tǒng)建模與分析設(shè)計(jì),6.5.1,活動(dòng)圖中的同步線程,6.5,活動(dòng)圖中的并發(fā)與同步活動(dòng),6-16,活動(dòng)圖中的條件線程,2024/11/16,23,UML系統(tǒng)建模與分析設(shè)計(jì),UML,系統(tǒng)建模與分析設(shè)計(jì),6.5.2,動(dòng)態(tài)并發(fā)活動(dòng),6.5,活動(dòng)圖中的并發(fā)與同步活動(dòng),6-17,動(dòng)態(tài)并發(fā)活動(dòng)圖,2024/11/16,24,UML系統(tǒng)建模與分析設(shè)計(jì),UML,系統(tǒng)建模與分析設(shè)計(jì),6.5.3,具有層次關(guān)系的活動(dòng)圖,6-18,“,核對(duì)付款單,”,子活動(dòng)圖,2024/11/16,25,UML系統(tǒng)建模與分析設(shè)計(jì),UML,系統(tǒng)建模與分析設(shè)計(jì),6.6.1,系統(tǒng)的用例模型和對(duì)象靜、動(dòng)態(tài)模型,6.6,動(dòng)態(tài)狀態(tài)模型建模案例,“,信貸管理”子系統(tǒng),1,系統(tǒng)的用例模型,2,對(duì)象靜態(tài)模型,3,對(duì)象動(dòng)態(tài)交互模型,4,對(duì)象動(dòng)態(tài)狀態(tài)模型,2024/11/16,26,UML系統(tǒng)建模與分析設(shè)計(jì),UML,系統(tǒng)建模與分析設(shè)計(jì),2024/11/16,27,UML系統(tǒng)建模與分析設(shè)計(jì),UML,系統(tǒng)建模與分析設(shè)計(jì),6.6.2,狀態(tài)圖建模步驟,（,1,）確定狀態(tài)圖描述的主體。

2,）確定狀態(tài)圖描述的范圍3,）確定描述主體在其生存期的各種穩(wěn)定狀態(tài)4,）確定狀態(tài)的序號(hào)5,）確定觸發(fā)狀態(tài)遷移的事件6,）附上必要的動(dòng)作7,）簡(jiǎn)化狀態(tài)圖8,）確定狀態(tài)的可實(shí)現(xiàn)性9,）確定無(wú)死鎖狀態(tài)10,）審核狀態(tài)圖2024/11/16,28,UML系統(tǒng)建模與分析設(shè)計(jì),UML,系統(tǒng)建模與分析設(shè)計(jì),6.6.3,“信貸管理”子系統(tǒng)狀態(tài)圖建模,6-20,信貸管理子系統(tǒng)（用例）的狀態(tài)圖,2024/11/16,29,UML系統(tǒng)建模與分析設(shè)計(jì),UML,系統(tǒng)建模與分析設(shè)計(jì),6.6.3,“信貸管理”子系統(tǒng)狀態(tài)圖建模,1,文字描述,2,確定對(duì)象可能的狀態(tài)序列、動(dòng)作和引發(fā)狀態(tài)遷移的事件,3,繪制狀態(tài)圖,（,1,）起始狀態(tài),（,2,）“初始化”狀態(tài),（,3,）“分期還款”狀態(tài),（,4,）“違約預(yù)警”狀態(tài),（,5,）“違約警告”狀態(tài),（,6,）“合同履約”狀態(tài),（,7,）“提示信息,1”,狀態(tài),（,8,）“提示信息,2”,狀態(tài),（,9,）“提示信息,3”,狀態(tài),（,10,）結(jié)束狀態(tài),細(xì)分為,2024/11/16,30,UML系統(tǒng)建模與分析設(shè)計(jì),UML,系統(tǒng)建模與分析設(shè)計(jì),4,審核狀態(tài)圖,6-22,“,初始化,”,狀態(tài)的詳細(xì)描述,2024/11/16,31,UML系統(tǒng)建模與分析設(shè)計(jì),UML,系統(tǒng)建模與分析設(shè)計(jì),6.6.4,系統(tǒng)的活動(dòng)圖的建模步驟,1,業(yè)務(wù)工作流建模的步驟,（,1,）確定對(duì)象：找出負(fù)責(zé)實(shí)現(xiàn)工作流的對(duì)象：,（,2,）確定范圍（邊界）：明確起始狀態(tài)和結(jié)束狀態(tài)。

3,）確定活動(dòng)（動(dòng)作）序列,（,4,）確定組合活動(dòng)狀態(tài),（,5,）確定遷移（動(dòng)作流）：找出連接這些活動(dòng)狀態(tài)或,動(dòng)作狀態(tài)的遷移6,）確定工作流中涉及的重要對(duì)象,2024/11/16,32,UML系統(tǒng)建模與分析設(shè)計(jì),UML,系統(tǒng)建模與分析設(shè)計(jì),6.6.4,系統(tǒng)的活動(dòng)圖的建模步驟,2,對(duì)操作建模的步驟,（,1,）確定相關(guān)元素：與該操作有關(guān)；,（,2,）確定范圍（邊界）：,（,3,）確定活動(dòng)（動(dòng)作）序列：,（,4,）僅在需要時(shí)，利用條件分支來(lái)說(shuō)明路徑和迭代；,（,5,）描述同步與并發(fā)；,2024/11/16,33,UML系統(tǒng)建模與分析設(shè)計(jì),UML,系統(tǒng)建模與分析設(shè)計(jì),6.6.4,系統(tǒng)的活動(dòng)圖的建模步驟,一個(gè)結(jié)構(gòu)良好的活動(dòng)圖，應(yīng)滿(mǎn)足以下要求：,（,1,）能準(zhǔn)確描述系統(tǒng)的動(dòng)態(tài)模型的一個(gè)側(cè)面；,（,2,）圖中只包含描述該相關(guān)側(cè)面有關(guān)的重要元素；,（,3,）提供與其抽象層次相一致的細(xì)節(jié)；,（,4,）只加入對(duì)于理解問(wèn)題必須的修飾；,（,5,）注意：不應(yīng)過(guò)分簡(jiǎn)化和抽象信息，使人產(chǎn)生誤解2024/11/16,34,UML系統(tǒng)建模與分析設(shè)計(jì),UML,系統(tǒng)建模與分析設(shè)計(jì),6.6.5,“信貸管理”子系統(tǒng)的活動(dòng)圖建模,6-23,“,信貸管理,”,子系統(tǒng)的活動(dòng)圖,2024/11/16,35,UML系統(tǒng)建模與分析設(shè)計(jì),UML,系統(tǒng)建模與分析設(shè)計(jì),6.7,本章小結(jié),2024/11/16,36,UML系統(tǒng)建模與分析設(shè)計(jì),。