春季狀態機定義選擇狀態在uml中

我是Spring State Machine的新手。我已經使用UML建模工具（Eclipse Papyrus）定義了一個狀態機配置，如enter link description here中所述。我在圖中定義了狀態和事件和警衛。現在我想在我的UML圖中定義一些選擇狀態（Choice僞狀態），但我不知道如何做到這一點。我真的想知道我是否可以選擇你的大腦。春季狀態機定義選擇狀態在uml中

來源

2016-11-09 Amir

看起來我需要使文檔更好，因爲那些文檔確實沒有。與此同時，您可以嘗試從我們的單元測試中打開simple-choice.di（或其uml），以查看事物是如何定義的。

米知道這並沒有幫助。

來源

2016-11-10 12:58:05

感謝您的回覆，您的意思是我應該在選擇後對每次轉換進行警惕。當狀態機的執行到達選擇時，將評估每個轉換的守衛，並根據守衛評估選擇下一個狀態。如果這是真的，那麼衛兵評估的順序如何呢？ – Amir

守衛很重要，因爲那些只是允許你創建if/elseif/else結構。即你不應該有重疊的守衛條件，因爲然後選擇的路徑將不可預測。通常會添加一個無防護的轉換，以確保始終可以選擇一條路徑。如果即使在理論上選擇配置允許你陷入選擇，機器也是不合格的。 –

不錯的答案，我會很樂意幫助您更好地編寫文檔 – Amir

春季狀態機定義選擇狀態在uml中

回答

相關問題