Goguen-Meseguerモデルとは、非干渉概念論の基礎となるマルチレベルの完全性モデルです。

Goguen-Meseguerモデルは、サブジェクトがアクセスできるオブジェクトの集合の組み合わせと、あるサブジェクトの集合の各メンバーは他のサブジェクトの集合に干渉することができないという制約によってモデル化されます。