我需要以标准和可移植的格式描述分层有限状态机。是否有我应该使用的被广泛接受和支持的文件格式？
我看到Graphviz DOT 语言支持可能被有向边引用的子图。（尽管使用 Graphviz 渲染连接的集群有点问题。）将通用有向边上的文本标签解释为转换事件/标准似乎有点语义拉伸，但并非不可用。
我看到UML 状态图支持分层嵌套状态。然而，这个问题的公认答案意味着我自己在 XMI 中描述状态图实际上可能无法与名义上支持 UML 的工具正确互操作。
我看到了W3C SCXML 标准。然而，这仍然是一个工作草案（已经有将近 7 年了），我不确定是否有任何工具支持这种格式（除了通过转换）。
是否有比上述任何一种更广泛接受的替代方案？我应该使用上述一种还是另一种？
可移植性的一个例子是，我希望图形能够被Matlab Stateflow之类的 HSM 模拟器读取和使用。