《課件—UML系統(tǒng)建模與分析設(shè)計(jì)(6)》由會(huì)員分享,可在線閱讀,更多相關(guān)《課件—UML系統(tǒng)建模與分析設(shè)計(jì)(6)(36頁珍藏版)》請(qǐng)?jiān)谘b配圖網(wǎng)上搜索。
1、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
2、.1,對(duì)象狀態(tài)的基本描述圖符,2024/11/16,3,UML系統(tǒng)建模與分析設(shè)計(jì),UML,系統(tǒng)建模與分析設(shè)計(jì),6.1.3,一個(gè)無人職守電梯升降的狀態(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)的分類與描述,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í)行的語句,動(dòng)作具有以下特征:,遷移性:與狀態(tài)遷移有關(guān);,原子性:這組語句不可中斷;,連續(xù)性:一組語句必須連續(xù)執(zhí)行,直到完 畢。,活動(dòng):一組可執(zhí)行的動(dòng)作,后
3、棟具有以下特征:,有限性:完整的活動(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è)備(車床)狀況的嵌套狀態(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)建模與分析
4、設(shè)計(jì),UML,系統(tǒng)建模與分析設(shè)計(jì),6.2.5,嵌套狀態(tài)中的歷史狀態(tài)指示器,6-8,帶有歷史指示器的軟件安裝過程狀態(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)遷移的形式化語法格式如下:,事件,條件,/,動(dòng)作表達(dá)式 發(fā)送子句,說明:,事件:指已發(fā)生并可能引發(fā)某種活動(dòng)的一件事;,條件,:由方括號(hào)圍起的關(guān)系或邏輯表達(dá)式;,動(dòng)作表達(dá)式:一個(gè)觸發(fā)狀態(tài)遷移時(shí)可執(zhí)行的過程,表達(dá)式;,發(fā)送子句:動(dòng)作的一個(gè)特例,說明調(diào)用的事件名,(操作)是哪個(gè)對(duì)象的。,2024/11/16,11,UML系統(tǒng)建模與分析設(shè)計(jì)
5、,UML,系統(tǒng)建模與分析設(shè)計(jì),6.3.2,引起狀態(tài)遷移觸發(fā)的事件,事件是指已發(fā)生并可能引發(fā)某種活動(dòng)的一件事。,事件的描述格式:,事件名,(,參數(shù)表),說明:,事件名:必須引用接收事件的對(duì)象類中的一個(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)作
6、表達(dá)式,動(dòng)作表達(dá)式,是一個(gè)觸發(fā)狀態(tài)遷移時(shí)可執(zhí)行的過程表達(dá)式。,6.3.5,狀態(tà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)遷移的分類,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)圖的基
7、本概念與組成成分,活動(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)和組織歸屬的原則分類。,2024/11/16,17,UML系統(tǒng)建模與分析設(shè)計(jì),UML,系統(tǒng)建模與分析設(shè)計(jì),6.4.2,一個(gè)簡(jiǎn)單的出庫單發(fā)放活動(dòng)圖,6-12,檢查合同、核對(duì)付款單并發(fā)放出庫單的活動(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,
8、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,銷售合同從簽訂到履約的活動(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
9、,活動(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)狀
10、態(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,)確定無死鎖狀態(tài)。,(,10,)審核狀態(tài)圖。,2024/11/16,28,UML系統(tǒng)建模與分析設(shè)計(jì),UML,系統(tǒng)建模與分析設(shè)計(jì)
11、,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/
12、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
13、,系統(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í),利用條件分支來說明路徑和迭代;,(,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)滿足以下要求:,(,1,)能準(zhǔn)確描述系統(tǒng)的動(dòng)態(tài)模型的一個(gè)側(cè)面;,(,2,)圖中只包含描述該相關(guān)側(cè)面有關(guān)的重要元素;,(,3,)提供與其抽象層次相一致的細(xì)節(jié);,(,4,)只加入對(duì)于理解問題必須的修飾;,(,5,)注意:不應(yīng)過分簡(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ì),