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

issue 3613 proposed resolution

From: Frederick Hirsch <frederick.hirsch@nokia.com>
Date: Thu, 7 Sep 2006 16:40:33 -0400
Message-Id: <76AC27BC-F0E1-4E78-A46A-F1D032BF9CE3@nokia.com>
Cc: Hirsch Frederick <frederick.hirsch@nokia.com>
To: public-ws-policy@w3.org

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 Thursday, 7 September 2006 20:41:18 GMT

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