Proposal for AI 246

Proposal for action 246   related to bug ...4040 (although the AI says 
4213)


Target: Guidelines
Description: Add example of Ignorable to guidelines following the existing 
pattern of designating optional behaviors

Proposal:

Following pattern in Section 4.5 guidelines doc- Designating Optional 
Behaviors:

Create Section 4.x – Designating  ignorable assertions
Section 4.x.y  Ignorable behavior in compact authoring
Ignorable behaviors represent behaviors which a consumer may ignore during 
the intersection task.  When using the compact authoring form for 
assertions,  behaviors are marked by using wsp:Igorable attribute that has 
a value, “true”. During the process of normalization, the ignorable 
behavior is indicted by the assertion attribute. 
Section 4.x.y Ignorable behavior at runtime
In a consumer/provider scenario, the choice of selecting the runtime 
behavior is upon the consumer which can follow either the “strict” mode or 
“lax” mode in evaluating policy compatibility.
In “strict” mode, a consumer would perform intersection as if the 
attribute did not exist. Strict mode is intended to allow consumers to 
match all assertions in a providers alternative in order to interoperate.
In “lax” mode, a consumer would not reject a policy alternative IF that 
policy alternative contained only assertions that matched with the


<wsp:Policy id=ConsumerPolicy>
     <wsp:ExactlyOne>
         <wsp:All>
        <mtom:OptimizedMimeSerialization>
         </wsp:All>
     </wsp:ExactlyOne>
</wsp:Policy>


<wsp:Policy id=ProviderPolicy>
     <wsp:ExactlyOne>
         <wsp:All>
        <mtom:OptimizedMimeSerialization>
        <sp:TransportBinding>…..
        </sp:TransportBinding>
         </wsp:All>
         <wsp:All>
        <log:Logging wsp:Ignorable=“true”>
        <mtom:OptimizedMimeSerialization>
         </wsp:All>
     </wsp:ExactlyOne>
</wsp:Policy>

In a “lax” intersection mode between ConsumerPolicy and ProviderPolicy, 
the resulting compatible policy alternative would be
<wsp:All>
   <mtom:OptimizedMimeSerialization>
 </wsp:All>