作用中轉移
滿足下列條件時,轉移會處於作用中:
觸發程式符合公佈至狀態圖的訊息。(空值觸發程式符合空值事件。)
從來源狀態至目標狀態存在一個滿足所有保護(評估為 true)的路徑。
註:
在呼叫與轉移相關的任何動作之前會評估保護。
就何時評估保護以及評估順序方面,有意地未定義保護評估策略。因為未解譯保護,所以對保護進行評估可能包括造成負面影響的表示式。
上層主題:
狀態圖語意
回饋