Re: issue 3613 proposed resolution

I have had some further discussions off-line and think we can close  
3613 with no action.

The Framework is pretty clear that order of assertions in a policy  
alternative is not defined (3.2 3rd paragraph), and it is up to the  
implementation to determine comparison of policy alternatives. I  
don't think the added sentence I suggested would clarify much.

Regarding the distributive point, the second sentence of section  
4.3.3 says
"The following rules are used to transform a compact policy  
expression into a normal form policy expression:"

and the the first line under distributive says
"wsp:All distributes over wsp:ExactlyOne . "

So together this can be taken to mean that the normalization rule is  
to distribute wsp:All over wsp:ExactlyOne.

Perhaps this needs a point in the primer, but we can close the issue  
3613 against the Framework.

regards, Frederick

Frederick Hirsch
Nokia


On Sep 7, 2006, at 4:40 PM, Frederick Hirsch wrote:

> Proposed resolution for issue 3613, "Clarify conversion of compact  
> to normal form in Framework section 4.3"
>
> <http://www.w3.org/Bugs/Public/show_bug.cgi?id=3613>
>
> 1) As mentioned on the last call, the framework document takes a  
> declarative rather than procedural approach, consistent with other  
> W3C work. This makes sense, so I would withdraw the proposed  
> procedural resolution associated with the 3613 bugzilla entry.
>
> 2) However, the framework does not make explicit the result  
> required to produce a normal form in section 4.3.3, policy operators.
>
> I suggest the following changes:
>
> Commutative:
> add sentence "Order of policy assertions within a policy expression  
> is not defined by normal form, no normalization action is required,  
> so comparison must account for possible variation."
> immediately after heading.
>
> Distributive:
> add sentence "wsp:All should be distributed over wsp:ExactlyOne to  
> produce the normal form." before "For example"
>
> regards, Frederick
>
> Frederick Hirsch
> Nokia
>
>

Received on Friday, 8 September 2006 17:00:27 UTC