系統(tǒng)動(dòng)態(tài)分析與行為模型演示文稿

系統(tǒng)動(dòng)態(tài)分析與行為模型演示文稿現(xiàn)在是1頁(yè)\一共有47頁(yè)\編輯于星期三優(yōu)選系統(tǒng)動(dòng)態(tài)分析與行為模型現(xiàn)在是2頁(yè)\一共有47頁(yè)\編輯于星期三概述…動(dòng)態(tài)分析——序列圖等需求捕獲——用例圖靜態(tài)分析——類圖、對(duì)象圖現(xiàn)在是3頁(yè)\一共有47頁(yè)\編輯于星期三概述

動(dòng)態(tài)分析模型描述系統(tǒng)的動(dòng)態(tài)行為，顯示對(duì)象在系統(tǒng)運(yùn)行期間不同時(shí)刻的動(dòng)態(tài)交互，主要是建立系統(tǒng)的交互圖和行為圖?，F(xiàn)在是4頁(yè)\一共有47頁(yè)\編輯于星期三概述

交互圖——對(duì)象之間的合作在UML里被稱作交互。交互體現(xiàn)了對(duì)象之間的作用、對(duì)象之間的聯(lián)系。序列（順序、時(shí)序）圖（SequenceDiagram）協(xié)作圖（CollabborationDiagram）現(xiàn)在是5頁(yè)\一共有47頁(yè)\編輯于星期三概述

行為圖——主要用來設(shè)計(jì)程序的行為。狀態(tài)圖（StatechartDiagram）活動(dòng)圖（ActivityDiagram）現(xiàn)在是6頁(yè)\一共有47頁(yè)\編輯于星期三概述序列圖協(xié)作圖狀態(tài)圖活動(dòng)圖動(dòng)態(tài)分析模型包括下列模型圖：現(xiàn)在是7頁(yè)\一共有47頁(yè)\編輯于星期三概述序列圖:注重表達(dá)交互作用的時(shí)間順序，沒有明確表示對(duì)象間的關(guān)系。（對(duì)象之間的交互或?qū)ο笸獠康慕换バ袨椋﹨f(xié)作圖：協(xié)作圖注重表示對(duì)象間的關(guān)系，時(shí)間順序可以從消息的序號(hào)中獲得。狀態(tài)圖：狀態(tài)圖主要描述系統(tǒng)行為的結(jié)果。（表示對(duì)象內(nèi)部的狀態(tài)變化）活動(dòng)圖：活動(dòng)圖主要描述系統(tǒng)動(dòng)態(tài)行為的過程?，F(xiàn)在是8頁(yè)\一共有47頁(yè)\編輯于星期三狀態(tài)圖日常生活中，事物狀態(tài)的變化無處不在。面向?qū)ο蠓治雠c設(shè)計(jì)中，對(duì)象的狀態(tài)、狀態(tài)的轉(zhuǎn)換、觸發(fā)狀態(tài)轉(zhuǎn)換的事件、對(duì)象對(duì)事件的響應(yīng)(即事件的行為)等都可以用狀態(tài)圖來描述?，F(xiàn)在是9頁(yè)\一共有47頁(yè)\編輯于星期三狀態(tài)圖狀態(tài)圖通過建立類對(duì)象的生命周期模型來描述對(duì)象隨時(shí)間變化的動(dòng)態(tài)行為?，F(xiàn)在是10頁(yè)\一共有47頁(yè)\編輯于星期三狀態(tài)圖狀態(tài)圖（statechartdiagram）：用來描述一個(gè)特定的對(duì)象所有可能的狀態(tài)，以及由于各種事件的發(fā)生而引起狀態(tài)之間的轉(zhuǎn)移和變化。一個(gè)機(jī)器的狀態(tài)圖現(xiàn)在是11頁(yè)\一共有47頁(yè)\編輯于星期三狀態(tài)圖的作用狀態(tài)圖清晰地描述了狀態(tài)轉(zhuǎn)換時(shí)所必須觸發(fā)的事件、監(jiān)護(hù)條件和動(dòng)作等影響轉(zhuǎn)換的因素，有利于程序員避免程序中非法事件的進(jìn)入。狀態(tài)圖清晰地描述了狀態(tài)之間的轉(zhuǎn)換順序，通過狀態(tài)的轉(zhuǎn)換順序可以清晰看出事件的執(zhí)行順序。清晰的時(shí)間順序有利于程序員在開發(fā)程序時(shí)避免出現(xiàn)事件錯(cuò)序的情況。狀態(tài)圖通過判定可以更好地描述工作流因?yàn)椴煌臈l件發(fā)生的分支?，F(xiàn)在是12頁(yè)\一共有47頁(yè)\編輯于星期三狀態(tài)圖的構(gòu)成要素狀態(tài)圖：由狀態(tài)、轉(zhuǎn)換、判定、同步、事件等組成：現(xiàn)在是13頁(yè)\一共有47頁(yè)\編輯于星期三狀態(tài)圖--狀態(tài)

