Virtual finite-state machine とは

仮想有限状態マシン(VFSM)は、#Virtual環境で定義された有限状態マシン(FSM)です。 VFSMの概念は、入力制御プロパティと出力動作の割り当てられた名前を使用して制御システムの動作を記述するソフトウェア仕様方法を提供する。
VFSMメソッドは、実行モデルを導入し、実行可能な仕様の考え方を容易にします。この技術は、主に複雑な機械制御、計装および電気通信アプリケーションに使用されます。