狀態圖語意
下列章節說明狀態圖的物件導向解譯。
單一訊息從執行到完成的處理
IBM Rational Rhapsody
假設狀態圖會對由部分外部動作者套用至狀態圖的單一訊息做出回應。外部動作者可以是系統事件佇列或另一個物件。
作用中轉移
轉移選取
轉移選取會指定要發動之作用中轉移的子集。
衝突
如果兩個轉移同時會造成相同的狀態結束,即可認為是
衝突
。只有正交或獨立轉移才會同時發動。這表示交錯執行會導致等同的結果。不相交的結束狀態是等同結果的滿意條件。
優先順序
優先順序
可解決部分但並非全部轉移衝突。
IBM Rational Rhapsody
使用狀態階層在衝突的轉移之間定義優先順序。但是,低階(巢狀)狀態可以置換行為,因此暗示優先順序較高。
轉移選取演算法
轉移執行
沒有狀態圖且處於作用中狀態類別
單一動作狀態圖
上層主題:
設計狀態圖
回饋