階層型の有限状態マシンを標準の移植可能な形式で記述する必要があります。広く受け入れられ、サポートされている、使用すべきファイル形式はありますか?
Graphviz DOT 言語は、有向辺によって参照される可能性のあるサブグラフをサポートしていることがわかります。(ただし、Graphviz を使用して接続されたクラスターをレンダリングするのは少し問題です。) 一般的な有向エッジのテキスト ラベルを遷移イベント/基準として解釈することは、わずかな意味論的拡張のように見えますが、使用できないわけではありません。
UML Statechartが階層的にネストされた状態をサポートしていることがわかります。ただし、この質問に対する受け入れられた回答は、XMI でステートチャートを記述することは、UML を名目上サポートするツールと実際には適切に相互運用できない可能性があることを意味します。
W3C SCXML 標準を参照してください。ただし、これはまだ作業中のドラフトであり (ほぼ 7 年間使用されています)、この形式をサポートするツールがあるかどうかはわかりません (変換以外)。
上記のいずれかよりも広く受け入れられる代替手段はありますか? 上記のいずれかを使用する必要がありますか？
移植性の例の 1 つは、 Matlab Stateflowのような HSM シミュレーターでグラフを読み取って使用できるようにしたいということです。