狀態圖(Statechart Diagram)是描述一個實體基於事件反應的動態行爲,顯示了該實體如何根據當前所處的狀態對不一樣的事件作出反應。html
狀態圖主要用於描述一個對象在其生存期間的動態行爲,表現爲一個對象所經歷的狀態序列,引發狀態轉移的事件(Event),以及因狀態轉移而伴隨的動做(Action)。併發
通常用狀態機對一個對象的生命週期建模,重點在與描述狀態圖的控制流。ide
以下圖例子,狀態機描述了「門」對象的生存期間的狀態序列spa
門有三種狀態:開的、關的、鎖的3d
門有四種事件:打開、關閉、鎖門和開鎖。orm
注意:htm
一、 並非全部的事件都會引發狀態的轉移,好比當門是處於【開的】狀態時,就不能進行【鎖門】事件。對象
二、 轉移(Transition)有警備條件,好比只有關門的條件須要沒有障礙物才能知足時,纔會響應事件,若是有障礙物沒法關上門則不會改變們的狀態爲關閉狀態。blog
指在對象的生命週期中的某個條件或者情況,在此期間對象將知足某些條件、執行某些活動活活等待某些事件。全部對象都有狀態,狀態是對象執行了一系列活動的結果,當某個事件發生後,對象的狀態將發生變化。生命週期
狀態用圓角矩形表示
初態用實心圓點表示,終態用圓形內嵌圓點表示。
轉移(Transitions)是兩個狀態之間的一種關係,表示對象將在源狀態(Source State)中執行必定的動做,並在某個特定事件發生並且某個特定的警界條件知足時進入目標狀態(Target State)
是轉移的誘因,能夠是一個信號,事件、條件變化(a change in some condition)和時間表達式。
當警界條件知足時,事件纔會引起轉移(Transition)。
對象狀態轉移後的效果。
狀態動做(Actions)是一個可執行的原子操做(動做是不可中斷的,其執行時間是可忽略不計的)
在上例中,對象狀態轉移後的結果顯示在轉移線上,若是目標狀態有許多轉移,並且每一個轉移有相同的結果,這時把轉移後的結果(Effect)展現在目標狀態中(Target State)更好一些,能夠定義進入動做(Entry Action )和退出動做(Exit Action),以下圖
狀態能夠有返回自身狀態的轉移,稱之爲自身轉移(Self-Transitions) 根據狀態轉移的觸發器和條件,進行自身轉移。
嵌套在另一個狀態中的狀態稱之爲子狀態(sub-state),一個含有子狀態的狀態被稱做組合狀態(Compound States). 以下圖,【Check PIN】是組合狀態,【Enter PIN】是子狀態。
以下圖所示,因爲一些緣由並不會執行初始化,而是直接經過一個節點進入狀態【Ready】,則此節點稱之爲入口點(Entry Point)
同理,有入口點,固然也有出口點
歷史狀態是一個僞狀態(Pseudostate),其目的是記住從組合狀態中退出時所處的子狀態,當再次進入組合狀態,可直接進入這個子狀態,而不是再次從組合狀態的初態開始。
在上圖的狀態圖中,正常的狀態順序是:【Washing】- >【Rinsing】->【Spinning】。若是是從狀態【Rinsing】忽然停電(Power Cut)退出,,洗衣機中止工做進入狀態【Power Off】,當電力恢復時直接進入狀態【Running】。
狀態圖能夠分爲區域,而區域又包括退出或者當前執行的子狀態。說明組合狀態在某一時刻能夠同時達到多個子狀態。以下圖剎車系統,同時進入前剎車【Applying Front Brakes】狀態和後剎車【Applying Rear Brakes】狀態。
下單成功備貨中(Guard:已付款、訂單成立、庫存量足夠)
出貨中(Effect:扣除商品可接單量及移除購物車中的購買資料)
出貨確認(Guard:實際配達日及發票代碼、號碼均不爲空值)
出貨完畢(Guard:實際配達日不爲空)
出貨失敗
訂單完成(Guard:出貨完畢,已付款、結束日期 小於等於 [系統日期])
1、購物車生成訂單進入狀態【下單成功】,成生一個正式的訂單
2、系統檢測訂單已經付款而且庫存量足夠,則進入狀態【備貨中】
3、物流發貨,進入狀態【出貨中】,狀態轉移爲【出貨中】後,須要作的操做有「扣除商品可接單量及移除購物車中的購買資料」
4、發貨完畢後,狀態分爲【出貨確認】和【出貨失敗】,若是狀態是【出貨失敗】,則【結束】,若是狀態爲【出貨確認】,則進入下一步。
5、配貨人員填寫實際配達日期,進入狀態【出貨完畢】。
6、若是「已付款、結束日期 小於等於 [系統日期]」,則【訂單成立】。
狀態圖重點在於描述對象的狀態及其狀態之間的轉移,狀態圖的基本元素主要有:狀態、轉移、動做、自身轉移、組合狀態、進入節點、退出節點、歷史狀態、併發區域等,狀態中的事件分爲調用事件(Call)、變化事件(Change)、時間事件(Time)和信號事件(Singal)。最後以實例對狀態對進行了分析。