Suggested text to close Bug 3602

3.2 Policy Alternative
.
The vocabulary of a policy alternative is the set of all HYPERLINK "http://dev.w3.org/cvsweb/%7Echeckout%7E/2006/ws/policy/ws-policy-framework.html?content-type=text/html;%20charset=utf-8" \\l "policy_assertion_type" \\o "policy assertion type" policy assertion types within the alternative. [Definition: A policy vocabulary is the set of all HYPERLINK "http://dev.w3.org/cvsweb/%7Echeckout%7E/2006/ws/policy/ws-policy-framework.html?content-type=text/html;%20charset=utf-8" \\l "policy_assertion_type" \\o "policy assertion type" policy assertion types used in a policy.] An assertion whose type is part of the policy's vocabulary but is not included in an alternative is explicitly prohibited by the alternative.

<new text>
For example, if there is a policy with an assertion marked with "optional='true'" this puts the assertion in the vocabulary of the policy.  When this policy is normalized the assertion appears in one alternative and not in the other.  If the alternative that does not include the assertion is chosen then it is explicitly prohibited to apply the assertion as the assertion is part of the policy vocabulary.

Consider the following policy:

<wsp:Policy>
    <wsp:All>
        <am:assertion1 ./>
        <am:assertion2 optional='true'/> 
    </wsp:All>
</wsp:Policy>

This normalizes to:

ALTERNATIVE 1

<wsp:Policy>
    <wsp:All>
        <am:assertion1 ./>
        <am:assertion2  ./> 
    </wsp:All>
</wsp:Policy>

ALTERNATIVE 2

<wsp:Policy>
    <wsp:All>
        <am:assertion1 ./>
    </wsp:All>
</wsp:Policy>

If ALTERNATIVE 2 is selected then applying Assertion2 is explicitly prohibited.
</new text>


All the best, Ashok

Received on Thursday, 14 September 2006 00:19:49 UTC