When a value is set for an attribute of an instance in a Service, that value must be validated against the constraints specified for the attribute in the VFC definition and the constraints specified in the data type definition for the attribute (where the type is complex). The constraints must be recursively checked on properties of the data type.