[Bug 4240] Title: The distribution example does not follow the axioms in Section 4.3.3

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

           Summary: Title: The distribution example does not follow the
                    axioms in Section 4.3.3
           Product: WS-Policy
           Version: LC
          Platform: PC
        OS/Version: Windows XP
            Status: NEW
          Severity: normal
          Priority: P2
         Component: Framework
        AssignedTo: fsasaki@w3.org
        ReportedBy: umit.yalcinalp@sap.com
         QAContact: public-ws-policy-qa@w3.org


Title: The distribution example does not follow the axioms in Section 4.3.3

Description: The following example exists in the specification in Section
4.3.3. However, the distribution rules do not indicate how you derive an empty
policy expression with <wsp:ExactlyOne/>. 

{

Distributing wsp:All over an empty wsp:ExactlyOne is equivalent to no
alternatives. For example,

(01) <wsp:All>
(02)   <wsp:ExactlyOne>
(03)     <!-- assertion 1 -->
(04)     <!-- assertion 2 -->
(05)   </wsp:ExactlyOne>
(06)   <wsp:ExactlyOne />
(07) </wsp:All>is equivalent to:

(01) <wsp:ExactlyOne />

}

The equivalence should be derivable by the rules listed in the specification. 

Justification: Confusing for the readers, the specification should be
consistent with its own definition. 

Proposal: 

Illustrate the steps for the derivation of this expression or remove the
example from the spec.

Received on Wednesday, 17 January 2007 01:36:28 UTC