UML系統(tǒng)分析與設(shè)計(jì)教程(第2版) 課件 第10章 狀態(tài)機(jī)圖

UML系統(tǒng)分析與設(shè)計(jì)SystemAnalysis&Design冀振燕北京交通大學(xué)

第十章狀態(tài)機(jī)圖狀態(tài)機(jī)圖狀態(tài)機(jī)圖的應(yīng)用UML系統(tǒng)分析與設(shè)計(jì)第2版ZhenyanJi2狀態(tài)機(jī)圖狀態(tài)機(jī)圖（StateMachineDiagrams）給出了一個(gè)狀態(tài)機(jī)，強(qiáng)調(diào)了從狀態(tài)到狀態(tài)的控制流。狀態(tài)機(jī)（StateMachine）定義了對(duì)象在生命周期中響應(yīng)事件所經(jīng)歷的狀態(tài)的序列以及對(duì)象對(duì)這些事件的響應(yīng)。狀態(tài)機(jī)由狀態(tài)、躍遷、事件、活動(dòng)、動(dòng)作等組成。狀態(tài)（State）代表對(duì)象在生命周期中的一種條件或狀況，在這種狀況下，對(duì)象滿足某個(gè)條件，或執(zhí)行某個(gè)動(dòng)作、或等待某個(gè)事件。一個(gè)狀態(tài)在一個(gè)有限的時(shí)間段內(nèi)存在。UML系統(tǒng)分析與設(shè)計(jì)第2版ZhenyanJi3狀態(tài)機(jī)圖事件（Event）是一個(gè)重要事件的規(guī)范，該事件在時(shí)間和空間域中有一個(gè)位置。躍遷（Transition）是兩個(gè)狀態(tài)之間的關(guān)系，它表示第一個(gè)狀態(tài)的對(duì)象將執(zhí)行某個(gè)動(dòng)作，如果規(guī)定的事件發(fā)生或規(guī)定的條件被滿足，則對(duì)象進(jìn)入第二個(gè)狀態(tài)?；顒?dòng)（Activity）是狀態(tài)機(jī)中正在執(zhí)行的可分解的計(jì)算。動(dòng)作（Action）是可執(zhí)行的、不可分的計(jì)算，該計(jì)算造成了模型的狀態(tài)變化或者值的返回。UML系統(tǒng)分析與設(shè)計(jì)第2版ZhenyanJi4狀態(tài)機(jī)圖狀態(tài)機(jī)圖UML系統(tǒng)分析與設(shè)計(jì)第2版ZhenyanJi5狀態(tài)機(jī)圖的應(yīng)用交互作用圖描述了多個(gè)對(duì)象間的交互作用，而狀態(tài)機(jī)圖描述單個(gè)對(duì)象在它的整個(gè)生命周期的行為?；顒?dòng)圖描述了從活動(dòng)到活動(dòng)的控制流，狀態(tài)機(jī)圖描述了從事件到事件的控制流。狀態(tài)機(jī)圖可以用來描述整個(gè)系統(tǒng)、子系統(tǒng)、或類的動(dòng)態(tài)方面，還可以描述用例的一個(gè)腳本。UML系統(tǒng)分析與設(shè)計(jì)第2版ZhenyanJi6狀態(tài)機(jī)圖的應(yīng)用為一個(gè)事件驅(qū)動(dòng)對(duì)象建模，應(yīng)完成如下內(nèi)容。確定狀態(tài)機(jī)的上下文。狀態(tài)機(jī)的上下文可以是類、用例、子系統(tǒng)或系統(tǒng)整體。確定初始狀態(tài)和最終狀態(tài)。通過考慮對(duì)象能夠存在一段時(shí)間的條件，確定對(duì)象的穩(wěn)定狀態(tài)。確定穩(wěn)定狀態(tài)在對(duì)象生命周期中的局部排序。確定觸發(fā)從狀態(tài)到狀態(tài)躍遷的事件。確定狀態(tài)變化的動(dòng)作?？紤]使用子狀態(tài)、分支、歷史狀態(tài)等來簡(jiǎn)化狀態(tài)機(jī)圖。確定是否所有的狀態(tài)都在事件的某個(gè)組合中可達(dá)。確定沒有狀態(tài)是死狀態(tài)。死狀態(tài)是指沒有事件或事件組合可以使對(duì)象從這個(gè)狀態(tài)中躍出。檢查狀態(tài)機(jī)是否違反所期望的事件順序和響應(yīng)。UML系統(tǒng)分析與設(shè)計(jì)第2版ZhenyanJi7電梯系統(tǒng)的狀態(tài)機(jī)圖UML系統(tǒng)分析與設(shè)計(jì)第2版ZhenyanJi8…intsum=0;…publicintregister(Students){switch(state){caseOpen:if(sum<40){ state=Open; sum=sum+1; }elsestate=Close;break; caseClose: System.out.println(“theclassisfull”); } returnsum;}UML系統(tǒng)分析與設(shè)計(jì)第2版ZhenyanJi9下面是一段Java源代碼和對(duì)應(yīng)的狀態(tài)機(jī)圖小結(jié)狀態(tài)機(jī)圖描述了一個(gè)特定對(duì)象的所有可能狀態(tài)，以及引起狀態(tài)躍遷的事件。狀態(tài)機(jī)圖用來模擬系統(tǒng)的動(dòng)態(tài)方面，這些動(dòng)態(tài)方面指系統(tǒng)對(duì)象按事件發(fā)生順序排序的行為。狀態(tài)機(jī)圖可以用來描述整個(gè)系統(tǒng)、子系統(tǒng)或類的動(dòng)態(tài)方面，還可以用