[Bug 4811] Clarify section 6.1 regarding Schematron phases

http://www.w3.org/Bugs/Public/show_bug.cgi?id=4811


virginia.smith@hp.com changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|ASSIGNED                    |RESOLVED
           Keywords|editorial                   |resolved
         Resolution|                            |FIXED




------- Comment #11 from virginia.smith@hp.com  2007-11-12 22:54 -------
Fixed as proposed. Section 7 now reads:

==========
7. Conformance Criteria

A program is a conforming SML model validator if it satisfies the following
conditions:

   1. The validator MUST perform model validation as defined in this
specification. Model validation is the process of examining each document in a
model and verifying that this document is valid with respect to the model
definition documents, i.e., each model instance document satisfies the schemas
and rules defined in the applicable model definition documents.
   2. The validator MUST support XML XML], XML Schema [XML Schema Structures],
and XPath [XPath] but MAY also support any future versions of these
specifications.
   3. The validator MUST support Schematron [ISO/IEC 19757-3].
   4. The validator MUST perform Schematron rule evaluation on the #ALL phase.
   5. The validator MUST support the deref() XPath extension function.

A set of XML documents is a conforming SML model if it satisfies the following
conditions:

   1. Each document in the model MUST be a well-formed XML document [XML]
   2. Each XML Schema document in the model's definition documents MUST satisfy
the conditions expressed in Errors in Schema Construction and Structure (§5.1).
[XML Schema Structures]
   3. Each Schematron document in the model's definition documents MUST be a
valid Schematron document [ISO/IEC 19757-3]

A conforming SML model is valid if it satisfies all of the following
conditions:

   1. 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]
   2. Each document in the model MUST satisfy all applicable Schematron
constraints constraints when validated in the #ALL phase.
   3. Each document in the model MUST satisfy all applicable sml:acyclic and
sml:target* constraints.
   4. Each document in the model MUST satisfy all applicable SML identity
constraints.

Received on Monday, 12 November 2007 22:54:50 UTC