Constraint automaton とは

コンピュータサイエンスでは、制約オートマトンは、コーディネーションモデルにおける動作と可能なデータフローを記述するための形式である。それはArbabらによって導入されました。 Reoコネクタ回路をモデル検査するための有限オートマトンの変形として。
拘束オートマトンは確率的オートマタの一般化と見なすことができ、確率の代わりにデータ制約が状態遷移にラベルを付け、発火に影響を与えます。