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:"


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
>
>