私はステート マシンの定義を検討し始めたばかりで、SCXML、特にApache Commons SCXML for Javaは魅力的に見えます。明らかに、XML を検証できます (適切な XSD を使用)。
ただし、定義された状態マシンが有効であることを確認する方法が明らかに見つかりません (行き止まりがない、到達不能な状態がないなど)。
しかし、定義されたステートマシンを実行する前に検証するにはどうすればよいでしょうか? 特に、ビルド ツール チェーンに (コマンド ラインから) 統合できるツールに興味があります。