Model contracts define a set of parameters validated during transformation