UML面向?qū)ο笤O(shè)計(jì)與分析教程（第二版）（微課版）第8章-動(dòng)態(tài)分析與狀態(tài)圖

UML面向?qū)ο笤O(shè)計(jì)與分析教程（第二版）（微課版）第8章動(dòng)態(tài)分析與狀態(tài)圖本章的學(xué)習(xí)目標(biāo)：理解狀態(tài)機(jī)的含義理解狀態(tài)和事件的含義掌握狀態(tài)圖的基本概念和組成要素掌握如何使用狀態(tài)機(jī)建模對(duì)象的生命周期掌握如何從交互圖中開(kāi)發(fā)狀態(tài)圖掌握對(duì)象中并發(fā)行為的建模方法理解如何確保狀態(tài)圖與其他UML模型的一致性狀態(tài)機(jī)狀態(tài)機(jī)是一種記錄給定時(shí)刻狀態(tài)的設(shè)備，可以根據(jù)不同的輸入，對(duì)每個(gè)給定的變化改變狀態(tài)或引發(fā)動(dòng)作。例如，計(jì)算機(jī)、各種客戶(hù)端軟件、Web上的各種交互頁(yè)面等都是狀態(tài)機(jī)。狀態(tài)機(jī)UML中的狀態(tài)機(jī)由對(duì)象的各個(gè)狀態(tài)和連接這些狀態(tài)的轉(zhuǎn)換組成，是展示狀態(tài)與狀態(tài)轉(zhuǎn)換的圖。在面向?qū)ο蟮能浖到y(tǒng)中，無(wú)論對(duì)象多么簡(jiǎn)單或復(fù)雜，都必然經(jīng)歷從開(kāi)始創(chuàng)建到最終消亡的完整過(guò)程，這個(gè)過(guò)程通常被稱(chēng)為對(duì)象的生命周期。狀態(tài)機(jī)一般說(shuō)來(lái)，對(duì)象在生命周期內(nèi)是不可能完全孤立的，必然會(huì)接收消息來(lái)改變自身或發(fā)送消息去響應(yīng)其他對(duì)象。狀態(tài)機(jī)用于說(shuō)明對(duì)象在生命周期中響應(yīng)事件時(shí)經(jīng)歷的狀態(tài)序列以及對(duì)這些事件的響應(yīng)。在狀態(tài)機(jī)中，一個(gè)事件就是一次激發(fā)的產(chǎn)生，每個(gè)激發(fā)都可以觸發(fā)狀態(tài)轉(zhuǎn)換。狀態(tài)機(jī)通常，狀態(tài)機(jī)依附于一個(gè)類(lèi)，并且描述該類(lèi)的實(shí)例(即對(duì)象)對(duì)接收到的事件的響應(yīng)。在依附于某個(gè)類(lèi)的狀態(tài)機(jī)中，總是將對(duì)象孤立地從系統(tǒng)中抽象出來(lái)進(jìn)行觀察，而將來(lái)自外部的影響抽象為事件。除此之外，狀態(tài)機(jī)還可以依附于用例、操作等，用于描述它們的動(dòng)態(tài)執(zhí)行過(guò)程。狀態(tài)機(jī)在UML中，狀態(tài)機(jī)常用于對(duì)模型元素的動(dòng)態(tài)行為建。更具體地說(shuō)，是對(duì)系統(tǒng)行為中受事件驅(qū)動(dòng)的方面進(jìn)行建模。不過(guò)，狀態(tài)機(jī)總是對(duì)象、協(xié)作或用例的局部視圖。由于考慮問(wèn)題時(shí)將實(shí)體與外部世界相互分離，因此適合對(duì)局部、細(xì)節(jié)進(jìn)行建模。何謂狀態(tài)圖所有對(duì)象都有狀態(tài)。對(duì)象的當(dāng)前狀態(tài)是對(duì)象已經(jīng)發(fā)生的事件的結(jié)果，由對(duì)象特性的當(dāng)前取值決定，也由對(duì)象與其他對(duì)象之間的連接決定（并非對(duì)象的所有特性和連接都與狀態(tài)相關(guān)）。何謂狀態(tài)圖狀態(tài)描述了已建模元素占用一般時(shí)間的特定情況。在這段時(shí)間內(nèi)，已建模元素會(huì)等待某一事件或觸發(fā)。對(duì)象的狀態(tài)影響對(duì)事件的響應(yīng)方式。對(duì)象的狀態(tài)可以根據(jù)部分特性的實(shí)例取值來(lái)描述。當(dāng)特性值發(fā)生改變的時(shí)候，對(duì)象自身會(huì)改變狀態(tài)。何謂狀態(tài)圖日常生活中，事物狀態(tài)的變化無(wú)處不在。面向?qū)ο蠓治雠c設(shè)計(jì)中，對(duì)象的狀態(tài)、狀態(tài)的轉(zhuǎn)換、觸發(fā)狀態(tài)轉(zhuǎn)換的事件、對(duì)象對(duì)事件的響應(yīng)(即事件的行為)等都可以用狀態(tài)圖來(lái)描述。狀態(tài)圖通過(guò)建立類(lèi)對(duì)象的生命周期模型來(lái)描述對(duì)象隨時(shí)間變化的動(dòng)態(tài)行為。從對(duì)象狀態(tài)變化的角度描述系統(tǒng)的動(dòng)態(tài)行為。何謂狀態(tài)圖何謂狀態(tài)圖狀態(tài)圖（statechartdiagram）：用來(lái)描述一個(gè)特定的對(duì)象所有可能的狀態(tài)，以及由于各種事件的發(fā)生而引起狀態(tài)之間的轉(zhuǎn)移和變化。一個(gè)機(jī)器的狀態(tài)圖狀態(tài)圖組成要素狀態(tài)圖由初始狀態(tài)、終止?fàn)顟B(tài)、狀態(tài)、轉(zhuǎn)換、判定等元素組成：初始狀態(tài)每個(gè)狀態(tài)圖都應(yīng)該有一個(gè)初始狀態(tài)，此狀態(tài)代表狀態(tài)圖的起始位置。初始狀態(tài)只能作為轉(zhuǎn)換的源，而不能作為轉(zhuǎn)換的目標(biāo)。起始狀態(tài)用一個(gè)實(shí)心的圓表示。終止?fàn)顟B(tài)終止?fàn)顟B(tài)是模型元素的最后狀態(tài)，是一個(gè)狀態(tài)圖的終止點(diǎn)。終止?fàn)顟B(tài)只能作為轉(zhuǎn)換的目標(biāo)，而不能作為轉(zhuǎn)換的源。終止?fàn)顟B(tài)用一個(gè)含有實(shí)心圓的空心圓表示。狀態(tài)圖組成要素狀態(tài)指的是對(duì)象在其生命周期中的一種狀況，處于某個(gè)特定狀態(tài)中的對(duì)象必然會(huì)滿(mǎn)足某些條件、執(zhí)行某些動(dòng)作或者是等待某些事件。一個(gè)狀態(tài)的生命周期是一個(gè)有限的時(shí)間階段。1狀態(tài)狀態(tài)圖組成要素

