オートマトン基づいたプログラミング ツール J2SE、J2EE および Sybmian アプリケーションのロジックを実装するためです。Java FSM フレームワークと Eclipse プラグインの部品から成っています。プラグインは UML モデル エディター visual デバッガー、バリデーター、コンパイラ、Eclipse 用のインタプリタを実装します。