狀態(tài)指的是對(duì)象在其生命周期中的一種狀況，處于某個(gè)特定狀態(tài)中的對(duì)象必然會(huì)滿足某些條件、執(zhí)行某些動(dòng)作或者是等待某些事件。狀態(tài)用于對(duì)實(shí)體在其生命周期的各種狀況進(jìn)行建模，一個(gè)實(shí)體總是在有限的一段時(shí)間內(nèi)保持一個(gè)狀態(tài)?，F(xiàn)在是14頁(yè)\一共有47頁(yè)\編輯于星期三狀態(tài)圖--狀態(tài)狀態(tài)圖中的狀態(tài)一般是給定對(duì)象中的一組屬性值。這組屬性值是對(duì)象所有屬性的子集。若對(duì)象的任何一個(gè)屬性值都是一個(gè)狀態(tài)，全部的狀態(tài)構(gòu)成一個(gè)龐大的狀態(tài)空間。事實(shí)上，并非狀態(tài)空間的每一個(gè)狀態(tài)都是值得關(guān)注的。在對(duì)系統(tǒng)建模時(shí)，我們只關(guān)心那些明顯影響對(duì)象行為的屬性，以及由它們表達(dá)的對(duì)象狀態(tài)，而不理睬那些與對(duì)象行為無關(guān)的狀態(tài)?，F(xiàn)在是15頁(yè)\一共有47頁(yè)\編輯于星期三狀態(tài)圖--狀態(tài)例：飛機(jī)對(duì)象所有飛機(jī)的屬性值的笛卡兒積構(gòu)成了“飛機(jī)”對(duì)象龐大的狀態(tài)空間飛機(jī)每飛行1km，就處于一個(gè)全新的狀態(tài)

飛機(jī)每使用1年就會(huì)處于一個(gè)新的狀態(tài)現(xiàn)在是16頁(yè)\一共有47頁(yè)\編輯于星期三狀態(tài)圖--狀態(tài)

顯然，列出對(duì)象的全部狀態(tài)并繪制狀態(tài)圖是不現(xiàn)實(shí)的（也沒有必要）。建模的時(shí)候只需要考慮與對(duì)象當(dāng)前行為有關(guān)的屬性狀態(tài)即可?，F(xiàn)在是17頁(yè)\一共有47頁(yè)\編輯于星期三狀態(tài)圖--狀態(tài)

對(duì)“飛機(jī)”對(duì)象來說：累計(jì)飛行10000km與15000km在行為上并無實(shí)質(zhì)性的區(qū)別建模時(shí)，也許系統(tǒng)關(guān)心的只是飛機(jī)的當(dāng)前使用狀況，如飛行、著陸、機(jī)場(chǎng)停放、維修和報(bào)廢等?？梢愿鶕?jù)飛機(jī)使用的幾種情況將建立狀態(tài)圖，其中可以建立“飛行”、“著陸”、“機(jī)場(chǎng)停放”、“維修”、“報(bào)廢”等幾種狀態(tài)?，F(xiàn)在是18頁(yè)\一共有47頁(yè)\編輯于星期三狀態(tài)圖的UML表示

初始狀態(tài)終止?fàn)顟B(tài)簡(jiǎn)單狀態(tài)添加動(dòng)作的狀態(tài)現(xiàn)在是19頁(yè)\一共有47頁(yè)\編輯于星期三狀態(tài)圖的UML表示

1.狀態(tài)名狀態(tài)名指的是狀態(tài)的名字。2.初始狀態(tài)每個(gè)狀態(tài)圖都應(yīng)該有一個(gè)初始狀態(tài)，它代表狀態(tài)圖的起始位置。初始狀態(tài)是一個(gè)偽狀態(tài)（一個(gè)和普通狀態(tài)有鏈接的假狀態(tài)），對(duì)象不可能保持在初始狀態(tài)。在UML中一個(gè)狀態(tài)圖只能有一個(gè)初始狀態(tài)?，F(xiàn)在是20頁(yè)\一共有47頁(yè)\編輯于星期三狀態(tài)圖的UML表示