狀態(tài)用于對(duì)實(shí)體在其生命周期中的各種狀況進(jìn)行建模，一個(gè)實(shí)體總是在有限的一段時(shí)間內(nèi)保持一個(gè)狀態(tài)。狀態(tài)描述了一個(gè)類(lèi)對(duì)象生命期中的一個(gè)時(shí)間段(或時(shí)刻)。1狀態(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ì)象行為無(wú)關(guān)的狀態(tài)。1狀態(tài)狀態(tài)圖組成要素例子：飛機(jī)對(duì)象所有飛機(jī)的屬性值的笛卡兒積構(gòu)成了“飛機(jī)”對(duì)象龐大的狀態(tài)空間。1狀態(tài)飛機(jī)每飛行1km，就處于一個(gè)全新的狀態(tài)

飛機(jī)每使用1年就會(huì)處于一個(gè)新的狀態(tài)狀態(tài)圖組成要素顯然，列出對(duì)象的全部狀態(tài)并繪制狀態(tài)圖是不現(xiàn)實(shí)的（也沒(méi)有必要）。建模的時(shí)候只需要考慮與對(duì)象當(dāng)前行為有關(guān)的屬性狀態(tài)即可。1狀態(tài)狀態(tài)圖組成要素對(duì)“飛機(jī)”對(duì)象來(lái)說(shuō)：累計(jì)飛行10000km與15000km在行為上并無(wú)實(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)。1狀態(tài)狀態(tài)圖組成要素

