[Bug 5463] Must conforming producers be able to spin straw into gold? from bugzilla@wiggum.w3.org on 2008-02-07 (public-sml@w3.org from February 2008)

From: <bugzilla@wiggum.w3.org>
Date: Thu, 07 Feb 2008 20:58:01 +0000
To: public-sml@w3.org
CC:
Message-Id: <E1JNDon-0008Pq-Nz@wiggum.w3.org>

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

           Summary: Must conforming producers be able to spin straw into
                    gold?
           Product: SML
           Version: unspecified
          Platform: Macintosh
        OS/Version: All
            Status: NEW
          Severity: normal
          Priority: P2
         Component: Interchange Format
        AssignedTo: cmsmcq@w3.org
        ReportedBy: cmsmcq@w3.org
         QAContact: public-sml@w3.org


The text of section 5.1 as approved in bug 4675 reads in part

    A conforming SML-IF Producer MUST be able to generate a 
    referentially conforming SML-IF Document from an SML model.

If the SML is non-conforming, or invalid in certain ways (e.g.
because its SML references are messed up), is it clear that
the generation of a referentially conforming SML-IF document
is possible in principle?  Full validity is clearly not a logical
prerequisite, but is conformance?  

The current unqualified wording seems to require a lot of a
conforming producer.

Received on Thursday, 7 February 2008 20:58:10 UTC