UML系統分析與設計SystemAnalysis&Design冀振燕北京交通大學

第十章狀態機圖狀態機圖狀態機圖的應用UML系統分析與設計第2版ZhenyanJi2狀態機圖狀態機圖（StateMachineDiagrams）給出了一個狀態機，強調了從狀態到狀態的控制流。狀態機（StateMachine）定義了對象在生命周期中響應事件所經歷的狀態的序列以及對象對這些事件的響應。狀態機由狀態、躍遷、事件、活動、動作等組成。狀態（State）代表對象在生命周期中的一種條件或狀況，在這種狀況下，對象滿足某個條件，或執行某個動作、或等待某個事件。一個狀態在一個有限的時間段內存在。UML系統分析與設計第2版ZhenyanJi3狀態機圖事件（Event）是一個重要事件的規范，該事件在時間和空間域中有一個位置。躍遷（Transition）是兩個狀態之間的關系，它表示第一個狀態的對象將執行某個動作，如果規定的事件發生或規定的條件被滿足，則對象進入第二個狀態。活動（Activity）是狀態機中正在執行的可分解的計算。動作（Action）是可執行的、不可分的計算，該計算造成了模型的狀態變化或者值的返回。UML系統分析與設計第2版ZhenyanJi4狀態機圖狀態機圖UML系統分析與設計第2版ZhenyanJi5狀態機圖的應用交互作用圖描述了多個對象間的交互作用，而狀態機圖描述單個對象在它的整個生命周期的行為。活動圖描述了從活動到活動的控制流，狀態機圖描述了從事件到事件的控制流。狀態機圖可以用來描述整個系統、子系統、或類的動態方面，還可以描述用例的一個腳本。UML系統分析與設計第2版ZhenyanJi6狀態機圖的應用為一個事件驅動對象建模，應完成如下內容。確定狀態機的上下文。狀態機的上下文可以是類、用例、子系統或系統整體。確定初始狀態和最終狀態。通過考慮對象能夠存在一段時間的條件，確定對象的穩定狀態。確定穩定狀態在對象生命周期中的局部排序。確定觸發從狀態到狀態躍遷的事件。確定狀態變化的動作。考慮使用子狀態、分支、歷史狀態等來簡化狀態機圖。確定是否所有的狀態都在事件的某個組合中可達。確定沒有狀態是死狀態。死狀態是指沒有事件或事件組合可以使對象從這個狀態中躍出。檢查狀態機是否違反所期望的事件順序和響應。UML系統分析與設計第2版ZhenyanJi7電梯系統的狀態機圖UML系統分析與設計第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系統分析與設計第2版ZhenyanJi9下面是一段Java源代碼和對應的狀態機圖小結狀態機圖描述了一個特定對象的所有可能狀態，以及引起狀態躍遷的事件。狀態機圖用來模擬系統的動態方面，這些動態方面指系統對象按事件發生順序排序的行為。狀態機圖可以用來描述整個系統、子系統或類的動態方面，還可以用