<wsdl:definitions
  xmlns:wsci="http://www.w3.org/2002/07/wsci10"
  xmlns:wsdl="...">
<!-- Skipping WSDL details -->
<!-- WSCI selectors follow -->
  <wsci:correlation name="quotationCorrelation"
    property="tns:quotationID">
  </wsci:correlation>
  <wsci:interface name="StockQuoteWS">
    <wsci:process name="ProvideStockQuote" instantiation="message">
      <wsci:sequence>
        <wsci:action name="ReceiveLogin"
          role="tns:StockQuoteWS"
          operation="tns:QuoteToUser/LogIn"/>
        <wsci:action name="ReceiveStockQuoteRequest"
          role="tns:StockQuoteWS"
          operation="tns:QuoteToUser/ProvideQuote">
            <wsci:correlate correlation="tns:quotationCorrelation"/>
            <wsci:call process="tns:LookupPrice"/>
        </wsci:action>
        <wsci:action name="ReceiveLogout"
          role="tns:StockQuoteWS"
          operation="tns:QuoteToUser/LogOut"/>
      </wsci:sequence>
    </wsci:process>

    <wsci:process name="LookupPrice" instantiation="other">
      <wsci:action name="QueryNYSE"
        role="tns:StockQuoteWS"
        operation="tns:QuoteToUser/QueryNYSE"/>
    </wsci:process>
  </wsci:interface>
</wsdl:definitions>
