描述分層（嵌套）有限狀態機的標準文件格式？

Question

我需要描述一個標準和便攜式格式的分層有限狀態機。是否有我應該使用的被廣泛接受和支持的文件格式？

• 我看到Graphviz DOT language支持可能被有向邊引用的子圖。 （儘管使用Graphviz is a bit of a problem呈現連接的羣集。）將泛型有向邊上的文本標籤解釋爲轉換事件/標準看起來像是輕微的語義延伸，但不可用。我看到UML Statechart支持hierarchically nested states。但是，the accepted answer to this question意味着描述XMI中的狀態圖本身可能實際上不能與名義上支持UML的工具正確地互操作。

• 我看到W3C SCXML Standard。然而，這仍然是一個工作草案（並且已經將近7年了），並且我不確定是否有任何工具支持此格式（除了通過conversion之外）。

是否有比上述之一更爲廣泛接受的替代方案？我應該使用上面的一個還是另一個？

可移植性的例子之一是，我希望圖表能夠被像Matlab Stateflow這樣的HSM模擬器讀取和使用。

Answer 1

有一個OMG standard for UML diagram interchange。但我沒有被廣泛接受的事情。您還可以使用eclipse EMF UML2格式，爲此您可以開發自己的其他格式的翻譯器。