Composite Processes

A CompositeProcess is composedOf a bunch of ControlConstructs which can be things like sequence, if-then-else, fork, while, etc.
Build them in a top-down manner.
FullCongoBuy has two steps: locating the book and then buying the book.
<process:CompositeProcess rdf:ID="FullCongoBuy">
  <process:composedOf>
    <process:Sequence>
      <process:components rdf:parseType="Collection">
        <process:AtomicProcess rdf:about="#LocateBook"/>
        <process:CompositeProcess rdf:about="#CongoBuyBook"/>
      </process:components>
    </process:Sequence>
  </process:composedOf>

<!-- All of the inputs and outputs of this composite process are
derived from the corresponding inputs and outputs of its atomic
processes and will normally be computed automatically by OWL-S tools. -->

  <process:hasInput>
    <process:Input rdf:ID="FullCongoBuyBookName">
      <process:parameterType rdf:resource="&xsd;#string"/>
    </process:Input>
  </process:hasInput>

  <process:hasInput>
    <process:Input rdf:ID="FullCongoBuySignInInfo">
      <process:parameterType rdf:resource="#SignInData"/>
    </process:Input>
  </process:hasInput>

  <process:hasInput>
    <process:Input rdf:ID="FullCongoBuyCreateAcctInfo">
      <process:parameterType rdf:resource="#AcctInfo"/>
    </process:Input>
  </process:hasInput>

  <process:hasInput>
    <process:Input rdf:ID="FullCongoBuyCreditCardNumber">
      <process:parameterType rdf:resource="&xsd;#decimal"/>
    </process:Input>
  </process:hasInput>
  
  <process:hasInput>
   <process:Input rdf:ID="FullCongoBuyCreditCardType">
    <process:parameterType rdf:resource="#CreditCardType"/>   
   </process:Input>
  </process:hasInput>
  
  <process:hasInput>
   <process:Input rdf:ID="FullCongoBuyCreditCardExpirationDate">
    <process:parameterType rdf:resource="&xsd;#string"/>
   </process:Input>
  </process:hasInput>
  
  <process:hasInput>
   <process:Input rdf:ID="FullCongoBuyCreditCardDeliveryAddress">
    <process:parameterType rdf:resource="&xsd;#string"/>
   </process:Input>
  </process:hasInput>
  
  <process:hasInput>
   <process:Input rdf:ID="FullCongoBuyPackagingSelection">
    <process:parameterType rdf:resource="&xsd;#string"/>
   </process:Input>
  </process:hasInput>
  
  <process:hasInput>
   <process:Input rdf:ID="FullCongoBuyDeliveryTypeSelection">
    <process:parameterType rdf:resource="#DeliveryType"/>
   </process:Input>
  </process:hasInput>
  
  <process:hasOutput>
    <process:ConditionalOutput rdf:ID="FullCongoBuyBookISBNOutput">
      <process:coCondition rdf:resource="#InCatalogueBookInstance"/>
                  <process:parameterType rdf:resource="&xsd;#string"/>
    </process:ConditionalOutput>
  </process:hasOutput>
  
  <process:hasOutput>
    <process:UnConditionalOutput rdf:ID="FullCongoBuyCreateAcctOutput">
          <process:parameterType rdf:resource="#CreateAcctOutputType"/>
    </process:UnConditionalOutput>
  </process:hasOutput>
</process:CompositeProcess>  <!-- End of Full Congo Buy -->