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: Frederick Hirsch <frederick.hirsch@nokia.com>
Date: Wed, 13 Sep 2006 11:07:33 -0700
Message-Id: <B4155AE1-D03E-42A3-AAF8-F8446C0B447B@nokia.com>
Cc: public-ws-policy@w3.org
To: Frederick Hirsch <frederick.hirsch@nokia.com>

Revision of proposal:

Revised Proposal

Change "Similarly" in Distributive item to following

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


Justification
<All><ExactlyOne><a/><b/></ExactlyOne><ExactlyOne><c/><d/></ 
ExactlyOne></All>
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
Nokia


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 Wednesday, 13 September 2006 18:07:59 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Tuesday, 8 January 2008 14:20:41 GMT