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

[Bug 5790] reduce the "all bets are off" consequence of unreachable documents

From: <bugzilla@wiggum.w3.org>
Date: Tue, 24 Jun 2008 17:25:27 +0000
To: public-sml@w3.org
Message-Id: <E1KBCGl-0000qr-St@wiggum.w3.org>

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


John Arwe <johnarwe@us.ibm.com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Keywords|needsAgreement              |hasProposal




--- Comment #1 from John Arwe <johnarwe@us.ibm.com>  2008-06-24 17:25:27 ---
This paragraph occurs in SML section 8 Conformance Criteria

--- Existing text, editor's draft
Conformance and validity of a model can be assessed if and only if all
documents in the model are available to the model validator. If any model
document is not reachable, then the model validator's behavior is
implementation-defined.
----

Proposed replacement text: 

The conformance of a model and the validity of a model can be assessed if and
only if all documents in the model are available to the model validator.  A
model validator MUST document its behavior (i.e. it is implementation-defined)
when a model document is found to be unavailable.  It MAY respond to this
condition in ways that include but are not limited to: assessing the model as
invalid, or treating this as a warning.  The intent of the latitude granted to
model validators in this case is to provide some implementation flexibility by
not prescribing a limited set of choices, however it should be read narrowly
rather than as a broad license to take unrelated actions like failing to
enforce SML constraints on unrelated documents.


-- 
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 17:26:02 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Tuesday, 24 June 2008 17:26:02 GMT