1 UML狀態圖簡介

狀態圖，顯示一個狀態機，屬于UML活動圖。

UML具有許多不同類型的圖表，包括：

靜態圖：用例圖、類圖、包圖

動態圖：活動圖、狀態圖、時序圖、協作圖

狀態機用于對模型元素的動態行為進行建模，或是說對系統中受事件驅動的方面進行建模。

2 狀態圖基本要素

狀態是狀態機的重要組成部分，描述了狀態機所在對象動態行為的執行所產生的結果

這三個都是****偽狀態 （Pseudostate）：

UML中使用一個圓角矩形表示一個一般狀態

狀態的組成部分：

復合狀態，或稱組合狀態，是指包含有子狀態的狀態。

如下圖，“復合狀態2”即為復合狀態，內部的“狀態2-1”、"狀態2-2"為子狀態。

也可用以下形式表示，將復合狀態的內容單獨畫出。

注：圖中的圓圈內一個H字母，表示****歷史狀態 ，它也是一個偽狀態,其目的是記住從組合狀態中退出時所處的子狀態，當再次進入組合狀態，可直接進入這個子狀態，而不是再次從組合狀態的初態開始

轉換（Transition）是兩個狀態之間的關聯。表示對象在第一個狀態（Source State）中執行一定的動作，并在某個特定事情發生并且某個特定的條件滿足時進入下一個狀態（Target State）。

一般情況下的狀態轉換是兩個不同狀態之間的轉換，示意圖如下：

轉換的組成部分：

自身轉換（Self-Transitions），是指狀態可以有返回自身狀態的轉換。

對于復合狀態之間的轉換，需要注意本地轉換（Local transition）與外部轉換（External transition）的不同。

上圖中，左邊是本地轉換，右邊是外部轉換。

新建一個visio文件，打開后會自動提示選擇創建某種類型的圖，這里選擇"軟件和數據庫 ->UML狀態機"

點擊確定之后，會進入UML狀態圖的編輯界面，左側可以看到用于UML狀態圖編輯的基本元素，將這些元素拖拽到右側的編解面板中，可以看到這些元素的基本結構形式：

下面是一個UML狀態圖的實例：

這是一個全自動洗衣機的UML狀態圖，主要包括“設置”、“工作中”、“暫停”這3個狀態。

開機時，會先進入“設置”狀態，可以設置洗衣模式以及水量等，觸發啟動后，會進入“工作中”狀態。
“工作中”是一個復合狀態，內部包括“加水”、“清洗”、“排水”、“甩干”這4個子狀態。進入該狀態后，從“加水”子狀態開始執行，然后會執行“清洗”、"排水"子狀態，排水完成后，根據清洗次數是否足夠，跳轉到“加水”或“甩干”子狀態。
在“工作中”狀態時，無論處于哪個子狀態，只有按了暫停鍵，都會進入“暫停”狀態，再按繼續，則會進入“工作中”繼續執行，注意繼續時指向的是歷史狀態（圓圈內一個H字母），表示繼續指向剛才暫停時的子狀態。