- From: Asir Vedamuthu via cvs-syncmail <cvsmail@w3.org>
- Date: Mon, 22 Jan 2007 22:26:15 +0000
- To: public-ws-policy-eds@w3.org
Update of /sources/public/2006/ws/policy
In directory hutz:/tmp/cvs-serv6405
Modified Files:
ws-policy-framework.xml ws-policy-framework.html
Log Message:
Implemented the resolution for issue 4138. Editors' action 140.
Index: ws-policy-framework.xml
===================================================================
RCS file: /sources/public/2006/ws/policy/ws-policy-framework.xml,v
retrieving revision 1.107
retrieving revision 1.108
diff -u -d -r1.107 -r1.108
--- ws-policy-framework.xml 22 Jan 2007 21:58:48 -0000 1.107
+++ ws-policy-framework.xml 22 Jan 2007 22:26:13 -0000 1.108
@@ -730,7 +730,7 @@
<item><p>Apply the policy operator indicated by D to the normalized
Element Information Items in its <emph
role="infoset-property">children</emph> property and construct a
-normal form per Section <specref ref='Policy_Operators'/>.</p></item>
+normal form per Section <specref ref='Policy_Operators'/> and <specref ref="Normal_Form_Policy_Expression" />.</p></item>
</olist>
<p>Note that an implementation may use a more efficient procedure and
is not required to explicitly convert a compact expression into the
@@ -954,6 +954,22 @@
<def><p>Use of <el>wsp:Policy</el> as an operator within a policy expression is
equivalent to <el>wsp:All</el>.</p>
</def>
+ <def><p>
+ A collection of assertions in an <el>wsp:All</el> operator is equivalent
+ to a <termref def='policy_alternative'>policy alternative</termref>. For instance,
+ </p>
+<eg xml:space="preserve" role="needs-numbering"><wsp:All>
+ <!-- assertion 1 -->
+ <!-- assertion 2 -->
+</wsp:All></eg>
+ <p>is equivalent to:</p>
+<eg xml:space="preserve" role="needs-numbering"><wsp:ExactlyOne>
+ <wsp:All>
+ <!-- assertion 1 -->
+ <!-- assertion 2 -->
+ </wsp:All>
+</wsp:ExactlyOne></eg>
+ </def>
</gitem>
<gitem>
<label>Empty</label>
@@ -2444,6 +2460,15 @@
<td>Implemented the resolution for issue <loc href="http://www.w3.org/Bugs/Public/show_bug.cgi?id=4206">4206</loc>.
Editors' action <loc href="http://www.w3.org/2005/06/tracker/wspolicyeds/actions/136">136</loc>.
</td>
+ </tr>
+ <tr>
+ <td>20070122</td>
+ <td>ASV</td>
+ <td>Implemented the
+ <loc href="http://lists.w3.org/Archives/Public/public-ws-policy/2007Jan/0166.html">resolution</loc>
+ for issue <loc href="http://www.w3.org/Bugs/Public/show_bug.cgi?id=4138">4138</loc>.
+ Editors' action <loc href="http://www.w3.org/2005/06/tracker/wspolicyeds/actions/140">140</loc>.
+ </td>
</tr>
</tbody>
</table>
Index: ws-policy-framework.html
===================================================================
RCS file: /sources/public/2006/ws/policy/ws-policy-framework.html,v
retrieving revision 1.87
retrieving revision 1.88
diff -u -d -r1.87 -r1.88
--- ws-policy-framework.html 22 Jan 2007 21:58:48 -0000 1.87
+++ ws-policy-framework.html 22 Jan 2007 22:26:13 -0000 1.88
@@ -464,7 +464,7 @@
normalize C per Sections <a href="#Optional_Policy_Assertions"><b>4.3.1 Optional Policy Assertions</b></a>
and <a href="#Policy_Assertion_Nesting"><b>4.3.2 Policy Assertion Nesting</b></a>.</p></li></ol></li><li><p>Apply the policy operator indicated by D to the normalized
Element Information Items in its <strong>[children]</strong> property and construct a
-normal form per Section <a href="#Policy_Operators"><b>4.3.3 Policy Operators</b></a>.</p></li></ol><p>Note that an implementation may use a more efficient procedure and
+normal form per Section <a href="#Policy_Operators"><b>4.3.3 Policy Operators</b></a> and <a href="#Normal_Form_Policy_Expression"><b>4.1 Normal Form Policy Expression</b></a>.</p></li></ol><p>Note that an implementation may use a more efficient procedure and
is not required to explicitly convert a compact expression into the
normal form as long as the processing results are indistinguishable
from doing so.</p><div class="div3">
@@ -628,7 +628,18 @@
<code class="elt">wsp:ExactlyOne</code> <span class="rfc2119">MAY</span> be nested within
<code class="elt">wsp:Policy</code> , <code class="elt">wsp:All</code> , and/or
<code class="elt">wsp:ExactlyOne</code> .</p><p>The following rules are used to transform a compact policy expression into a normal form policy expression:</p><dl><dt class="label">Equivalence</dt><dd><p>Use of <code class="elt">wsp:Policy</code> as an operator within a policy expression is
- equivalent to <code class="elt">wsp:All</code> .</p></dd><dt class="label">Empty</dt><dd><ul><li><p><code><wsp:All /></code> expresses a policy with zero policy assertions. Note that since <code class="elt">wsp:Policy</code> is equivalent to <code class="elt">wsp:All</code> , <code><wsp:Policy /></code> is therefore equivalent to <code><wsp:All /></code>, i.e., a policy alternative with zero assertions.</p></li><li><p><code><wsp:ExactlyOne /></code> expresses a policy with zero policy alternatives.</p></li></ul></dd><dt class="label">Commutative</dt><dd><p>In line with the previous statements that policy assertions within
+ equivalent to <code class="elt">wsp:All</code> .</p></dd><dd><p>
+ A collection of assertions in an <code class="elt">wsp:All</code> operator is equivalent
+ to a <a title="policy alternative" href="#policy_alternative">policy alternative</a>. For instance,
+ </p><div class="exampleInner"><pre>(01) <wsp:All>
+(02) <!-- assertion 1 -->
+(03) <!-- assertion 2 -->
+(04) </wsp:All></pre></div><p>is equivalent to:</p><div class="exampleInner"><pre>(01) <wsp:ExactlyOne>
+(02) <wsp:All>
+(03) <!-- assertion 1 -->
+(04) <!-- assertion 2 -->
+(05) </wsp:All>
+(06) </wsp:ExactlyOne></pre></div></dd><dt class="label">Empty</dt><dd><ul><li><p><code><wsp:All /></code> expresses a policy with zero policy assertions. Note that since <code class="elt">wsp:Policy</code> is equivalent to <code class="elt">wsp:All</code> , <code><wsp:Policy /></code> is therefore equivalent to <code><wsp:All /></code>, i.e., a policy alternative with zero assertions.</p></li><li><p><code><wsp:ExactlyOne /></code> expresses a policy with zero policy alternatives.</p></li></ul></dd><dt class="label">Commutative</dt><dd><p>In line with the previous statements that policy assertions within
a policy alternative and policy alternatives within a policy are not
ordered (see <a href="#rPolicy_Alternative"><b>3.2 Policy Alternative</b></a> and <a href="#rPolicy"><b>3.3 Policy</b></a>, respectively), <code class="elt">wsp:All</code> and
<code class="elt">wsp:ExactlyOne</code> are commutative. For example,</p><div class="exampleInner"><pre>(01) <wsp:All> <emph><!-- assertion 1 --> <!-- assertion 2 --> </emph></wsp:All></pre></div><p>is equivalent to:</p><div class="exampleInner"><pre>(01) <wsp:All> <emph><!-- assertion 2 --> <!-- assertion 1 --> </emph></wsp:All></pre></div><p>and:</p><div class="exampleInner"><pre>(01) <wsp:ExactlyOne>
@@ -1396,4 +1407,8 @@
<a href="http://www.w3.org/2005/06/tracker/wspolicyeds/actions/127">127</a>
Resolution for issue <a href="http://www.w3.org/Bugs/Public/show_bug.cgi?id=4197">4197</a></td></tr><tr><td rowspan="1" colspan="1">20070122</td><td rowspan="1" colspan="1">ASV</td><td rowspan="1" colspan="1">Implemented the resolution for issue <a href="http://www.w3.org/Bugs/Public/show_bug.cgi?id=4206">4206</a>.
Editors' action <a href="http://www.w3.org/2005/06/tracker/wspolicyeds/actions/136">136</a>.
+ </td></tr><tr><td rowspan="1" colspan="1">20070122</td><td rowspan="1" colspan="1">ASV</td><td rowspan="1" colspan="1">Implemented the
+ <a href="http://lists.w3.org/Archives/Public/public-ws-policy/2007Jan/0166.html">resolution</a>
+ for issue <a href="http://www.w3.org/Bugs/Public/show_bug.cgi?id=4138">4138</a>.
+ Editors' action <a href="http://www.w3.org/2005/06/tracker/wspolicyeds/actions/140">140</a>.
</td></tr></tbody></table><br></div></div></body></html>
\ No newline at end of file
Received on Monday, 22 January 2007 22:26:21 UTC