3.終止?fàn)顟B(tài)終止?fàn)顟B(tài)是一個(gè)狀態(tài)圖的終點(diǎn)，一個(gè)狀態(tài)圖可以擁有一個(gè)或者多個(gè)終止?fàn)顟B(tài)。對(duì)象可以保持在終止?fàn)顟B(tài)，但終止?fàn)顟B(tài)不可能有任何形式的觸發(fā)轉(zhuǎn)換。有些特殊的狀態(tài)圖，可以沒有終止?fàn)顟B(tài)?，F(xiàn)在是21頁(yè)\一共有47頁(yè)\編輯于星期三狀態(tài)圖的UML表示

4.入口動(dòng)作和出口動(dòng)作在特定的狀態(tài)下對(duì)象可執(zhí)行的動(dòng)作包括：1.entry/EntryAction進(jìn)入狀態(tài)時(shí)執(zhí)行的動(dòng)作2.do/DoAction狀態(tài)激活時(shí)一直執(zhí)行的動(dòng)作3.exit/ExitAction離開狀態(tài)時(shí)執(zhí)行的動(dòng)作現(xiàn)在是22頁(yè)\一共有47頁(yè)\編輯于星期三狀態(tài)圖的UML表示

5.組合狀態(tài)嵌套在另外一個(gè)狀態(tài)中的狀態(tài)稱之為子狀態(tài)（sub-state），一個(gè)含有子狀態(tài)的狀態(tài)被稱作組合狀態(tài)（CompoundStates）。

現(xiàn)在是23頁(yè)\一共有47頁(yè)\編輯于星期三狀態(tài)圖的UML表示

5.歷史狀態(tài)歷史狀態(tài)是一個(gè)偽狀態(tài)，其目的是記住從組合狀態(tài)中退出時(shí)所處的子狀態(tài)，當(dāng)再次進(jìn)入組合狀態(tài)，可直接進(jìn)入這個(gè)子狀態(tài)，而不是再次從組合狀態(tài)的初態(tài)開始。

現(xiàn)在是24頁(yè)\一共有47頁(yè)\編輯于星期三狀態(tài)圖的UML表示

5.歷史狀態(tài)歷史狀態(tài)分為兩種：淺歷史狀態(tài)只記住最外層組合狀態(tài)歷史淺歷史狀態(tài)可以記錄任意深度的組合狀態(tài)的歷史。

現(xiàn)在是25頁(yè)\一共有47頁(yè)\編輯于星期三狀態(tài)圖的UML表示

6.同步（并發(fā)）同步是為了說明并發(fā)工作流的分支與匯合。

現(xiàn)在是26頁(yè)\一共有47頁(yè)\編輯于星期三狀態(tài)圖的UML表示

7.判定

有判定示例無判定示例現(xiàn)在是27頁(yè)\一共有47頁(yè)\編輯于星期三狀態(tài)圖的UML表示

7.判定

現(xiàn)在是28頁(yè)\一共有47頁(yè)\編輯于星期三狀態(tài)圖的UML表示

7.事件

一個(gè)事件的發(fā)生能觸發(fā)狀態(tài)的轉(zhuǎn)換。UML中的事件有：調(diào)用事件、信號(hào)事件、改變事件、時(shí)間事件?，F(xiàn)在是29頁(yè)\一共有47頁(yè)\編輯于星期三事件

調(diào)用事件（CallEvent)調(diào)用事件至少涉及兩個(gè)及以上的對(duì)象，一個(gè)對(duì)象請(qǐng)求調(diào)用另一個(gè)對(duì)象的操作。調(diào)用事件一般為同步調(diào)用，也可以是異步調(diào)用。如果調(diào)用者需等待操作的完成，則是同步調(diào)用，否則是異步調(diào)用?，F(xiàn)在是30頁(yè)\一共有47頁(yè)\編輯于星期三事件

信號(hào)事件（signalEvent)信號(hào)是作為兩個(gè)對(duì)象之間的通信媒介的命名的實(shí)體，信號(hào)的接收是接收對(duì)象的一個(gè)事件。發(fā)送對(duì)象明確地創(chuàng)建并初始化一個(gè)信號(hào)實(shí)例并把它送到一個(gè)或一組對(duì)象?，F(xiàn)在是31頁(yè)\一共有47頁(yè)\編輯于星期三事件

改變事件(ChangeEvent)改變事件指的是依賴與特定屬性值的布爾表達(dá)式所表示的條件滿足時(shí)，事件發(fā)生改變。如：when(number<100)現(xiàn)在是32頁(yè)\一共有47頁(yè)\編輯于星期三事件

時(shí)間事件(TimeEvent)時(shí)間事件是經(jīng)過一定的時(shí)間或達(dá)到某個(gè)絕對(duì)時(shí)間后發(fā)生的事件。如：after(2seconds)/connectPrint現(xiàn)在是33頁(yè)\一共有47頁(yè)\編輯于星期三狀態(tài)圖的UML表示

8.監(jiān)護(hù)條件（GuardCondition）

