5461 2008-02-07 20:04:11 +0000 Definition of model validation needs wordsmithing 2008-02-07 21:59:35 +0000 1 1 1 Unclassified SML Core unspecified Macintosh All RESOLVED FIXED resolved P2 normal LC 1 cmsmcq virginia.smith public-sml oldest_to_newest 18835 0 cmsmcq 2008-02-07 20:04:11 +0000 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. 18839 1 virginia.smith 2008-02-07 20:23:17 +0000 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. 18844 2 virginia.smith 2008-02-07 21:59:35 +0000 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]