5797 2008-06-24 15:28:29 +0000 SML validity appeal to schema-validity is underspecified 2008-08-21 22:09:35 +0000 1 1 1 Unclassified SML Core LC Macintosh Mac System 9.x RESOLVED FIXED P2 normal LC 1 cmsmcq kumarp james.lynn kirk.wilson kumarp pratul.dublish virginia.smith public-sml oldest_to_newest 20808 0 cmsmcq 2008-06-24 15:28:29 +0000 In section 8, the first condition for valid SML models (or perhaps I should say SML-valid models) is that In each instance document in the model, the [validity] property of the root element and all of its attributes and descendants MUST NOT be "invalid" when schema validity is assessed by a conforming schema-aware processor with respect to the referenced XML Schema documents in the model's definition documents. [XML ' Schema Structures] But the conditions given do not determine an interoperable result (even within the limits of XSD 1.0). We need to decide, and specify, whether validity assessment needs to be initiated with type-driven, element-driven, lax-wildcard, or strict-wildcard validation. If we specify lax wildcard validation, documents may be vacuously valid; if we specify strict wildcard validation, models without any schema documents cannot be valid (that may be OK). We can't specify which element or type should be used in general; it might be specified in the SML-IF document (or in some out-of-scope way, for SML processors). Perhaps the simplest thing to do, in the light of our discusssions yesterday, would be to specify that validation is started in lax- or strict-wildcard mode. 21221 1 pratul.dublish 2008-07-17 20:03:45 +0000 Record of discussion on 7/17 - members felt we need more time to investigate this Sandy: possible solutions. a) when there is no schema document at all, then use "lax-wildcard", otherwise "strict". or b) for instances documents covered by at least one "schema binding", use "strict"; if an instance is not covered by any "schema binding", then use "lax". 21417 2 pratul.dublish 2008-07-31 19:57:43 +0000 Resolution in 7/31 call If a schema is bound to an instance document, we perform strict-wildcard validation. If a schema is not bound to an instance document, no schema validation is performed. The SML spec should explicitly mention that it does not define how a schema is bound an instance document. 21521 3 virginia.smith 2008-08-13 00:11:42 +0000 A note was added to section 8 as part of the resolution of Bug #5797 that states that this spec does not define how a schema is bound an instance document. 21595 4 kumarp 2008-08-19 02:55:14 +0000 Added item 8 in the first item-list under section 8 Conformance. --- 8. The processor MUST start Schema-Validity Assessment at the document root element with no stipulated declaration or definition. If the document root element and the schema determine an element declaration (by the name of the element) or a type definition (via xsi:type), then strict validation is performed; if they do not identify any declaration or definition, then no schema-validity assessment is performed. Note: This method is generally known as strict-wildcard validation. --- links: Schema-Validity Assessment => http://www.w3.org/TR/xmlschema-1/#cvc-assess-elt strict validation => http://www.w3.org/TR/xmlschema-1/#key-sva 21607 5 sandygao 2008-08-20 02:59:03 +0000 The first list (about processor conformance) already has "1. The validator MUST perform model validation as defined in this specification." So I didn't expect a new item to be added to that list. Instead, I expected to see changes in the last list (model validity) to reflect our "strict if bound, no validation otherwise" decision (see comment #2). e.g. change bullet 1 to: "1. In each instance document in the model, the [validity] property of the root element MUST be "valid", and the [validity] property of all the other elements and all the attributes MUST NOT be "invalid", when schema validity is assessed with respect to any schema that is bound to this instance document. The assessment starts at the root element with no stipulated declaration or definition. [XML Schema Structures]" 21609 6 kirk.wilson 2008-08-20 11:21:41 +0000 +1 for Comment #5. Suggest rewording final sentence, reversing order of the clauses: The assessment starts with no stipulated declaration or definition at the root element. 21617 7 pratul.dublish 2008-08-21 19:12:11 +0000 Make the following change to Item 1 of the definition of valid SML model and remove Item 8 from the definition of conforming SML validators In each instance document in the model which is bound to a schema, the [validity] property of the root element MUST be "valid", and the [validity] property of all the other elements and all the attributes MUST NOT be "invalid", when schema validity is assessed with respect to any schema that is bound to this instance document. The assessment starts at the root element with no stipulated declaration or definition. [XML Schema Structures]. The schema-validity of instance documents not bound to any schema does not contribute to the validity or invalidity of the model. 21620 8 kumarp 2008-08-21 22:09:35 +0000 fixed per comment# 7.