狀態(tài)由一個(gè)帶圓角的矩形表示，狀態(tài)的描述包括：名稱(chēng)、入口和出口動(dòng)作、內(nèi)部轉(zhuǎn)換和嵌套狀態(tài)圖。1狀態(tài)UML表示

狀態(tài)圖組成要素名稱(chēng)表示狀態(tài)的名字，通常用字符串表示。一個(gè)狀態(tài)的名稱(chēng)在狀態(tài)圖所在的上下文中應(yīng)該是惟一的。1狀態(tài)UML表示——名稱(chēng)

入口動(dòng)作表示進(jìn)入某個(gè)狀態(tài)所要執(zhí)行的動(dòng)作。入口動(dòng)作用“entry/要執(zhí)行的動(dòng)作”表達(dá)。1狀態(tài)狀態(tài)圖組成要素UML表示——入口動(dòng)作

出口動(dòng)作表示退出某個(gè)狀態(tài)所要執(zhí)行的動(dòng)作。出口動(dòng)作用“exit/要執(zhí)行的動(dòng)作”表達(dá)。1狀態(tài)狀態(tài)圖組成要素UML表示——出口動(dòng)作

狀態(tài)圖組成要素內(nèi)部轉(zhuǎn)換將響應(yīng)對(duì)象所接收到的事件，但是不改變對(duì)象的狀態(tài)。1狀態(tài)UML表示——內(nèi)部轉(zhuǎn)換

內(nèi)部轉(zhuǎn)換帶有動(dòng)作，動(dòng)作也要被執(zhí)行，但是沒(méi)有狀態(tài)改變發(fā)生1狀態(tài)狀態(tài)圖組成要素UML表示——嵌套狀態(tài)圖

狀態(tài)圖中的狀態(tài)有兩種：簡(jiǎn)單狀態(tài)和組合狀態(tài)。簡(jiǎn)單狀態(tài)是指不包含其他狀態(tài)的狀態(tài)，簡(jiǎn)單狀態(tài)可以具有內(nèi)部轉(zhuǎn)換、入口動(dòng)作和退出動(dòng)作等，但是沒(méi)有子結(jié)構(gòu)。狀態(tài)還可以包含嵌套狀態(tài)圖的狀態(tài)，稱(chēng)為組合狀態(tài)。1狀態(tài)狀態(tài)圖組成要素UML表示——組合狀態(tài)

1狀態(tài)狀態(tài)圖組成要素UML表示——組合狀態(tài)

1狀態(tài)狀態(tài)圖組成要素UML表示——組合狀態(tài)

組合狀態(tài)所嵌套的子狀態(tài)可能是順序子狀態(tài)，也可能是并發(fā)子狀態(tài)。1狀態(tài)狀態(tài)圖組成要素UML表示——組合狀態(tài)

順序子狀態(tài)如果組成狀態(tài)的子狀態(tài)對(duì)應(yīng)的對(duì)象在其生命期內(nèi)的任何時(shí)刻都只能處于一個(gè)子狀態(tài)，即多個(gè)子狀態(tài)之間是互斥的，不能同時(shí)存在，這種子狀態(tài)稱(chēng)為順序子狀態(tài)。1狀態(tài)狀態(tài)圖組成要素UML表示——組合狀態(tài)