狀態(tài)轉(zhuǎn)換可能具有一個(gè)監(jiān)護(hù)條件，監(jiān)護(hù)條件是一個(gè)布爾表達(dá)式，它是觸發(fā)轉(zhuǎn)換必須具備的條件?，F(xiàn)在是34頁(yè)\一共有47頁(yè)\編輯于星期三狀態(tài)圖實(shí)例

現(xiàn)在是35頁(yè)\一共有47頁(yè)\編輯于星期三狀態(tài)圖實(shí)例

在一般的系統(tǒng)中，很少會(huì)直接實(shí)現(xiàn)狀態(tài)圖，常見方式是分析狀態(tài)圖內(nèi)的活動(dòng)或動(dòng)作歸入類圖，隨后通過序列圖的設(shè)計(jì)來間接落實(shí)狀態(tài)圖。針對(duì)每一張狀態(tài)圖，可以經(jīng)由下述步驟，找到相關(guān)操作及屬性。狀態(tài)內(nèi)部的所有動(dòng)作，以及所有轉(zhuǎn)換，可以定義為操作。所有動(dòng)作及轉(zhuǎn)換用到的數(shù)據(jù)，可以定義為屬性。與該類有泛化關(guān)系與組合關(guān)系的其他類，可以同時(shí)考慮他們的操作及屬性。有些屬性或操作可能是其他對(duì)象的，請(qǐng)將他們歸還所屬類?，F(xiàn)在是36頁(yè)\一共有47頁(yè)\編輯于星期三找出類的操作及屬性

針對(duì)每一個(gè)操作可以找到下述可能用到的屬性。設(shè)定交易數(shù)據(jù)()：申購(gòu)日期、信托金額、扣款賬號(hào)、憑證號(hào)碼、扣款日期、投資金額。產(chǎn)生交易編號(hào)()：憑證號(hào)碼。設(shè)定狀態(tài)()：扣款情況（正?？劭?、暫?？劭?、終止扣款）?？劭?)：交易金額（投資金額+手續(xù)費(fèi)）累計(jì)失敗次數(shù)()：失敗次數(shù)關(guān)閉定期定額交易()：終止日期、扣款情況（終止扣款）現(xiàn)在是37頁(yè)\一共有47頁(yè)\編輯于星期三找出類的操作及屬性

現(xiàn)在是38頁(yè)\一共有47頁(yè)\編輯于星期三找出類的泛化關(guān)系

由于定期定額申購(gòu)、單筆申購(gòu)與申購(gòu)交易之間有泛化關(guān)系，將共同之處搬到申購(gòu)交易處?，F(xiàn)在是39頁(yè)\一共有47頁(yè)\編輯于星期三找出類的組合關(guān)系

定期定額申購(gòu)與單期交易之間有組合關(guān)系，所以針對(duì)單期交易，找到如下圖所示的操作及屬性?，F(xiàn)在是40頁(yè)\一共有47頁(yè)\編輯于星期三操作、屬性歸還所屬類

計(jì)算可申購(gòu)單位數(shù)()單期交易->申購(gòu)交易銀行折扣申購(gòu)交易->銀行分行基金管理費(fèi)申購(gòu)交易->基金庫(kù)存單位數(shù)申購(gòu)交易

現(xiàn)在是41頁(yè)\一共有47頁(yè)\編輯于星期三操作、屬性歸還所屬類

現(xiàn)在是42頁(yè)\一共有47頁(yè)\編輯于星期三操作、屬性歸還所屬類

現(xiàn)在是43頁(yè)\一共有47頁(yè)\編輯于星期三活動(dòng)圖

活動(dòng)圖描述滿足用例要求所要進(jìn)行的活動(dòng)以及活動(dòng)間的約束關(guān)系，有利于識(shí)別并行活動(dòng)?；顒?dòng)圖是一種特殊的狀態(tài)圖，它對(duì)于系統(tǒng)的功能建模特別重要，強(qiáng)調(diào)對(duì)象間的控制流程?；顒?dòng)圖是一種表述過程基理、業(yè)務(wù)過程以及工作流的技術(shù)。它可以用來對(duì)業(yè)務(wù)過程、工作流建模，也可以對(duì)用例實(shí)現(xiàn)甚至是程序?qū)崿F(xiàn)來建?，F(xiàn)在是44頁(yè)\一共有47頁(yè)\編輯于星期三活動(dòng)圖

現(xiàn)在是45頁(yè)\一共有47頁(yè)\編輯于星期三活動(dòng)圖與流程圖的區(qū)別流程圖著重描述處理過程，它的主要控制結(jié)構(gòu)是順序、分支和循環(huán)，各個(gè)處理過程