行為狀態機概念

以下內容摘自UML2，今天的內容是說明狀態機具有上下文類目的情況。

行為狀態機可以用於定義下面的場景（不限於）

• 主動類的類目行為

• 一個行為化類目的除了類目行為以外的擁有行為。

如果狀態機有某種行為類目上下文，那麼這個類目定義了哪些訊號和呼叫事件可以適用於那個狀態機，也定義了哪些特徵對狀態機擁有的行為可用。狀態機的訊號觸發條件和呼叫事件觸發條件根據這個類目的接受和操作被分別定義。這些特徵可以被用於定義狀態機的訊息事件觸發條件。

--UML2.5 14.2.3.1 StateMachine（狀態機）

用一個不是很嚴密，但是簡單的說就是：狀態機可以用於定義類目的類目的行為。這時，狀態機可以呼叫上下文類目的行為，也可以將上下文類目中定義的事件用於定義狀態機的觸發條件。

示例

我們繼續使用按鈕式訊號系統的例子。

定義上下文類目

TrafficLight類是一個主動類，主動類的行為就是狀態機。

TrafficLight類有兩個方法，SetCurrentLight和SetShuttingDownFlag。它們會在狀態機中呼叫。

為類目新增狀態機

開啟【Project Browser】中TrafficLight的上下文選單，選擇【Add】-【State Machine】選單項。

就可以得到一個狀態機物件和一個狀態圖。

繪製狀態圖

接下來的內容就是我們前面講過的了。以下是按鈕式型號系統的狀態圖。

從圖中可以看出以下不同：

狀態圖的外面包圍著一個方框，表示這是一個狀態機。

狀態機的進入/退出行為，遷移的效應行為呼叫的是TrafficLight類的方法。

進入/退出行為的設定和表示方法

1. 開啟進入/退出行為對話方塊
   

   

   
   

2. 選擇【Behavior】屬性頁

3. 在【Behavior】文字框中輸入行為的詳細內容

4. 如果需要類類圖中顯示詳細內容，則選擇藍色圓圈中的【Show Behavior in Diagram】專案。

參考資料：

14.2 Behavior StateMachines(1)--狀態機概要

14.2 Behavior StateMachines (10) --記法

開啟方法如下:

1. 進入【面向物件思考】 公眾號  

2. 開啟【UML】-【UML2.5中文譯文】選單

3. 選擇【狀態圖】分類

4. 選擇相關文章