順序子狀態(tài)當(dāng)通過(guò)轉(zhuǎn)換從某種狀態(tài)轉(zhuǎn)入組成狀態(tài)時(shí)，此轉(zhuǎn)換的目的可能是這個(gè)組成狀態(tài)本身，也可能是這個(gè)組成狀態(tài)的某個(gè)子狀態(tài)。1狀態(tài)狀態(tài)圖組成要素UML表示——組合狀態(tài)

順序子狀態(tài)如果轉(zhuǎn)換的目的是組成狀態(tài)本身，那么首先執(zhí)行組成狀態(tài)的入口動(dòng)作，然后子狀態(tài)進(jìn)入初始狀態(tài)并以此為起點(diǎn)開(kāi)始運(yùn)行。1狀態(tài)狀態(tài)圖組成要素UML表示——組合狀態(tài)

順序子狀態(tài)如果轉(zhuǎn)換的目的是組成狀態(tài)的某一子狀態(tài)，那么以目標(biāo)子狀態(tài)為起點(diǎn)開(kāi)始運(yùn)行。按下后退鍵按下播放鍵1狀態(tài)狀態(tài)圖組成要素UML表示——組合狀態(tài)

并發(fā)子狀態(tài)若組合狀態(tài)有兩個(gè)或者多個(gè)并發(fā)的子狀態(tài)機(jī)，此時(shí)稱(chēng)組成狀態(tài)的子狀態(tài)為并發(fā)子狀態(tài)。1狀態(tài)狀態(tài)圖組成要素UML表示——組合狀態(tài)

