可以在狀態機中進行狀態轉換嗎？

Question

我試圖爲我開發的軟件繪製一個狀態機，所以像往常一樣在軟件開發中我有幾個不同的轉換，它們都是不同的轉換，它們都是相同的狀態。

現在我想知道是否可以顯示所有的循環轉換和警衛？還是我只需要繪製一個循環轉換？

Answer 1

是的。圖表粒度（細節數量）取決於其目標。如果你想畫出系統的大圖，那麼不要顯示所有的細節，但如果你想使用該圖作爲一個完整的規範工件，你必須繪製一切。狀態機中的冗餘可能是造型不良的標誌，因此您可以使用更完整的圖表作爲改進建模的方式，從而最大限度地減少循環轉換。有很多程序可以幫助您生成狀態機圖表：http://www.gnu.org/software/autogen/autofsm.html以及更多https://www.google.com/search?q=finite+state+machine+generator