Chef や Puppet などの構成管理ツールにおいて、システムのあるべき状態(Desired State)を記述するモデルを何と呼ぶか。

宣言型モデルでは、「何をするか(手順)」ではなく「どうあるべきか(最終状態)」を定義し、ツールが現状との差分を埋めるように動作する。