順序子狀態(tài)與并發(fā)子狀態(tài)的區(qū)別1狀態(tài)狀態(tài)圖組成要素順序子狀態(tài)與并發(fā)子狀態(tài)的區(qū)別順序子狀態(tài)中各個(gè)狀態(tài)間的轉(zhuǎn)換是有一定先后順序的，即需要按步驟執(zhí)行。并發(fā)子狀態(tài)在同一層次給出兩個(gè)或多個(gè)順序子狀態(tài)，對(duì)象處于同一層次中來(lái)自每個(gè)并發(fā)子狀態(tài)的一個(gè)時(shí)序狀態(tài)中。并發(fā)子狀態(tài)可以用于對(duì)并發(fā)線程的狀態(tài)進(jìn)行建模。并發(fā)子狀態(tài)是從不同的角度描述一個(gè)狀態(tài)。1狀態(tài)狀態(tài)圖組成要素歷史狀態(tài)前面曾提到，當(dāng)通過(guò)轉(zhuǎn)換從某種狀態(tài)轉(zhuǎn)入組成狀態(tài)時(shí)，此轉(zhuǎn)換的目的可能是這個(gè)組成狀態(tài)的子狀態(tài)。轉(zhuǎn)到子狀態(tài)時(shí)，被嵌套的子狀態(tài)圖一般要從子初始狀態(tài)進(jìn)行，除非轉(zhuǎn)到特定的子狀態(tài)。1狀態(tài)狀態(tài)圖組成要素歷史狀態(tài)有些情況下，當(dāng)離開(kāi)一個(gè)組成狀態(tài)重新進(jìn)入此狀態(tài)時(shí)不希望從它的子初始狀態(tài)開(kāi)始執(zhí)行，而是希望直接進(jìn)入上次離開(kāi)組成狀態(tài)時(shí)的最后一個(gè)子狀態(tài)。在這種情況下就要用到歷史狀態(tài)。1狀態(tài)狀態(tài)圖組成要素歷史狀態(tài)歷史狀態(tài)代表上次離開(kāi)組成狀態(tài)時(shí)的最后一個(gè)活動(dòng)子狀態(tài)，歷史狀態(tài)用一個(gè)包含字母“H”的小圓圈表示。每當(dāng)轉(zhuǎn)換到組成狀態(tài)的歷史狀態(tài)時(shí)，對(duì)象便恢復(fù)到上次離開(kāi)該組成狀態(tài)時(shí)的最后一個(gè)活動(dòng)子狀態(tài)，并執(zhí)行入口動(dòng)作。1狀態(tài)狀態(tài)圖組成要素歷史狀態(tài)1狀態(tài)狀態(tài)圖組成要素狀態(tài)圖組成要素轉(zhuǎn)換指的是兩個(gè)不同狀態(tài)之間的一種關(guān)系，表明對(duì)象將在第一個(gè)狀態(tài)中執(zhí)行一定的動(dòng)作，并且在滿(mǎn)足某個(gè)特定條件下由某個(gè)事件觸發(fā)進(jìn)入第二個(gè)狀態(tài)。2轉(zhuǎn)換在UML中，轉(zhuǎn)換用帶箭頭的直線表示，箭尾一端連接源狀態(tài)，即轉(zhuǎn)出的狀態(tài)；箭頭一端連接目標(biāo)狀態(tài)，即轉(zhuǎn)入的狀態(tài)。轉(zhuǎn)換可以標(biāo)注與此轉(zhuǎn)換相關(guān)的選項(xiàng)，如事件、監(jiān)護(hù)條件和動(dòng)作。狀態(tài)圖組成要素2轉(zhuǎn)換當(dāng)源狀態(tài)接收到一個(gè)事件，并且監(jiān)護(hù)條件得到滿(mǎn)足，則執(zhí)行相應(yīng)的動(dòng)作，同時(shí)從源狀態(tài)轉(zhuǎn)換到目標(biāo)狀態(tài)。如果轉(zhuǎn)換上沒(méi)有標(biāo)注觸發(fā)轉(zhuǎn)換的事件，則表示此轉(zhuǎn)換為自動(dòng)進(jìn)行。狀態(tài)圖組成要素2轉(zhuǎn)換監(jiān)護(hù)條件用來(lái)描述狀態(tài)轉(zhuǎn)移的前提。事件用來(lái)指示什么觸發(fā)了轉(zhuǎn)移，動(dòng)作用來(lái)說(shuō)明當(dāng)轉(zhuǎn)移發(fā)生時(shí)會(huì)產(chǎn)生什么情況。事件、條件和動(dòng)作是轉(zhuǎn)移的三個(gè)選項(xiàng)，其定義格式見(jiàn)下圖所示。該圖描述的信息是—“如果guardCondition為true，當(dāng)anEvent發(fā)生時(shí)，將執(zhí)行anAction，并立即進(jìn)入狀態(tài)B”事件條件動(dòng)作狀態(tài)圖組成要素2轉(zhuǎn)換1．事件事件通常在從一個(gè)狀態(tài)到另一個(gè)狀態(tài)的轉(zhuǎn)移路徑上直接指定。事件用來(lái)指示是什么導(dǎo)致了模型中狀態(tài)的改變。下圖演示了事件的標(biāo)記符。事件事件事件表示在某一特定的時(shí)間或空間出現(xiàn)的能夠引發(fā)狀態(tài)改變的運(yùn)動(dòng)變化任何影響對(duì)象的事物都可以是事件。一個(gè)對(duì)象接收到從另一個(gè)對(duì)象發(fā)送的信號(hào)；某些值的改變；一個(gè)時(shí)間段的終結(jié)等。事件事件有多種，大致可分為如下幾種：信號(hào)事件調(diào)用事件改變（修改）事件時(shí)間事件等等監(jiān)護(hù)條件轉(zhuǎn)換可能具有一個(gè)監(jiān)護(hù)條件，監(jiān)護(hù)條件是觸發(fā)轉(zhuǎn)換必須滿(mǎn)足的條件，它是一個(gè)布爾表達(dá)式。監(jiān)護(hù)條件當(dāng)事件被觸發(fā)時(shí)，監(jiān)護(hù)條件被賦值。如果布爾表達(dá)式的值為真，那么轉(zhuǎn)換被觸發(fā)；如果布爾表達(dá)式的值為假，則不會(huì)引起轉(zhuǎn)換。動(dòng)作動(dòng)作是一組可執(zhí)行語(yǔ)句或者計(jì)算處理過(guò)程。動(dòng)作可以包括發(fā)送消息給另一個(gè)對(duì)象、操作調(diào)用、設(shè)置返回值、創(chuàng)建和銷(xiāo)毀對(duì)象等。動(dòng)作也可以是一個(gè)動(dòng)作序列，即一系列簡(jiǎn)單的動(dòng)作的組合。狀態(tài)圖組成要素判定用來(lái)表示一個(gè)事件依據(jù)不同的監(jiān)護(hù)條件有不同的影響。在實(shí)際建模的過(guò)程中，如果遇到需要使用判定的情況，通常用監(jiān)護(hù)條件來(lái)覆蓋每種可能，使得一個(gè)事件的發(fā)生能保證觸發(fā)一個(gè)轉(zhuǎn)換。3判定狀態(tài)圖組成要素判定在活動(dòng)圖和狀態(tài)圖中都有很重要的作用。轉(zhuǎn)換路徑因?yàn)榕卸ǘ譃槎鄠€(gè)分支，判定在UML中使用空心菱形表示。3判定

