This text file contains sample code fragments from:
Section 17.3 - Runtime Policy Representation
Chapter 17 - Advanced WS-Policy Part II: Custom Policy Assertion Design, Runtime Representation, and Compatibility
Book - Web Service Contract Design & Versioning for SOA
Series - The Prentice Hall Service Technology Series from Thomas Erl
Site - www.servicetechbooks.com


<wsp:Policy ...>
  <wsp:ExactlyOne>
    <wsp:All>
      <Assertion>
        ...
      </Assertion>
    </wsp:All>
  </wsp:ExactlyOne>
</wsp:Policy>

Example 17.13 - The standard structure of a wsp:Policy construct when presented in normal form. (Note that the wsp:Exactly One construct can contain multiple wsp:All child elements, as originally explained in Chapter 10.)


<wsp:Policy ...>
  <wsam:Addressing wsp:Optional="true"/>
  <custom:Available24by7>
    <wsp:Policy>
      <wsp:ExaclyOne>
        <custom:ResponseGuarantee>
          6
        </custom:ResponseGuarantee>
        <custom:ResponseGuarantee>
          24
        </custom:ResponseGuarantee>
      </wsp:ExactlyOne>
    </wsp:Policy>
  </custom:Available24by7>
  <custom:Logging wsp:Ignorable="true"/>
</wsp:Policy>

Example 17.14 - A policy expression in compact form.


<wsp:Policy ...>
  <wsp:ExactlyOne>
    <wsp:All>
      <wsam:Addressing><wsp:Policy/></wsam:Addressing>
        <custom:Available24x7>
          <wsp:Policy>
            <wsp:ExactlyOne>
              <wsp:All>
                <custom:ResponseGuarantee>
                  6
                </custom:ResponseGuarantee/>
              </wsp:All>
            </wsp:ExactlyOne>
          </wsp:Policy>
        </custom:Available24x7>
        <custom:Logging wsp:Ignorable="true"/>
      </wsp:All>
      <wsp:All>
        <wsam:Addressing><wsp:Policy/></wsam:Addressing>
        <custom:Available24x7>
          <wsp:Policy>
            <wsp:ExactlyOne>
              <wsp:All>
                <custom:ResponseGuarantee>
                  12
                </custom:ResponseGuarantee>
              </wsp:All>
            </wsp:ExactlyOne>
          </wsp:Policy>
        </custom:Available24x7>
        <custom:Logging wsp:Ignorable="true"/>
      </wsp:All>
      <wsp:All>
        <custom:Available24x7>
          <wsp:Policy>
            <wsp:ExactlyOne>
              <wsp:All>
                <custom:ResponseGuarantee>
                  6
                </custom:ResponseGuarantee>
              </wsp:All>
            </wsp:ExactlyOne>
          </wsp:Policy>
        </custom:Available24x7>
        <custom:LogMessge wsp:Ignorable="true"/>
      </wsp:All>
      <wsp:All>
        <custom:Available24x7>
          <wsp:Policy>
            <wsp:ExactlyOne>
              <wsp:All>
                <custom:ResponseGuarantee>
                  12
                </custom:ResponseGuarantee>
              </wsp:All>
            </wsp:ExactlyOne>
          </wsp:Policy>
        </custom:Available24x7>
        <custom:Logging wsp:Ignorable="true"/>
    </wsp:All>
  </wsp:ExactlyOne>
</wsp:Policy>

Example 17.15 - The previous policy expression now in normal form.


<definitions ...>
  ...
  <service ...>
    <port ...>
      <wsp:Policy>
        <wsp:ExactlyOne>
          <ex:Assertion1/>
          <ex:Assertion2/>
        </wsp:ExactlyOne>
      </wsp:Policy>
    </port>
  </service>
</definitions>

Example 17.16 - A policy assertion alternative attached to a port element, providing a choice between ex:Assertion1 and ex:Assertion2.


<definitions ...>
  ...
  <binding ...>
    <wsp:Policy>
      <wsp:ExactlyOne>
        <ex:Assertion3/>
      </wsp:ExactlyOne>
    </wsp:Policy>
  </binding>
</definitions>

Example 17.17 - The ex:Assertion3 policy assertion attached to the binding element.


<definitions ...>
  ...
  <portType ...>
    <wsp:Policy>
      <wsp:ExactlyOne>
        <ex:Assertion4/>
          </wsp:ExactlyOne>
    </wsp:Policy>
  </portType>
</definitions>

Example 17.18 - The ex:Assertion4 policy assertion attached to the portType element.


<wsp:Policy>
  <wsp:All>
    <wsp:ExactlyOne>
      <ex:Assertion1/>
      <ex:Assertion2/>
    </wsp:ExactlyOne>
  </wsp:All>
  <wsp:All>
    <ex:Assertion3/>
  </wsp:All>
  <wsp:All>
    <ex:Assertion4/>
  </wsp:All>
</wsp:Policy>

Example 17.19 - The effective policy is comprised of three required assertions, one of which is part of a policy alternative.


<wsp:Policy>
  <wsp:ExactlyOne>
    <wsp:All>
      <ex:Assertion1/>
      <ex:Assertion3/>
      <ex:Assertion4/>
    <wsp:All/>
    <wsp:All>
      <ex:Assertion2/>
      <ex:Assertion3/>
      <ex:Assertion4/>
    </wsp:All>
  </wsp:ExactlyOne>
</wsp:Policy>

Example 17.20 - Example 17.19 restructured into normal form.