This is an archived snapshot of W3C's public bugzilla bug tracker, decommissioned in April 2019. Please see the home page for more details.

Bug 5424 - 4. SML References awkward wording
Summary: 4. SML References awkward wording
Status: RESOLVED FIXED
Alias: None
Product: SML
Classification: Unclassified
Component: Core (show other bugs)
Version: LC
Hardware: PC Windows XP
: P2 normal
Target Milestone: LC
Assignee: Kumar Pandit
QA Contact: SML Working Group discussion list
URL:
Whiteboard:
Keywords:
Depends on:
Blocks:
 
Reported: 2008-01-25 21:30 UTC by John Arwe
Modified: 2008-02-20 15:17 UTC (History)
0 users

See Also:


Attachments

Description John Arwe 2008-01-25 21:30:54 UTC
(1) Multiple ANDs in one sentence, replace first n-1 with comma
4.1.1 SML Reference, item 1
4.1.2 SML Null Reference, item 2
(scrub for others)

(2) Need more precision on the requirement being levied.  In several places text states "...if and only if:" followed by a list of conditions, but fails to say how many of those conditions must be satisfied (any? all?).  In most cases we probably intended all, but we should review the changes to be sure.  Those noted:
4.1.2 SML Null Reference 
4.1.3 Unresolved SML Reference

(3) 4.1.3 Unresolved SML Reference, item 2 is "interesting" in the sense that this definition, unlike most others we have, is context-specific.  Different consumers, based on the set of SML ref schemes they understand and used in the model they process, will consider different SML refs to be unresolved.  This seems worthy of pointing out in a non-normative Note following item 2.

(4) 4.2 Reference Semantics has the following text, could use word-smithing in the final clause.
"A model validator MUST attempt to resolve an SML reference using all reference schemes of which the reference is recognized as an instance. "
Perhaps: A model validator MUST attempt to resolve an SML reference R using all SML reference schemes S1...Sn that the model validator recognizes in R [see section 4.3 item 1].

(5) 4.2.2 Consistent References fails to restrict its MUST to each SML ref elmt
from: An SML model MUST be declared invalid when 
      a recognized scheme ...
to  : An SML model MUST be declared invalid when, within a single SML reference,
      a recognized scheme ...
(this was discussed 1/22)

(6) 4.2.5 SML Null References (existing text, then 6a/6b changes)
An SML null reference is an explicit declaration of intent by the document author that the reference itself does not exist, and a processing directive (not a hint) to processors not to attempt to recognize any reference schemes in it. If a reference element is recognized as null, then processors MUST NOT attempt to resolve it. The question of whether a null reference is resolved or not is undefined; it is an ill-formed question.

(6a)
from: exist, and a processing directive (not a hint) to processors not 
      to attempt to recognize
to  : exist, and                                        processors MUST NOT
      to attempt to recognize
Note to editors: depending upon the order in which bugs are committed, 6a might need to be re-worded from this imperative style to a declarative one per 5406.

(6b)
from: then processors MUST NOT attempt to resolve it.
to  : then processors MUST NOT attempt to resolve it and MUST NOT attempt to 
      recognize any SML reference schemes within it.

(7) 4.2.6 deref() XPath Extension Function, item 2e, re-word
from: If none of the above is true (that is, all attempted schemes resolve to the same one and only one target element, call it T), then one target is returned (namely, T).
to:   If none of the above is true, then one target is returned.
      Note (non-normative): This occurs when all attempted SML reference 
      schemes resolve to one and only one target element, and this target 
      element is the same for all attempted SML reference schemes.
Comment 1 Valentina Popescu 2008-01-31 20:47:52 UTC
reviewed in 01/31 meeting; resolution to mark editorial 

requires needsReview on completion
Comment 2 Kumar Pandit 2008-02-02 03:29:15 UTC
(1)
4.1.1 SML Reference
An element information item in an SML model instance document MUST be treated as an SML reference if and only if it has an attribute information item for which all of the following is true: 
1.	Its [local name] is ref 
2.	Its [namespace name] is http://www.w3.org/@@@@/@@/sml 
3.	Its [normalized value], after whitespace normalization using collapse following schema rules, is either "true" or "1".
...
4.1.2 Null SML Reference
An element information item in an SML model instance document is a null SML reference if and only if all of the following is true: 
1.	It is an SML reference.
2.	It has an attribute information item for which all of the following is true
a.	Its [local name] is nilref 
b.	Its [namespace name] is http://www.w3.org/@@@@/@@/sml 
c.	Its [normalized value] after whitespace normalization using collapse following schema rules, is either "true" or "1".
(2), (3)
Done

(4)
Not done.

An earlier discussion with Sandy indicated that he prefers a ref to be recognized as an instance of a scheme. The new suggested wording does not capture that idea. I am neutral to the current and the new wording.

(5)
Done.

(6a)/(6b)
Note done.

The suggested text for 6a is wrong. The intent behind the desired change is unclear to me. It will help if the final desired text is suggested in full.

(7)
Not done.

The suggested text tries to define something using negation. It would be better to define what we want (and not what we dont want).

Proposed text: 
If all attempted reference schemes resolve to the same one and only one target element, call it T, then one target element (namely, T) is added to O, if it does not already exist in O.

Note that the proposed text includes additional text due to another bug fix (5400).
Comment 3 John Arwe 2008-02-14 01:57:54 UTC
1-5 ok

6a: the intent is to change it from text that "strongly suggests" what we want to happen to RFC2119-compliant text that (to me) has the same meaning just more clearly stated in a way a reader is less likely to miss.  What alternate interpretation leads you to declare the new text "wrong"?  Maybe I'm missing some way of mis-reading what I intend...that is why we review it, so no harm no foul.

6b: this simply intended to combine two sequential if-then sentences that share a common antecedent (if condition).

6a/6b: current editor's copy has this first paragraph in 4.2.5
An null SML reference is an explicit declaration of intent by the document author that the SML reference itself does not exist, and a processing directive (not a hint) to processors not to attempt to recognize any reference schemes in it. If an SML reference is recognized as null, then processors MUST NOT attempt to resolve it.

6a/6b: replacement text, incorporating both changes above
An null SML reference is an explicit declaration of intent by the document author that the SML reference itself does not exist.  If an SML reference is recognized as null, processors MUST NOT attempt to recognize any reference schemes in it and MUST NOT attempt to resolve it.

(note: the first sentence is the subject of another in-flight bug, I restricted my changes to those described in this bug only) ... hope that helps

7: +1 for proposal in comment #2.  MUCH cleaner/clearer than my incremental chg.
Comment 4 Virginia Smith 2008-02-14 20:07:38 UTC
Fix per comment #3.
Comment 5 Kumar Pandit 2008-02-16 09:18:54 UTC
Fixed per comment #3.
Comment 6 John Arwe 2008-02-20 15:17:27 UTC
(In reply to comment #4)
> Fix per comment #3.

To be clear, this was a decision made on the 2/14 telecon.