在RationalRose中，可以為每個(gè)類(lèi)創(chuàng)建一個(gè)或者多個(gè)狀態(tài)圖類(lèi)的轉(zhuǎn)換和狀態(tài)都可以在狀態(tài)圖中體現(xiàn)。首先，展開(kāi)“LogicView”菜單項(xiàng)，然后在“LogicView”圖標(biāo)上單擊鼠標(biāo)右鍵，在彈出的菜單中選擇“New”下的“StatechartDiagram”選項(xiàng)建立新的狀態(tài)圖。創(chuàng)建狀態(tài)圖創(chuàng)建狀態(tài)圖創(chuàng)建初始和終止?fàn)顟B(tài)初始狀態(tài)和終止?fàn)顟B(tài)是狀態(tài)圖中的兩個(gè)特殊狀態(tài)。初始狀態(tài)代表著狀態(tài)圖的起點(diǎn)，終止?fàn)顟B(tài)代表著狀態(tài)圖的終點(diǎn)。創(chuàng)建狀態(tài)創(chuàng)建狀態(tài)的步驟可以分為：創(chuàng)建新?tīng)顟B(tài)、修改新?tīng)顟B(tài)名稱(chēng)、增加入口和出口動(dòng)作、內(nèi)部轉(zhuǎn)換創(chuàng)建新?tīng)顟B(tài)單擊狀態(tài)圖工具欄中的state圖標(biāo)，然后在繪制區(qū)域單擊鼠標(biāo)左鍵。2.修改新?tīng)顟B(tài)名稱(chēng)創(chuàng)建新的狀態(tài)后可以修改狀態(tài)的屬性信息。雙擊狀態(tài)圖標(biāo)，在彈出對(duì)話框的General選項(xiàng)卡里進(jìn)行名稱(chēng)Name和文檔說(shuō)明Documentation等屬性的設(shè)置。3.增加入口和出口動(dòng)作在狀態(tài)屬性設(shè)置對(duì)話框中打開(kāi)Actions選項(xiàng)卡，在空白處單擊鼠標(biāo)右鍵，在彈出的快捷菜單中選擇Insert命令，雙擊出現(xiàn)的動(dòng)作類(lèi)型Entry，在彈出對(duì)話框的When下拉列表中選擇OnEntry選項(xiàng)，在Name文本框中添加動(dòng)作的名稱(chēng)。4.增加內(nèi)部轉(zhuǎn)換（活動(dòng)）增加活動(dòng)與增加入口動(dòng)作和出口動(dòng)作類(lèi)似，區(qū)別是在When下拉列表中選擇Do選項(xiàng)。創(chuàng)建狀態(tài)之間的轉(zhuǎn)換轉(zhuǎn)換是兩個(gè)狀態(tài)之間的一種關(guān)系，代表了一種狀態(tài)到另一種狀態(tài)的過(guò)渡，在UML中轉(zhuǎn)換用一條帶箭頭的直線表示。創(chuàng)建事件雙擊轉(zhuǎn)換圖標(biāo)，在彈出對(duì)話框的General選項(xiàng)卡里增