5790 2008-06-24 11:09:57 +0000 reduce the "all bets are off" consequence of unreachable documents 2008-07-03 16:02:08 +0000 1 1 1 Unclassified SML Core LC PC Windows XP RESOLVED FIXED P2 normal --- 1 johnarwe kumarp kirk.wilson kumarp public-sml oldest_to_newest 20770 0 johnarwe 2008-06-24 11:09:57 +0000 f2f consensus: Need to narrow the license given in the sentence 2 below so that it's not "all bets are off" once a single document is unreachable. 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. 20813 1 johnarwe 2008-06-24 17:25:27 +0000 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. 20826 2 johnarwe 2008-06-25 08:32:06 +0000 f2f consensus to fix as in comment #1. Some editorial suggestions: - tweak comma placement - move (impl-defined) parenthetical to end of sentence - change "should be read" to "to be read" or similar... want the sense of must, without using rfc2219 keywords like must or should. 21033 3 kumarp 2008-07-03 02:11:42 +0000 fixed per comment# 1 and comment# 2. 21047 4 kirk.wilson 2008-07-03 16:02:08 +0000 One further tweak to the final text, in addition to those in Comment #2: Final sentences: From: actions like failing to enforce TO: actions such as failing to enfore Despite some common (ubiquitous) uses of "like", I still hold to the old grammar rules: "like" should refer to a single object, "as" is used with complex clauses.