[Bug 5151] pseudo-normative qualifications used in apparently normative contexts

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

           Summary: pseudo-normative qualifications used in apparently
                    normative contexts
           Product: XML Schema
           Version: 1.1 only
          Platform: PC
        OS/Version: Windows XP
            Status: NEW
          Severity: normal
          Priority: P2
         Component: Structures: XSD Part 1
        AssignedTo: cmsmcq@w3.org
        ReportedBy: johnarwe@us.ibm.com
         QAContact: www-xml-schema-comments@w3.org


Not sure if these are supposed to be normative or not (suspect they are, but no
RFC2119 keywords).  Assuming I am right, suggested updates provided for each. 
It looks like a global clean up was done and these fell through the cracks,
because the vast majority of the constraint clauses are precisely specified.

2.5 "Within a given symbol space, names are unique,"  are -> MUST be (this is
covered with a MUST in 3.1.1)
2.6 "All schema processors have appropriate attribute declarations" MUST have
3.1.1 "Any property not defined as optional is always present" MUST be
3.1.1 "not present are taken to have ·absent· as their value" MUST have
3.2.2 "and one of the following is true" one ?== exactly one, at least one, at
most one?  global comment, many instances of this case exist
3.2.3 "all of the following also apply" apply -> MUST be true (global)
3.2.6 "all of the following are true" MUST be (global)
3.3.2, {target ns}, Element Decl "and one of the following" at least one

3.3.2, {target ns}, Element Decl "appropriate case" ...do not remember the
semantic for "case" being defined, but given that different languages have this
keyword with subtly different semantics (does one bail after satisfying one of
the conditions or continue to evaluate the rest), probably one you need to
define in 1.5 etc.  I took it to me stop after first true.

3.4.2 CTD w/ complex content {content type} 2.1 "if one of the following is
true" ... at least?  exactly?
3.4.2 CTD w/ complex content item 5 [Def:] wildcard element "and one of the
following" >=1?
3.4.3 "also apply" MUST be true
3.4.3 item 2.1 "is one of the following" exactly one?
3.4.4 "E and T satisfy this constraint if and only if one of the following is
true"
3.4.6 Schema Component Constraint: Derivation Valid (Extension) items 1.4,
1.4.3.2, 1.4.3.2.2.3
3.4.6 Schema Component Constraint: Derivation Valid (Restriction, Complex)
items 2, 2.2.2, 2.3.2, 2.4.1
3.4.6 Schema Component Constraint: Type Derivation OK (Complex) item 2
3.7.2 {model group} "among the [children] (there must be one)."  exactly one
3.9.4.2 Validation Rule: Element Sequence Accepted (Particle) items 2.3, 3
3.10.4 Wildcard allows Namespace Name "one of the following must be true:"

4.2.2 Schema Representation Constraint: Inclusion Constraints and Semantics
"also apply" MUST be true
4.2.2 "in which case no  corresponding inclusion is          performed." ->
      "in which case the corresponding inclusion MUST NOT be performed.
4.2.3 Schema Representation Constraint: Redefinition Constraints and Semantics
"also apply" MUST be true
4.2.3 Schema Representation Constraint: Individual Component Redefinition
"Corresponding to each non-<annotation> member of the [children] of a
<redefine> there are one or two schema components in the <redefine>ing schema:"
needs to be re-cast into RFC2119 style.  It seems like it wants the appropriate
CASE amongst the following.
4.2.4.2 Schema Representation Constraint: Import Constraints and Semantics
"also apply" MUST be true

Received on Monday, 8 October 2007 18:05:43 UTC