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

• From: Asir Vedamuthu <asirveda@microsoft.com>
• Date: Wed, 17 Jan 2007 11:12:53 -0800
• To: <public-ws-policy@w3.org>
• Message-ID: <1E0F0378382054439F14D5450650478F0C08540C@RED-MSG-42.redmond.corp.microsoft.com>

[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
https://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