我需要用一种标准且可移植的格式来描述层次有限状态机。是否存在广泛接受和支持的文件格式？
我发现Graphviz DOT语言支持子图，可以通过有向边进行引用。(尽管使用Graphviz呈现连接集群有点问题.) 通常将有向边上的文本标签解释为转换事件/条件似乎有点牵强，但并非不可用。
我发现UML Statechart支持嵌套层次状态，但是这个问题的已接受答案暗示自己描述的XMI状态图实际上可能无法与标准支持UML的工具相互操作。
我看到W3C SCXML标准。但是这仍然是一个工作草案(已经有近7年了)，而且我不确定是否有任何工具支持这种格式(除了通过转换之外)。
是否存在比上述任何一种更广泛接受的替代品？我应该使用哪一种？
可移植性示例之一是，我希望图可以被HSM模拟器（如Matlab Stateflow）读取和使用。