uml - 用于描述分层(嵌套)有限状态机的标准文件格式？

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格式，为此您可以自己开发其他格式的翻译器。