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

[Responding to the right thread]

This is a joint proposal from Asir, Dan, Maryann and Umit to resolve
issue 4240.

Add another example to illustrate the simple zero case:

For example,

(01) <wsp:All>
(02)   <wsp:ExactlyOne />
(03) </wsp:All>

is equivalent to:

(01) <wsp:ExactlyOne />

Regards,
 
Asir S Vedamuthu
Microsoft Corporation



-----Original Message-----
From: public-ws-policy-qa-request@w3.org
[mailto:public-ws-policy-qa-request@w3.org] On Behalf Of
bugzilla@wiggum.w3.org
Sent: Tuesday, January 16, 2007 5:36 PM
To: public-ws-policy-qa@w3.org
Subject: [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 19:14:15 UTC