[overlord-commits] Overlord SVN: r647 - in cdl/trunk/tools/plugins/org.jboss.tools.overlord.cdl.bpel/src: plugintest/org/jboss/tools/overlord/cdl/bpel/parser and 2 other directories.

Author: objectiser Date: 2009-06-20 16:28:04 -0400 (Sat, 20 Jun 2009) New Revision: 647 Added: cdl/trunk/tools/plugins/org.jboss.tools.overlord.cdl.bpel/src/plugintest/org/jboss/tools/overlord/cdl/bpel/parser/results/ESBBroker(a)Buyer.scv cdl/trunk/tools/plugins/org.jboss.tools.overlord.cdl.bpel/src/plugintest/org/jboss/tools/overlord/cdl/bpel/parser/results/ESBBroker(a)CreditAgency.scv cdl/trunk/tools/plugins/org.jboss.tools.overlord.cdl.bpel/src/plugintest/org/jboss/tools/overlord/cdl/bpel/parser/results/ESBBroker(a)SupplierQuoteEngine.scv cdl/trunk/tools/plugins/org.jboss.tools.overlord.cdl.bpel/src/plugintest/org/jboss/tools/overlord/cdl/bpel/parser/results/ESBBroker(a)SupplierTxnProcessor.scv cdl/trunk/tools/plugins/org.jboss.tools.overlord.cdl.bpel/src/plugintest/org/jboss/tools/overlord/cdl/bpel/parser/results/ReqRespFault(a)Buyer.scv cdl/trunk/tools/plugins/org.jboss.tools.overlord.cdl.bpel/src/plugintest/org/jboss/tools/overlord/cdl/bpel/parser/results/ReqRespFault(a)Seller.scv cdl/trunk/tools/plugins/org.jboss.tools.overlord.cdl.bpel/src/plugintest/org/jboss/tools/overlord/cdl/bpel/parser/testmodels/ESBBroker(a)Buyer.bpel cdl/trunk/tools/plugins/org.jboss.tools.overlord.cdl.bpel/src/plugintest/org/jboss/tools/overlord/cdl/bpel/parser/testmodels/ESBBroker(a)CreditAgency.bpel cdl/trunk/tools/plugins/org.jboss.tools.overlord.cdl.bpel/src/plugintest/org/jboss/tools/overlord/cdl/bpel/parser/testmodels/ESBBroker(a)SupplierQuoteEngine.bpel cdl/trunk/tools/plugins/org.jboss.tools.overlord.cdl.bpel/src/plugintest/org/jboss/tools/overlord/cdl/bpel/parser/testmodels/ESBBroker(a)SupplierTxnProcessor.bpel cdl/trunk/tools/plugins/org.jboss.tools.overlord.cdl.bpel/src/plugintest/org/jboss/tools/overlord/cdl/bpel/parser/testmodels/ReqRespFault(a)Buyer.bpel cdl/trunk/tools/plugins/org.jboss.tools.overlord.cdl.bpel/src/plugintest/org/jboss/tools/overlord/cdl/bpel/parser/testmodels/ReqRespFault(a)Seller.bpel Modified: cdl/trunk/tools/plugins/org.jboss.tools.overlord.cdl.bpel/src/java/org/jboss/tools/overlord/cdl/bpel/model/component/Receive.java cdl/trunk/tools/plugins/org.jboss.tools.overlord.cdl.bpel/src/plugintest/org/jboss/tools/overlord/cdl/bpel/parser/ParserTest.java Log: Check additional tests, and fix issue in 'receive' when using a callback port type. Modified: cdl/trunk/tools/plugins/org.jboss.tools.overlord.cdl.bpel/src/java/org/jboss/tools/overlord/cdl/bpel/model/component/Receive.java =================================================================== --- cdl/trunk/tools/plugins/org.jboss.tools.overlord.cdl.bpel/src/java/org/jboss/tools/overlord/cdl/bpel/model/component/Receive.java 2009-06-19 20:43:43 UTC (rev 646) +++ cdl/trunk/tools/plugins/org.jboss.tools.overlord.cdl.bpel/src/java/org/jboss/tools/overlord/cdl/bpel/model/component/Receive.java 2009-06-20 20:28:04 UTC (rev 647) @@ -141,7 +141,13 @@ ms.setOperation(getOperation()); ms.getTypes().add(tref); - interaction.setFromRole(new Role(getServerPartnerRole())); + String fromRole=getServerPartnerRole(); + + if (fromRole != null && fromRole.equals(context.getRole())) { + fromRole = getClientPartnerRole(); + } + + interaction.setFromRole(new Role(fromRole)); interaction.setToRole(new Role(context.getRole())); interaction.setMessageSignature(ms); Modified: cdl/trunk/tools/plugins/org.jboss.tools.overlord.cdl.bpel/src/plugintest/org/jboss/tools/overlord/cdl/bpel/parser/ParserTest.java =================================================================== --- cdl/trunk/tools/plugins/org.jboss.tools.overlord.cdl.bpel/src/plugintest/org/jboss/tools/overlord/cdl/bpel/parser/ParserTest.java 2009-06-19 20:43:43 UTC (rev 646) +++ cdl/trunk/tools/plugins/org.jboss.tools.overlord.cdl.bpel/src/plugintest/org/jboss/tools/overlord/cdl/bpel/parser/ParserTest.java 2009-06-20 20:28:04 UTC (rev 647) @@ -34,9 +34,15 @@ TestSuite suite = new TestSuite("BPEL->Conversation Parser Tests"); suite.addTest(new BPELToConversationTest("ESBBroker@Broker")); + suite.addTest(new BPELToConversationTest("ESBBroker@Buyer")); + suite.addTest(new BPELToConversationTest("ESBBroker@CreditAgency")); + suite.addTest(new BPELToConversationTest("ESBBroker@SupplierQuoteEngine")); + suite.addTest(new BPELToConversationTest("ESBBroker@SupplierTxnProcessor")); suite.addTest(new BPELToConversationTest("PurchaseGoods@Buyer")); suite.addTest(new BPELToConversationTest("PurchaseGoods@CreditAgency")); suite.addTest(new BPELToConversationTest("PurchaseGoods@Store")); + suite.addTest(new BPELToConversationTest("ReqRespFault@Buyer")); + suite.addTest(new BPELToConversationTest("ReqRespFault@Seller")); return suite; } Added: cdl/trunk/tools/plugins/org.jboss.tools.overlord.cdl.bpel/src/plugintest/org/jboss/tools/overlord/cdl/bpel/parser/results/ESBBroker(a)Buyer.scv =================================================================== --- cdl/trunk/tools/plugins/org.jboss.tools.overlord.cdl.bpel/src/plugintest/org/jboss/tools/overlord/cdl/bpel/parser/results/ESBBroker(a)Buyer.scv (rev 0) +++ cdl/trunk/tools/plugins/org.jboss.tools.overlord.cdl.bpel/src/plugintest/org/jboss/tools/overlord/cdl/bpel/parser/results/ESBBroker(a)Buyer.scv 2009-06-20 20:28:04 UTC (rev 647) @@ -0,0 +1,16 @@ +namespace null; + +conversation ESBBrokerProcess_Buyer@Buyer implements ESBBroker@Buyer { + makeEnquiry(enquiry) from Buyer to Broker; + makeEnquiry(quoteList) from Broker to Buyer; + if { + buy(buy) from Buyer to Broker; + if { + buy(bookingReference) from Broker to Buyer; + } else if { + buy(orderRejected) from Broker to Buyer; + } + } else if { + cancel(cancel) from Buyer to Broker; + } +} \ No newline at end of file Added: cdl/trunk/tools/plugins/org.jboss.tools.overlord.cdl.bpel/src/plugintest/org/jboss/tools/overlord/cdl/bpel/parser/results/ESBBroker(a)CreditAgency.scv =================================================================== --- cdl/trunk/tools/plugins/org.jboss.tools.overlord.cdl.bpel/src/plugintest/org/jboss/tools/overlord/cdl/bpel/parser/results/ESBBroker(a)CreditAgency.scv (rev 0) +++ cdl/trunk/tools/plugins/org.jboss.tools.overlord.cdl.bpel/src/plugintest/org/jboss/tools/overlord/cdl/bpel/parser/results/ESBBroker(a)CreditAgency.scv 2009-06-20 20:28:04 UTC (rev 647) @@ -0,0 +1,12 @@ +namespace null; + +conversation ESBBrokerProcess_CreditAgency@CreditAgency implements ESBBroker@CreditAgency { + if { + checkCredit(CreditCheckRequest) from Broker to CreditAgency; + if { + checkCredit(CreditCheckOk) from CreditAgency to Broker; + } else if { + checkCredit(CreditCheckInvalid) from CreditAgency to Broker; + } + } +} \ No newline at end of file Added: cdl/trunk/tools/plugins/org.jboss.tools.overlord.cdl.bpel/src/plugintest/org/jboss/tools/overlord/cdl/bpel/parser/results/ESBBroker(a)SupplierQuoteEngine.scv =================================================================== --- cdl/trunk/tools/plugins/org.jboss.tools.overlord.cdl.bpel/src/plugintest/org/jboss/tools/overlord/cdl/bpel/parser/results/ESBBroker(a)SupplierQuoteEngine.scv (rev 0) +++ cdl/trunk/tools/plugins/org.jboss.tools.overlord.cdl.bpel/src/plugintest/org/jboss/tools/overlord/cdl/bpel/parser/results/ESBBroker(a)SupplierQuoteEngine.scv 2009-06-20 20:28:04 UTC (rev 647) @@ -0,0 +1,6 @@ +namespace null; + +conversation RequestForQuote_SupplierQuoteEngine@SupplierQuoteEngine implements ESBBroker@SupplierQuoteEngine { + getQuote(requestForQuote) from Broker to SupplierQuoteEngine; + getQuote(quote) from SupplierQuoteEngine to Broker; +} \ No newline at end of file Added: cdl/trunk/tools/plugins/org.jboss.tools.overlord.cdl.bpel/src/plugintest/org/jboss/tools/overlord/cdl/bpel/parser/results/ESBBroker(a)SupplierTxnProcessor.scv =================================================================== --- cdl/trunk/tools/plugins/org.jboss.tools.overlord.cdl.bpel/src/plugintest/org/jboss/tools/overlord/cdl/bpel/parser/results/ESBBroker(a)SupplierTxnProcessor.scv (rev 0) +++ cdl/trunk/tools/plugins/org.jboss.tools.overlord.cdl.bpel/src/plugintest/org/jboss/tools/overlord/cdl/bpel/parser/results/ESBBroker(a)SupplierTxnProcessor.scv 2009-06-20 20:28:04 UTC (rev 647) @@ -0,0 +1,8 @@ +namespace null; + +conversation CompleteTransaction_SupplierTxnProcessor@SupplierTxnProcessor implements ESBBroker@SupplierTxnProcessor { + if { + confirm(orderConfirmed) from Broker to SupplierTxnProcessor; + confirm(bookingReference) from SupplierTxnProcessor to Broker; + } +} \ No newline at end of file Added: cdl/trunk/tools/plugins/org.jboss.tools.overlord.cdl.bpel/src/plugintest/org/jboss/tools/overlord/cdl/bpel/parser/results/ReqRespFault(a)Buyer.scv =================================================================== --- cdl/trunk/tools/plugins/org.jboss.tools.overlord.cdl.bpel/src/plugintest/org/jboss/tools/overlord/cdl/bpel/parser/results/ReqRespFault(a)Buyer.scv (rev 0) +++ cdl/trunk/tools/plugins/org.jboss.tools.overlord.cdl.bpel/src/plugintest/org/jboss/tools/overlord/cdl/bpel/parser/results/ReqRespFault(a)Buyer.scv 2009-06-20 20:28:04 UTC (rev 647) @@ -0,0 +1,10 @@ +namespace null; + +conversation ReqRespFaultProcess_Buyer@Buyer implements ReqRespFault@Buyer { + checkCredit(CreditCheckRequest) from Buyer to Seller; + if { + checkCredit(CreditCheckOk) from Seller to Buyer; + } else if { + checkCredit(CreditCheckInvalid) from Seller to Buyer; + } +} \ No newline at end of file Added: cdl/trunk/tools/plugins/org.jboss.tools.overlord.cdl.bpel/src/plugintest/org/jboss/tools/overlord/cdl/bpel/parser/results/ReqRespFault(a)Seller.scv =================================================================== --- cdl/trunk/tools/plugins/org.jboss.tools.overlord.cdl.bpel/src/plugintest/org/jboss/tools/overlord/cdl/bpel/parser/results/ReqRespFault(a)Seller.scv (rev 0) +++ cdl/trunk/tools/plugins/org.jboss.tools.overlord.cdl.bpel/src/plugintest/org/jboss/tools/overlord/cdl/bpel/parser/results/ReqRespFault(a)Seller.scv 2009-06-20 20:28:04 UTC (rev 647) @@ -0,0 +1,10 @@ +namespace null; + +conversation ReqRespFaultProcess_Seller@Seller implements ReqRespFault@Seller { + checkCredit(CreditCheckRequest) from Buyer to Seller; + if { + checkCredit(CreditCheckOk) from Seller to Buyer; + } else if { + checkCredit(CreditCheckInvalid) from Seller to Buyer; + } +} \ No newline at end of file Added: cdl/trunk/tools/plugins/org.jboss.tools.overlord.cdl.bpel/src/plugintest/org/jboss/tools/overlord/cdl/bpel/parser/testmodels/ESBBroker(a)Buyer.bpel =================================================================== --- cdl/trunk/tools/plugins/org.jboss.tools.overlord.cdl.bpel/src/plugintest/org/jboss/tools/overlord/cdl/bpel/parser/testmodels/ESBBroker(a)Buyer.bpel (rev 0) +++ cdl/trunk/tools/plugins/org.jboss.tools.overlord.cdl.bpel/src/plugintest/org/jboss/tools/overlord/cdl/bpel/parser/testmodels/ESBBroker(a)Buyer.bpel 2009-06-20 20:28:04 UTC (rev 647) @@ -0,0 +1,40 @@ +<process xmlns:ns0="http://www.scribble.org/conversation" ns0:conversationType="ESBBroker@Buyer" name="ESBBrokerProcess_Buyer" xmlns="http://docs.oasis-open.org/wsbpel/2.0/process/executable"... + <partnerLinks> + <partnerLink myRole="BuyerRequester" name="BuyerToBroker" partnerLinkType="BuyerToBrokerLT" partnerRole="BrokerRequester"/> + </partnerLinks> + <variables> + <variable messageType="enquiry" name="enquiryVar"/> + <variable messageType="quoteList" name="quoteListVar"/> + <variable messageType="buy" name="buyVar"/> + <variable messageType="bookingReference" name="bookingReferenceVar"/> + <variable messageType="orderRejected" name="orderRejectedVar"/> + <variable messageType="cancel" name="cancelVar"/> + </variables> + <sequence> + <invoke inputVariable="enquiryVar" operation="makeEnquiry" partnerLink="BuyerToBroker" portType="BrokerPT"/> + <receive operation="makeEnquiry" partnerLink="BuyerToBroker" portType="BuyerBrokerCallbackPT" variable="quoteListVar"/> + <if> + <sequence> + <scope> + <sequence> + <scope> + <faultHandlers> + <catch faultName="rejected" faultVariable="orderRejectedVar"> + <sequence/> + </catch> + </faultHandlers> + <sequence> + <invoke inputVariable="buyVar" operation="buy" outputVariable="bookingReferenceVar" partnerLink="BuyerToBroker" portType="BrokerPT"/> + </sequence> + </scope> + </sequence> + </scope> + </sequence> + <else> + <sequence> + <invoke inputVariable="cancelVar" operation="cancel" partnerLink="BuyerToBroker" portType="BrokerPT"/> + </sequence> + </else> + </if> + </sequence> +</process> Added: cdl/trunk/tools/plugins/org.jboss.tools.overlord.cdl.bpel/src/plugintest/org/jboss/tools/overlord/cdl/bpel/parser/testmodels/ESBBroker(a)CreditAgency.bpel =================================================================== --- cdl/trunk/tools/plugins/org.jboss.tools.overlord.cdl.bpel/src/plugintest/org/jboss/tools/overlord/cdl/bpel/parser/testmodels/ESBBroker(a)CreditAgency.bpel (rev 0) +++ cdl/trunk/tools/plugins/org.jboss.tools.overlord.cdl.bpel/src/plugintest/org/jboss/tools/overlord/cdl/bpel/parser/testmodels/ESBBroker(a)CreditAgency.bpel 2009-06-20 20:28:04 UTC (rev 647) @@ -0,0 +1,32 @@ +<process xmlns:ns0="http://www.scribble.org/conversation" ns0:conversationType="ESBBroker@CreditAgency" name="ESBBrokerProcess_CreditAgency" xmlns="http://docs.oasis-open.org/wsbpel/2.0/process/executable"... + <partnerLinks> + <partnerLink myRole="CreditAgencyService" name="BrokerToCreditAgency" partnerLinkType="BrokerToCreditAgencyServiceLT"/> + </partnerLinks> + <variables> + <variable messageType="CreditCheckRequest" name="creditCheckRequestVar"/> + <variable messageType="CreditCheckOk" name="creditCheckOkVar"/> + <variable messageType="CreditCheckInvalid" name="creditCheckInvalidVar"/> + </variables> + <sequence> + <pick> + <onMessage operation="checkCredit" partnerLink="BrokerToCreditAgency" portType="CreditAgencyPT" variable="creditCheckRequestVar"> + <sequence> + <scope> + <sequence> + <if> + <sequence> + <reply operation="checkCredit" partnerLink="BrokerToCreditAgency" portType="CreditAgencyPT" variable="creditCheckOkVar"/> + </sequence> + <else> + <sequence> + <reply faultName="invalidCredit" operation="checkCredit" partnerLink="BrokerToCreditAgency" portType="CreditAgencyPT" variable="creditCheckInvalidVar"/> + </sequence> + </else> + </if> + </sequence> + </scope> + </sequence> + </onMessage> + </pick> + </sequence> +</process> Added: cdl/trunk/tools/plugins/org.jboss.tools.overlord.cdl.bpel/src/plugintest/org/jboss/tools/overlord/cdl/bpel/parser/testmodels/ESBBroker(a)SupplierQuoteEngine.bpel =================================================================== --- cdl/trunk/tools/plugins/org.jboss.tools.overlord.cdl.bpel/src/plugintest/org/jboss/tools/overlord/cdl/bpel/parser/testmodels/ESBBroker(a)SupplierQuoteEngine.bpel (rev 0) +++ cdl/trunk/tools/plugins/org.jboss.tools.overlord.cdl.bpel/src/plugintest/org/jboss/tools/overlord/cdl/bpel/parser/testmodels/ESBBroker(a)SupplierQuoteEngine.bpel 2009-06-20 20:28:04 UTC (rev 647) @@ -0,0 +1,13 @@ +<process xmlns:ns0="http://www.scribble.org/conversation" ns0:conversationType="ESBBroker@SupplierQuoteEngine" name="RequestForQuote_SupplierQuoteEngine" xmlns="http://docs.oasis-open.org/wsbpel/2.0/process/executable"... + <partnerLinks> + <partnerLink myRole="SupplierQuoteEngineService" name="BrokerToSupplierQuoteEngine" partnerLinkType="BrokerToSupplierQuoteEngineServiceLT"/> + </partnerLinks> + <variables> + <variable messageType="requestForQuote" name="requestForQuoteVar"/> + <variable messageType="quote" name="quoteVar"/> + </variables> + <sequence> + <receive operation="getQuote" partnerLink="BrokerToSupplierQuoteEngine" portType="SupplierQuoteEnginePT" variable="requestForQuoteVar"/> + <reply operation="getQuote" partnerLink="BrokerToSupplierQuoteEngine" portType="SupplierQuoteEnginePT" variable="quoteVar"/> + </sequence> +</process> Added: cdl/trunk/tools/plugins/org.jboss.tools.overlord.cdl.bpel/src/plugintest/org/jboss/tools/overlord/cdl/bpel/parser/testmodels/ESBBroker(a)SupplierTxnProcessor.bpel =================================================================== --- cdl/trunk/tools/plugins/org.jboss.tools.overlord.cdl.bpel/src/plugintest/org/jboss/tools/overlord/cdl/bpel/parser/testmodels/ESBBroker(a)SupplierTxnProcessor.bpel (rev 0) +++ cdl/trunk/tools/plugins/org.jboss.tools.overlord.cdl.bpel/src/plugintest/org/jboss/tools/overlord/cdl/bpel/parser/testmodels/ESBBroker(a)SupplierTxnProcessor.bpel 2009-06-20 20:28:04 UTC (rev 647) @@ -0,0 +1,18 @@ +<process xmlns:ns0="http://www.scribble.org/conversation" ns0:conversationType="ESBBroker@SupplierTxnProcessor" name="CompleteTransaction_SupplierTxnProcessor" xmlns="http://docs.oasis-open.org/wsbpel/2.0/process/executable"... + <partnerLinks> + <partnerLink myRole="SupplierTxnProcessorService" name="BrokerToSupplierTxnProcessor" partnerLinkType="BrokerToSupplierTxnProcessorServiceLT"/> + </partnerLinks> + <variables> + <variable messageType="orderConfirmed" name="orderConfirmedVar"/> + <variable messageType="bookingReference" name="bookingReferenceVar"/> + </variables> + <sequence> + <pick> + <onMessage operation="confirm" partnerLink="BrokerToSupplierTxnProcessor" portType="SupplierTxnProcessorPT" variable="orderConfirmedVar"> + <sequence> + <reply operation="confirm" partnerLink="BrokerToSupplierTxnProcessor" portType="SupplierTxnProcessorPT" variable="bookingReferenceVar"/> + </sequence> + </onMessage> + </pick> + </sequence> +</process> Added: cdl/trunk/tools/plugins/org.jboss.tools.overlord.cdl.bpel/src/plugintest/org/jboss/tools/overlord/cdl/bpel/parser/testmodels/ReqRespFault(a)Buyer.bpel =================================================================== --- cdl/trunk/tools/plugins/org.jboss.tools.overlord.cdl.bpel/src/plugintest/org/jboss/tools/overlord/cdl/bpel/parser/testmodels/ReqRespFault(a)Buyer.bpel (rev 0) +++ cdl/trunk/tools/plugins/org.jboss.tools.overlord.cdl.bpel/src/plugintest/org/jboss/tools/overlord/cdl/bpel/parser/testmodels/ReqRespFault(a)Buyer.bpel 2009-06-20 20:28:04 UTC (rev 647) @@ -0,0 +1,22 @@ +<process xmlns:ns0="http://www.scribble.org/conversation" ns0:conversationType="ReqRespFault@Buyer" name="ReqRespFaultProcess_Buyer" xmlns="http://docs.oasis-open.org/wsbpel/2.0/process/executable"... + <partnerLinks> + <partnerLink name="BuyerToSeller" partnerLinkType="BuyerToSellerLT" partnerRole="SellerRequester"/> + </partnerLinks> + <variables> + <variable messageType="CreditCheckRequest" name="creditCheckRequestVar"/> + <variable messageType="CreditCheckOk" name="creditCheckOkVar"/> + <variable messageType="CreditCheckInvalid" name="creditCheckInvalidVar"/> + </variables> + <sequence> + <scope> + <faultHandlers> + <catch faultName="insufficientCredit" faultVariable="creditCheckInvalidVar"> + <sequence/> + </catch> + </faultHandlers> + <sequence> + <invoke inputVariable="creditCheckRequestVar" operation="checkCredit" outputVariable="creditCheckOkVar" partnerLink="BuyerToSeller" portType="SellerPT"/> + </sequence> + </scope> + </sequence> +</process> Added: cdl/trunk/tools/plugins/org.jboss.tools.overlord.cdl.bpel/src/plugintest/org/jboss/tools/overlord/cdl/bpel/parser/testmodels/ReqRespFault(a)Seller.bpel =================================================================== --- cdl/trunk/tools/plugins/org.jboss.tools.overlord.cdl.bpel/src/plugintest/org/jboss/tools/overlord/cdl/bpel/parser/testmodels/ReqRespFault(a)Seller.bpel (rev 0) +++ cdl/trunk/tools/plugins/org.jboss.tools.overlord.cdl.bpel/src/plugintest/org/jboss/tools/overlord/cdl/bpel/parser/testmodels/ReqRespFault(a)Seller.bpel 2009-06-20 20:28:04 UTC (rev 647) @@ -0,0 +1,23 @@ +<process xmlns:ns0="http://www.scribble.org/conversation" ns0:conversationType="ReqRespFault@Seller" name="ReqRespFaultProcess_Seller" xmlns="http://docs.oasis-open.org/wsbpel/2.0/process/executable"... + <partnerLinks> + <partnerLink myRole="SellerService" name="BuyerToSeller" partnerLinkType="BuyerToSellerServiceLT"/> + </partnerLinks> + <variables> + <variable messageType="CreditCheckRequest" name="creditCheckRequestVar"/> + <variable messageType="CreditCheckOk" name="creditCheckOkVar"/> + <variable messageType="CreditCheckInvalid" name="creditCheckInvalidVar"/> + </variables> + <sequence> + <receive operation="checkCredit" partnerLink="BuyerToSeller" portType="SellerPT" variable="creditCheckRequestVar"/> + <if> + <sequence> + <reply operation="checkCredit" partnerLink="BuyerToSeller" portType="SellerPT" variable="creditCheckOkVar"/> + </sequence> + <else> + <sequence> + <reply faultName="insufficientCredit" operation="checkCredit" partnerLink="BuyerToSeller" portType="SellerPT" variable="creditCheckInvalidVar"/> + </sequence> + </else> + </if> + </sequence> +</process>