6.1 约束模型概述