- From: David Orchard via cvs-syncmail <cvsmail@w3.org>
- Date: Fri, 15 Jun 2007 21:32:34 +0000
- To: public-ws-policy-eds@w3.org
Update of /sources/public/2006/ws/policy
In directory hutz:/tmp/cvs-serv32688
Modified Files:
ws-policy-framework.html ws-policy-framework.xml
Log Message:
Bug 4598 res
Index: ws-policy-framework.xml
===================================================================
RCS file: /sources/public/2006/ws/policy/ws-policy-framework.xml,v
retrieving revision 1.149
retrieving revision 1.150
diff -u -d -r1.149 -r1.150
--- ws-policy-framework.xml 14 Jun 2007 20:16:56 -0000 1.149
+++ ws-policy-framework.xml 15 Jun 2007 21:32:31 -0000 1.150
@@ -1355,7 +1355,7 @@
<gitem>
<label>Distributive</label>
<def>
- <p><el>wsp:All</el> distributes over <el>wsp:ExactlyOne</el>. For
+ <p><el>wsp:All</el> is distributive over <el>wsp:ExactlyOne</el>. That is, a <el>wsp:All</el> element containing only <el>wsp:ExactlyOne</el> child elements is equivalent to a <el>wsp:ExactlyOne</el> element containing, for each possible combination of one child element from each of the <el>wsp:ExactlyOne</el> element over which being distributed, a <el>wsp:All</el> element containing that combination. For
example,</p>
<eg xml:space="preserve" role="needs-numbering"><wsp:All>
<wsp:ExactlyOne>
@@ -1408,6 +1408,9 @@
</wsp:All></eg>
<p>is equivalent to:</p>
<eg xml:space="preserve" role="needs-numbering"><wsp:ExactlyOne /></eg>
+ </def>
+ </gitem>
+ </glist>
<p>For example, given the following compact policy expression:</p>
<eg xml:space="preserve">(01) <wsp:Policy
xmlns:sp="http://docs.oasis-open.org/ws-sx/ws-securitypolicy/200702"
@@ -1418,9 +1421,7 @@
(05) <sp:WssUsernameToken11 />
(06) </wsp:ExactlyOne>
(07) </wsp:Policy></eg>
- </def>
- </gitem>
- </glist>
+
<p>Applying Section <specref ref="Optional_Policy_Assertions"/> to
<att>@wsp:Optional</att> in Line (02), and distributing <el>wsp:All</el>
@@ -1474,6 +1475,58 @@
are combined with the two alternatives listed in Lines (09-14) in the second
listing to create four alternatives in the normalized policy, Lines (03-06),
(07-10), (11-13), and (14-16).</p>
+
+ <p> Consider another example, given the following compact policy expression:</p>
+
+ <eg xml:space="preserve">(01) <wsp:Policy
+ xmlns:sp="http://docs.oasis-open.org/ws-sx/ws-securitypolicy/200702"
+ xmlns:wsp="http://www.w3.org/ns/ws-policy" >
+(02) <sp:RequireDerivedKeys />
+(03) <wsp:ExactlyOne>
+(04) <sp:WssUsernameToken10 />
+(05) <sp:WssUsernameToken11 />
+(06) </wsp:ExactlyOne>
+(07) </wsp:Policy></eg>
+<p>Applying Section <specref ref="Optional_Policy_Assertions"/> to <att>@wsp:Optional="false"</att> in Line (02), and distributing wsp:All over wsp:ExactlyOne per Section <specref ref="Policy_Operators"/> for the assertions in Lines (04-05) yields:</p>
+
+ <eg xml:space="preserve">(01) <wsp:Policy
+ xmlns:sp="http://docs.oasis-open.org/ws-sx/ws-securitypolicy/200702"
+ xmlns:wsp="http://www.w3.org/ns/ws-policy" >
+(02) <wsp:ExactlyOne>
+(03) <wsp:All>
+(04) <sp:RequireDerivedKeys />
+(05) </wsp:All>
+(06) </wsp:ExactlyOne>
+(07) <wsp:ExactlyOne>
+(08) <wsp:All>
+(09) <sp:WssUsernameToken10 />
+(10) </wsp:All>
+(11) <wsp:All>
+(12) <sp:WssUsernameToken11 />
+(13) </wsp:All>
+(14) </wsp:ExactlyOne>
+(15) </wsp:Policy></eg>
+
+<p>Note that the assertion listed in Line (02) in the first listing expands into an alternative in Lines (03-05) in the second listing.</p>
+
+<p>Finally, noting that <el>wsp:Policy</el> is equivalent to <el>wsp:All</el>, and distributing <el>wsp:All</el> over <el>wsp:ExactlyOne</el> yields the following normal form policy expression:</p>
+ <eg xml:space="preserve">(01) <wsp:Policy
+ xmlns:sp="http://docs.oasis-open.org/ws-sx/ws-securitypolicy/200702"
+ xmlns:wsp="http://www.w3.org/ns/ws-policy" >
+(02) <wsp:ExactlyOne>
+(03) <wsp:All>
+(04) <sp:RequireDerivedKeys />
+(05) <sp:WssUsernameToken10 />
+(06) </wsp:All>
+(07) <wsp:All>
+(08) <sp:RequireDerivedKeys />
+(09) <sp:WssUsernameToken11 />
+(10) </wsp:All>
+(11) </wsp:ExactlyOne>
+(12) </wsp:Policy></eg>
+
+<p>Note that the first alternative listed in Lines (03-05) in the second listing is combined with the two alternatives listed in Lines (08-13) in the second listing to create two alternatives in the normalized policy, Lines (03-06) and (07-10).</p>
+
</div3>
<div3 id="Policy_References">
<head>Policy References</head>
@@ -3468,6 +3521,15 @@
<td>Reset Section <specref ref="change-description"/>.
</td>
</tr>
+ <tr>
+ <td>20070615</td>
+ <td>DBO</td>
+ <td>Implemented the resolution
+ for issue <loc href="http://www.w3.org/Bugs/Public/show_bug.cgi?id=4598">4598</loc>.
+ Editors' action
+ <loc href="http://www.w3.org/2005/06/tracker/wspolicyeds/actions/310">310</loc>.
+ </td>
+ </tr>
</tbody>
</table>
</inform-div1>
Index: ws-policy-framework.html
===================================================================
RCS file: /sources/public/2006/ws/policy/ws-policy-framework.html,v
retrieving revision 1.123
retrieving revision 1.124
diff -u -d -r1.123 -r1.124
--- ws-policy-framework.html 14 Jun 2007 20:16:56 -0000 1.123
+++ ws-policy-framework.html 15 Jun 2007 21:32:31 -0000 1.124
@@ -881,7 +881,7 @@
(04) <b> </b></wsp:ExactlyOne>
(05) </wsp:ExactlyOne></pre></div><p>is equivalent to:</p><div class="exampleInner"><pre>(01) <wsp:ExactlyOne>
(02) <b><!-- assertion 1 --> <!-- assertion 2 --></b>
-(03) </wsp:ExactlyOne></pre></div></dd><dt class="label">Distributive</dt><dd><p><code>wsp:All</code> distributes over <code>wsp:ExactlyOne</code>. For
+(03) </wsp:ExactlyOne></pre></div></dd><dt class="label">Distributive</dt><dd><p><code>wsp:All</code> is distributive over <code>wsp:ExactlyOne</code>. That is, a <code>wsp:All</code> element containing only <code>wsp:ExactlyOne</code> child elements is equivalent to a <code>wsp:ExactlyOne</code> element containing, for each possible combination of one child element from each of the <code>wsp:ExactlyOne</code> element over which being distributed, a <code>wsp:All</code> element containing that combination. For
example,</p><div class="exampleInner"><pre>(01) <wsp:All>
(02) <wsp:ExactlyOne>
(03) <b> <!-- assertion 1 --></b>
@@ -918,7 +918,7 @@
(04) <b> <!-- assertion 2 --></b>
(05) </wsp:ExactlyOne>
(06) <wsp:ExactlyOne />
-(07) </wsp:All></pre></div><p>is equivalent to:</p><div class="exampleInner"><pre>(01) <wsp:ExactlyOne /></pre></div><p>For example, given the following compact policy expression:</p><div class="exampleInner"><pre>(01) <wsp:Policy
+(07) </wsp:All></pre></div><p>is equivalent to:</p><div class="exampleInner"><pre>(01) <wsp:ExactlyOne /></pre></div></dd></dl><p>For example, given the following compact policy expression:</p><div class="exampleInner"><pre>(01) <wsp:Policy
xmlns:sp="http://docs.oasis-open.org/ws-sx/ws-securitypolicy/200702"
xmlns:wsp="http://www.w3.org/ns/ws-policy" >
(02) <sp:RequireDerivedKeys wsp:Optional="true" />
@@ -926,7 +926,7 @@
(04) <sp:WssUsernameToken10 />
(05) <sp:WssUsernameToken11 />
(06) </wsp:ExactlyOne>
-(07) </wsp:Policy></pre></div></dd></dl><p>Applying Section <a href="#Optional_Policy_Assertions"><b>4.3.1 Optional Policy Assertions</b></a> to
+(07) </wsp:Policy></pre></div><p>Applying Section <a href="#Optional_Policy_Assertions"><b>4.3.1 Optional Policy Assertions</b></a> to
<code>@wsp:Optional</code> in Line (02), and distributing <code>wsp:All</code>
over <code>wsp:ExactlyOne</code> per Section <a href="#Policy_Operators"><b>4.3.3 Policy Operators</b></a>
for the assertions in Lines (04-05) yields:</p><div class="exampleInner"><pre>(01) <wsp:Policy
@@ -971,7 +971,44 @@
(18) </wsp:Policy></pre></div><p>Note that the two alternatives listed in Lines (03-06) in the second listing
are combined with the two alternatives listed in Lines (09-14) in the second
listing to create four alternatives in the normalized policy, Lines (03-06),
- (07-10), (11-13), and (14-16).</p></div><div class="div3">
+ (07-10), (11-13), and (14-16).</p><p> Consider another example, given the following compact policy expression:</p><div class="exampleInner"><pre>(01) <wsp:Policy
+ xmlns:sp="http://docs.oasis-open.org/ws-sx/ws-securitypolicy/200702"
+ xmlns:wsp="http://www.w3.org/ns/ws-policy" >
+(02) <sp:RequireDerivedKeys />
+(03) <wsp:ExactlyOne>
+(04) <sp:WssUsernameToken10 />
+(05) <sp:WssUsernameToken11 />
+(06) </wsp:ExactlyOne>
+(07) </wsp:Policy></pre></div><p>Applying Section <a href="#Optional_Policy_Assertions"><b>4.3.1 Optional Policy Assertions</b></a> to <code>@wsp:Optional="false"</code> in Line (02), and distributing wsp:All over wsp:ExactlyOne per Section <a href="#Policy_Operators"><b>4.3.3 Policy Operators</b></a> for the assertions in Lines (04-05) yields:</p><div class="exampleInner"><pre>(01) <wsp:Policy
+ xmlns:sp="http://docs.oasis-open.org/ws-sx/ws-securitypolicy/200702"
+ xmlns:wsp="http://www.w3.org/ns/ws-policy" >
+(02) <wsp:ExactlyOne>
+(03) <wsp:All>
+(04) <sp:RequireDerivedKeys />
+(05) </wsp:All>
+(06) </wsp:ExactlyOne>
+(07) <wsp:ExactlyOne>
+(08) <wsp:All>
+(09) <sp:WssUsernameToken10 />
+(10) </wsp:All>
+(11) <wsp:All>
+(12) <sp:WssUsernameToken11 />
+(13) </wsp:All>
+(14) </wsp:ExactlyOne>
+(15) </wsp:Policy></pre></div><p>Note that the assertion listed in Line (02) in the first listing expands into an alternative in Lines (03-05) in the second listing.</p><p>Finally, noting that <code>wsp:Policy</code> is equivalent to <code>wsp:All</code>, and distributing <code>wsp:All</code> over <code>wsp:ExactlyOne</code> yields the following normal form policy expression:</p><div class="exampleInner"><pre>(01) <wsp:Policy
+ xmlns:sp="http://docs.oasis-open.org/ws-sx/ws-securitypolicy/200702"
+ xmlns:wsp="http://www.w3.org/ns/ws-policy" >
+(02) <wsp:ExactlyOne>
+(03) <wsp:All>
+(04) <sp:RequireDerivedKeys />
+(05) <sp:WssUsernameToken10 />
+(06) </wsp:All>
+(07) <wsp:All>
+(08) <sp:RequireDerivedKeys />
+(09) <sp:WssUsernameToken11 />
+(10) </wsp:All>
+(11) </wsp:ExactlyOne>
+(12) </wsp:Policy></pre></div><p>Note that the first alternative listed in Lines (03-05) in the second listing is combined with the two alternatives listed in Lines (08-13) in the second listing to create two alternatives in the normalized policy, Lines (03-06) and (07-10).</p></div><div class="div3">
<h4><a name="Policy_References" id="Policy_References"></a>4.3.4 Policy References</h4><p>The <code>wsp:PolicyReference</code> element is used to reference <a title="policy expression" href="#policy_expression">policy expressions</a>. The semantics of
the <code>wsp:PolicyReference</code> element are determined by the context in
which it is used (for an example, see <a href="#Policy_Inclusion"><b>4.3.5 Policy Inclusion</b></a>).</p><p>The schema outline for the <code>wsp:PolicyReference</code> element is as
@@ -1700,4 +1737,8 @@
Editors' action
<a href="http://www.w3.org/2005/06/tracker/wspolicyeds/actions/318">318</a>.
</td></tr><tr><td rowspan="1" colspan="1">20070614</td><td rowspan="1" colspan="1">ASV</td><td rowspan="1" colspan="1">Reset Section <a href="#change-description"><b>D. Changes in this Version of the Document</b></a>.
+ </td></tr><tr><td rowspan="1" colspan="1">20070615</td><td rowspan="1" colspan="1">DBO</td><td rowspan="1" colspan="1">Implemented the resolution
+ for issue <a href="http://www.w3.org/Bugs/Public/show_bug.cgi?id=4598">4598</a>.
+ Editors' action
+ <a href="http://www.w3.org/2005/06/tracker/wspolicyeds/actions/310">310</a>.
</td></tr></tbody></table><br></div></div></body></html>
\ No newline at end of file
Received on Friday, 15 June 2007 21:32:41 UTC