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

Question

我需要以标准和可移植的格式描述分层有限状态机。 我应该使用广泛接受和支持的文件格式吗？

• 我看到Graphviz DOT语言支持可能被有向边引用的子图。 （尽管使用Graphviz渲染连接的集群有点问题 。）将泛型有向边上的文本标签解释为转换事件/标准似乎是一种轻微的语义延伸，但不是不可用的。

• 我看到UML Statechart支持分层嵌套状态 。 但是， 这个问题的公认答案意味着在XMI中描述状态图实际上可能无法与名义上支持UML的工具正确地互操作。

• 我看到了W3C SCXML标准版 。 但是，这仍然是一个工作草案（已经有近7年了），我不确定是否有任何工具支持这种格式（除了通过转换 ）。

是否有比上述更广泛接受的替代方案？ 我应该使用上述其中一种吗？

可移植性的一个例子是我希望图形能够被像Matlab Stateflow这样的HSM模拟器读取和使用。

Answer 1

UML图表交换有一个OMG标准 。 但我不认为它被广泛接受。 您还可以使用eclipse EMF UML2格式，您可以为自己开发其他格式的翻译器。