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