Nick's example of WS-CDL exceptions with WSDL 1.1 & WSDL 2.0

Hi all,

Below is my example for demonstrating WS-CDL interactions throwing exceptions,
based on the current WS-CDL spec semantics.

The example was taken from section 2.5.2.3 of the latest WS-CDL WD.
I then wrote the WSDL 1.1 and 2.0 definitions associated with the WS-CDL script.



Regards,

--
Nick





---------------------------------------------------------------------
---------------------------------------------------------------------
WSDL 1.1:

<?xml version="1.0" encoding="utf-8" ?> 
<definitions
    xmlns="http://schemas.xmlsoap.org/wsdl/"
    targetNamespace="http://www.oracle.com/nick/intfsample"
    xmlns:tns=http://www.oracle.com/nick/intfsample"  >

    <types>
       <xsd:schema targetNamespace="...">
           <xsd:element name="InvalidRequest" type="xsd:string"/>
       </xsd:schema>
    </types>

    <message name="OutOfStockException" >
        <part name="faultDetail" element="tns:InvalidRequest" />
    </message>

    <portType ... >

        <operation name="withdraw" ...>
           <input name="inp"   message="..."/>
           <output name="outp" message="..."/>

           <fault name="flt"  message="tns:OutOfStockException"/>

        </operation>

    </portType >

    ...

</definitions>


---------------------------------------------------------------------

WSDL 2.0:

<?xml version="1.0" encoding="utf-8" ?> 
<description
    xmlns="http://www.w3.org/2005/05/wsdl"
    targetNamespace="http://www.oracle.com/nick/intfsample"
    xmlns:tns=http://www.oracle.com/nick/intfsample"  >

    <types>
       <xsd:schema targetNamespace="...">
           <xsd:element name="InvalidRequest" type="xsd:string"/>
       </xsd:schema>
    </types>
  

  <interface ... >

    <fault name = "OutOfStockException"
            element = "tns:InvalidRequest"/>

    <operation name="withdraw" 
            pattern="http://www.w3.org/2005/05/wsdl/in-out" 
            style="http://www.w3.org/2005/05/wsdl/style/uri"
            safe = "true">
        <input messageLabel="In" 
              element="..." />
        <output messageLabel="Out" 
              element="..." />

        <outfault ref="tns:OutOfStockException"  messageLabel="Out"/>

    </operation>

  </interface>

  ...

</description>


---------------------------------------------------------------------

WS-CDL example:


<?xml version="1.0" encoding="UTF-8"?>
<package xmlns="http://www.w3.org/2004/12/ws-chor/cdl"
     xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance"
     xmlns:xsd="http://www.w3.org/2001/XMLSchema"     
     targetNamespace="http://www.oracle.com/nick/sample"
     xmlns:tns=http://www.oracle.com/nick/sample"
     xmlns:cwns=http://www.oracle.com/nick/intfsample"
     name="ConsumerRetailerChoreography"
     version="1.0">

  <informationType name="purchaseOrderType" type="tns:PurchaseOrderMsg"/>
  <informationType name="purchaseOrderAckType" type="tns:PurchaseOrderAckMsg"/>


  <!-- The informationType "badPOAckType" is of type Exception Type and refers   
      to the WSDL 1.1 message name "cwns:OutOfStockException" or
      to the WSDL 2.0 fault   name "cwns:OutOfStockException"
   -->

   <informationType name="badPOAckType"         
                    element="cwns:OutOfStockException" 
                    exceptionType="true"/>

  <token name="purchaseOrderID" informationType="tns:intType"/>
  <token name="retailerRef" informationType="tns:uriType"/>
  <tokenLocator tokenName="tns:purchaseOrderID"
                informationType="tns:purchaseOrderType" query="/PO/orderId"/>
  <tokenLocator tokenName="tns:purchaseOrderID"
                informationType="tns:purchaseOrderAckType" query="/PO/orderId"/>
  <roleType name="Consumer">
    <behavior name="consumerForRetailer" interface="tns:ConsumerRetailerPT"/>
    <behavior name="consumerForWarehouse" interface="tns:ConsumerWarehousePT"/>
  </roleType>
  <roleType name="Retailer">
    <behavior name="retailerForConsumer" interface="tns:RetailerConsumerPT"/>
  </roleType>
  <relationshipType name="ConsumerRetailerRelationship">
    <role type="tns:Consumer" behavior="consumerForRetailer"/>
    <role type="tns:Retailer" behavior="retailerForConsumer"/>
  </relationshipType>
  <channelType name="ConsumerChannel">
    <role type="tns:Consumer"/>
    <reference>
      <token name="tns:consumerRef"/>
    </reference>
    <identity>
      <token name="tns:purchaseOrderID"/>
    </identity>
  </channelType>
  <channelType name="RetailerChannel">
    <passing channel="ConsumerChannel" action="request" />
    <role type="tns:Retailer" behavior="retailerForConsumer"/>
    <reference>
      <token name="tns:retailerRef"/>
    </reference>
    <identity>
      <token name="tns:purchaseOrderID"/>
    </identity>
  </channelType>

  <choreography name="ConsumerRetailerChoreography" root="true">
    <relationship type="tns:ConsumerRetailerRelationship"/>
    <variableDefinitions>
      <variable name="purchaseOrder" informationType="tns:purchaseOrderType" 
                silent="true" />
      <variable name="purchaseOrderAck" 
                informationType="tns:purchaseOrderAckType" />
      <variable name="retailer-channel" channelType="tns:RetailerChannel"/>
      <variable name="consumer-channel" channelType="tns:ConsumerChannel"/>
      <variable name="badPurchaseOrderAck"   
                informationType="tns:badPOAckType" roleTypes="tns:Consumer"/>
      <variable name="badPurchaseOrderAck"   
                informationType="tns:badPOAckType" roleTypes="tns:Retailer"
                silent="true" />
    </variableDefinitions>

    <interaction name="createPO"
                 channelVariable="tns:retailer-channel" 
                 operation="handlePurchaseOrder" align="true" 
                 initiate="true">
      <participate relationshipType="tns:ConsumerRetailerRelationship" 
                   fromRole="tns:Consumer" toRole="tns:Retailer"/>
      <exchange name="request" 
                informationType="tns:purchaseOrderType" action="request">
        <send variable="cdl:getVariable("tns:purchaseOrder", ...)" />
        <receive variable="cdl:getVariable("tns:purchaseOrder", ...)"
                 recordReference="record-the-channel-info" />
      </exchange>
      <exchange name="response"
                informationType="purchaseOrderAckType" action="respond">
        <send variable="cdl:getVariable("tns:purchaseOrderAck", ...)" />
        <receive variable="cdl:getVariable("tns:purchaseOrderAck", ...)" />
      </exchange>

      <exchange name="badPurchaseOrderAckException" 
                informationType="badPOAckType" action="respond">
        <send variable="cdl:getVariable("tns:badPurchaseOrderAck", ...)"
                causeException="true" />
        <receive variable="cdl:getVariable("tns:badPurchaseOrderAck", ...)"
                causeException="true" />                 
      </exchange>

      <record name="record-the-channel-info" when="after">
        <source variable="cdl:getVariable("tns:purchaseOrder, "", 
                                          "PO/CustomerRef")"/>
        <target variable="cdl:getVariable("tns:consumer-channel", ...)"/>
      </record>
    </interaction>

 </choreography>    
</package>