[Bug 5406] Use "model validator" term consistently; drop "conforming"

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


johnarwe@us.ibm.com changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Keywords|editorial                   |needsAgreement




------- Comment #2 from johnarwe@us.ibm.com  2008-01-25 01:02 -------
At the 1/22 f2f, we discussed and decided I was to open a bug for the cases
described in this comment.  I believe the net change is identical to this bug,
however my examples are in SML (not SMLIF) and this bug is scoped only to
SMLIF.  Thus I am changing this bug from editorial to needs agreement so the wg
has the opportunity to confirm my understanding that this change applies to
both specs.  My notes of the discussion of these examples, all SML, suggest the
same change (in comment #1) that this bug otherwise would scope to SMLIF only.

SML, 4.2.1 At Most One Target
resolves to more than one target then the model MUST be declared invalid.

SML, 4.2.2 Consistent References
An SML model MUST be declared invalid 

SML, 4.2.3 Identical Targets
(several times) A model validator MUST

SML, 4.2 Reference Semantics
A model validator MUST attempt

Received on Friday, 25 January 2008 01:02:33 UTC