用于描述分层（嵌套）有限状态机的标准文件格式？

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