W3C home > Mailing lists > Public > public-ws-policy@w3.org > September 2006

RE: Issue 3711 added - add cross-product description to 4.3.3 in Framework

From: Asir Vedamuthu <asirveda@microsoft.com>
Date: Thu, 14 Sep 2006 06:33:38 -0700
Message-ID: <4DF3D07B9910264B9470DA1F811D1A950B8FBAF5@RED-MSG-43.redmond.corp.microsoft.com>
To: Frederick Hirsch <frederick.hirsch@nokia.com>
CC: <public-ws-policy@w3.org>

> "Similarly, repeated distribution

I'd like to suggest minor changes to make this proposal to be consistent
with the text (and flow) in section 4.3.3: "Similarly, by repeatedly
distributing wsp:All over wsp:ExactlyOne,"

Asir S Vedamuthu
Microsoft Corporation

-----Original Message-----
From: public-ws-policy-request@w3.org
[mailto:public-ws-policy-request@w3.org] On Behalf Of Frederick Hirsch
Sent: Wednesday, September 13, 2006 11:08 AM
To: Frederick Hirsch
Cc: public-ws-policy@w3.org
Subject: Re: Issue 3711 added - add cross-product description to 4.3.3
in Framework 

Revision of proposal:

Revised Proposal

Change "Similarly" in Distributive item to following

"Similarly, repeated distribution operations may be applied according  
to boolean logic, yielding:"

can be represented as
(A or B) and (C or D)

if we use X to represent (A or B)
then this can also be represented X and (C or D)

Distribution of X (i.e. distributing ExactlyOne) yields
(X and C) or (X and D)

replacing X
((A or B) and C) or ((A or B) and D)

Distribute again (Distributing All):
((A and C) or (B and C)) or ((A and D) or (B and D))

and associativity yields result given example.

regards, Frederick

Frederick Hirsch

On Sep 13, 2006, at 7:48 AM, Frederick Hirsch wrote:

> Issue 3711 - <http://www.w3.org/Bugs/Public/show_bug.cgi?id=3711>
> Description - Add Cross-Product description to 4.3.3 in Framework.
> Justification- add clarity and consistency to existing approach and  
> examples. Clarifies since distributive not this action.
> Target - WS-Policy Framework [1]
> Proposal:
> Change "Similarly" in Distributive item to  following new item  
> heading and
> text:
> Cross-Product
> wsp:ExactlyOne items may be combined using cross-product operation  
> (and
> incorporating distribution of wsp:All)
> Test: not needed.
> [1] http://dev.w3.org/cvsweb/~checkout~/2006/ws/policy/ws-policy- 
> framework.html?content-type=text/html;%20charset=utf-8
> regards, Frederick
> Frederick Hirsch
> Nokia
Received on Thursday, 14 September 2006 13:34:32 UTC

This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 19:33:15 UTC