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

This is ok with me.

regards, Frederick

Frederick Hirsch
Nokia


On Sep 14, 2006, at 6:33 AM, ext Asir Vedamuthu wrote:

>> "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,"
>
> Regards,
>
> 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:"
>
>
> 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 Thursday, 14 September 2006 16:26:22 UTC