[Bug 5797] New: SML validity appeal to schema-validity is underspecified

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

           Summary: SML validity appeal to schema-validity is underspecified
           Product: SML
           Version: LC
          Platform: Macintosh
        OS/Version: Mac System 9.x
            Status: NEW
          Severity: normal
          Priority: P2
         Component: Core
        AssignedTo: cmsmcq@w3.org
        ReportedBy: cmsmcq@w3.org
         QAContact: public-sml@w3.org


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.


-- 
Configure bugmail: http://www.w3.org/Bugs/Public/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are the QA contact for the bug.

Received on Tuesday, 24 June 2008 15:29:03 UTC