W3C home > Mailing lists > Public > public-sml@w3.org > February 2008

[Bug 5463] Must conforming producers be able to spin straw into gold?

From: <bugzilla@wiggum.w3.org>
Date: Thu, 07 Feb 2008 20:58:01 +0000
CC:
To: public-sml@w3.org
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

This archive was generated by hypermail 2.3.1 : Tuesday, 6 January 2015 20:56:09 UTC