階層型（ネスト型）有限状態マシンを記述するための標準ファイル形式？

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以外）。

上記よりも広く受け入れられる代替品がありますか？私は上記のどちらかを使うべきですか？

移植性の例の1つは、グラフをMatlab StateflowのようなHSMシミュレータで読み取って使用できるようにすることです。

Answer 1

OMG standard for UML diagram interchangeがあります。しかし、私はそれが広く受け入れられているわけではありません。 eclipse EMF UML2形式を使用することもできます。そのため、他の形式の翻訳者を自分で開発することができます。