[Bug 5108] sml 4.3.1 sml:acyclic

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

           Summary: sml 4.3.1 sml:acyclic
           Product: SML
           Version: unspecified
          Platform: PC
        OS/Version: Windows XP
            Status: NEW
          Keywords: editorial
          Severity: normal
          Priority: P2
         Component: Core
        AssignedTo: cmsmcq@w3.org
        ReportedBy: johnarwe@us.ibm.com
         QAContact: public-sml@w3.org


Separate the concerns
from:
Model validators that conform to this specification MUST support the
sml:acyclic attribute on any <xs:complexType> element in a schema document. 
to:
Model authors MAY specify the sml:acyclic attribute on any <xs:complexType>
element in a schema document. 
Model validators that conform to this specification MUST support the
sml:acyclic attribute.

from:
This is a boolean attribute and its value can be either true or false.
to: (re-use text from 4.1.1.1 SML Reference)

add: pointer to notation used for defining xml schema elements in 2.x. We are
using its notation ([],{}) in 4.1.1.1 SML Reference, in sml:acyclic, in other
places too.

4.3.1.1 Mapping from Schema
Since xs:anyType has no value for this, we need to state that its value is
false.  i.e. set the default to provide a base case for the recursive
definition.

headings are not consistent in the least between 4.1.x and 4.2.x.
4.3.1.1 Mapping from Schema seems to be the equivalent of 4.1.1.1 Ref Defs/SML
Ref, 4.3.1.2+3 equiv? to 4.1.2.  There is probably a sensible cleavage, like
syntactic definition and semantics, that apply to each one.  There should be a
consistent structure so it doesn't get in the way of readers comprehension.

Not sure what the distinction is between 4.3.1.2 Rules and 4.3.1.3 Validation. 
A validator would have to enforce the constraints in both sections, no?  They
both seem like statement of semantics, suggest combining and calling them
Semantics.

4.3.1.2 Rules
from: "...but all derived types of an acylic reference type are     acyclic..."
to  : "...but all derived types of an acylic reference type must be acyclic..."

Received on Sunday, 30 September 2007 19:17:09 UTC