This is an archived snapshot of W3C's public bugzilla bug tracker, decommissioned in April 2019. Please see the home page for more details.
Section 2.2 defines model validation as: Model validation is the process of verifying that all documents in a model are valid with respect to the model's definition documents. I think there are two ways in which this definition could be improved. First, it would be good to make it clear(er) that model validation involves checking both the individual documents in the model and also checking the body of documents as a whole (for constraints like acyclic, where the error is an error of the set as a whole, not necessarily locatable in an individual document). I think that it is non-controversial that model validation should be understood as making both these kinds of checks. Second, the phrase "verifying that all documents in a model are valid" seems to suggest that the process of model validation somehow fails to be model validation in the true sense, if what we find out is that the documents are not actually valid. Perhaps it would be clearer to say that model validation is the process of determining whether the instance documents in a model are, or are not, valid.
Resolution: use following definition and insert reference to conformance section: Model validation is the process of determining whether or not an SML model is both conforming and valid.
Definition now reads: Model Validation Model validation is the process of determining whether or not an SML model is both conforming and valid. [8. Conformance Criteria]