<?xml version="1.0" encoding="UTF-8" ?>
 <!--  ebXML Business Process Specification Schema, V1.04 -->
 <!--  Author: OAG AutoTech Team     -->
 <!--  Created:  -->

<ProcessSpecification name="GM Dealership Parts Re-supply" version="1.0"     uuid="[{generate_this}]">
<!-- Using these documents -->

<BusinessDocument name="PPARequest" specificationLocation="BOD1.xsd" specificationElement="getparts" />
<BusinessDocument name="PPAResponse" specificationLocation="BOD2.xsd" specificationElement="partsonhand" />
<BusinessDocument name="PORqeust" specificationLocation="BOD3.xsd" specificationElement="partsrequest" />
<BusinessDocument name="POConfirm" specificationLocation="BOD4.xsd" specificationElement="orderconfirm" />
<Package name="DealerReSupply">
<BusinessTransaction name="CheckPartAvailable">
  <RequestingBusinessActivity name="PPARequest"            timeToAcknowledgeAcceptance="P2D" timeToAcknowledgeReceipt="P2D">
      <DocumentEnvelope businessDocument="BOD1.xsd" /> 
  </RequestingBusinessActivity>
 <RespondingBusinessActivity name="PPAResponse"          timeToAcknowledgeReceipt="none">
   <DocumentEnvelope businessDocument="BOD2.xsd" /> 
 </RespondingBusinessActivity>
</BusinessTransaction>
<BusinessTransaction name="PlacePartsOrder">
  <RequestingBusinessActivity name="PORequest"            timeToAcknowledgeAcceptance="P2D" timeToAcknowledgeReceipt="P2D">
      <DocumentEnvelope businessDocument="BOD3.xsd" /> 
  </RequestingBusinessActivity>
 <RespondingBusinessActivity name="POConfirm"          timeToAcknowledgeReceipt="none">
   <DocumentEnvelope businessDocument="BOD4.xsd" /> 
 </RespondingBusinessActivity>
</BusinessTransaction>
<BinaryCollaboration name="PartsOrdering">
  <InitiatingRole name="Dealership" /> 
  <RespondingRole name="Supplier" /> 
<BusinessTransactionActivity name="PPARequest" businessTransaction="CheckPartAvailable" fromAuthorizedRole="Dealership" toAuthorizedRole="Supplier" />
<BusinessTransactionActivity name="PPAResponse" businessTransaction="ConfirmPartAvailable" fromAuthorizedRole="Supplier" toAuthorizedRole="Dealership" />
<BusinessTransactionActivity name="PORequest" businessTransaction="ConfirmOrder" fromAuthorizedRole="Dealership" toAuthorizedRole="Supplier" />
<BusinessTransactionActivity name="POConfirm" businessTransaction="ConfirmPartOrder" fromAuthorizedRole="Supplier" toAuthorizedRole="Dealership" />
<Start toBusinessState="PPARequest" /> 
<Transition fromBusinessState="PPAResponse" toBusinessState="PORequest" conditionGuard="Success" /> 
<Transition fromBusinessState="PORequest" toBusinessState="POConfirm" conditionGuard="Success" /> 
<Transition fromBusinessState="POConfirm" toBusinessState="POShip" conditionGuard="Success" /> 
<Success fromBusinessState="PPARequest" conditionGuard="success" />
 <Failure fromBusinessState="PPARequest" conditionGuard="Timeout" />
    </BinaryCollaboration>
  </Package>
<Package name="SupplierReferral">
<BusinessTransaction name="ConfirmPartsOnhand">
  <RequestingBusinessActivity name="PPAResponse"            timeToAcknowledgeAcceptance="P2D" timeToAcknowledgeReceipt="P2D">
      <DocumentEnvelope businessDocument="BOD2.xsd" /> 
  </RequestingBusinessActivity>
 <RespondingBusinessActivity name="none"          timeToAcknowledgeReceipt="none">
   <DocumentEnvelope businessDocument="none" /> 
 </RespondingBusinessActivity>
</BusinessTransaction>
<BinaryCollaboration name="PartsSupply">
  <InitiatingRole name="Distributor" /> 
  <RespondingRole name="PartsSupplier" /> 
<BusinessTransactionActivity name="PPARequest" businessTransaction="CheckPartAvailable" fromAuthorizedRole="Distributor" toAuthorizedRole="PartsSupplier" />
<BusinessTransactionActivity name="PPAResponse" businessTransaction="ConfirmPartAvailable" fromAuthorizedRole="PartsSupplier" toAuthorizedRole="Distributor" />
<Transition fromBusinessState="PPARequest" toBusinessState="PORequest" conditionGuard="Success" /> 
<Transition fromBusinessState="PPARequest" toBusinessState="PORequest" conditionGuard="Success" /> 
<Transition fromBusinessState="PPAResponse" toBusinessState="PORequest" conditionGuard="Success" /> 
<Transition fromBusinessState="PPARequest" toBusinessState="PORequest" conditionGuard="Success" /> 
<Transition fromBusinessState="PPAResponse" toBusinessState="PORequest" conditionGuard="Success" /> 
<Success fromBusinessState="PPAResponse" conditionGuard="success" />
    </BinaryCollaboration>

  </Package>
</ProcessSpecification>
