Author: objectiser
Date: 2011-01-24 18:19:32 -0500 (Mon, 24 Jan 2011)
New Revision: 617
Removed:
branches/experimental/2.0.x/bundles/org.savara.bpel/src/test/resources/testmodels/protocol/ESBBroker.spr
branches/experimental/2.0.x/bundles/org.savara.bpel/src/test/resources/testmodels/protocol/PurchaseGoods.spr
branches/experimental/2.0.x/bundles/org.savara.bpel/src/test/resources/testmodels/protocol/ReqRespFault.spr
Log:
Update protocols.
Deleted:
branches/experimental/2.0.x/bundles/org.savara.bpel/src/test/resources/testmodels/protocol/ESBBroker.spr
===================================================================
---
branches/experimental/2.0.x/bundles/org.savara.bpel/src/test/resources/testmodels/protocol/ESBBroker.spr 2011-01-24
23:14:11 UTC (rev 616)
+++
branches/experimental/2.0.x/bundles/org.savara.bpel/src/test/resources/testmodels/protocol/ESBBroker.spr 2011-01-24
23:19:32 UTC (rev 617)
@@ -1,91 +0,0 @@
-[[
Type(prefix=tns,namespace=http://www.pi4soa.org/ESBBroker) ]]
-[[
Type(prefix=xsd,namespace=http://www.w3.org/2001/XMLSchema) ]]
-[[
Type(prefix=brk,namespace=http://www.pi4soa.org/ESBBroker/Broker) ]]
-[[
Type(prefix=byr,namespace=http://www.pi4soa.org/ESBBroker/Buyer) ]]
-[[
Type(prefix=cay,namespace=http://www.pi4soa.org/ESBBroker/CreditAgency) ]]
-[[
Type(prefix=spr,namespace=http://www.pi4soa.org/ESBBroker/Supplier) ]]
-protocol ESBBrokerProcess {
- role Broker, Buyer, CreditAgency, Supplier;
- [[
Interface(name={http://www.pi4soa.org/ESBBroker}BrokerBehavior) ]]
- [[ Correlation(request=makeEnquiry) ]]
- makeEnquiry(Enquiry) from Buyer to Broker;
- repeat {
- run RequestForQuote(Broker);
- }
- [[
Interface(name={http://www.pi4soa.org/ESBBroker}BrokerBehavior) ]]
- [[ Correlation(replyTo=makeEnquiry) ]]
- makeEnquiry(QuoteList) from Broker to Buyer;
- choice from Buyer to Broker {
- [[ Correlation(request=buy) ]]
- buy(Buy):
- role SupplierTxnProcessor;
- [[
Interface(name={http://www.pi4soa.org/ESBBroker}CreditAgencyBehavior) ]]
- [[ Correlation(request=checkCredit) ]]
- checkCredit(CreditInformation) from Broker to CreditAgency;
- choice from CreditAgency to Broker {
- [[ Correlation(replyTo=checkCredit) ]]
- checkCredit(CreditValid):
- [[
Interface(name={http://www.pi4soa.org/ESBBroker}SupplierBehavior) ]]
- [[ Correlation(request=confirm) ]]
- confirm(OrderConfirmed) from Broker to SupplierTxnProcessor;
- [[
Interface(name={http://www.pi4soa.org/ESBBroker}SupplierBehavior) ]]
- [[ Correlation(replyTo=confirm) ]]
- confirm(BookingReference) from SupplierTxnProcessor to Broker;
- [[
Interface(name={http://www.pi4soa.org/ESBBroker}BrokerBehavior) ]]
- [[ Correlation(replyTo=buy) ]]
- buy(BookingReference) from Broker to Buyer;
-
- [[ Fault(name=invalidCredit) ]]
- [[ Correlation(replyTo=checkCredit) ]]
- checkCredit(CreditInvalid):
- [[ Fault(name=rejected) ]]
- [[
Interface(name={http://www.pi4soa.org/ESBBroker}BrokerBehavior) ]]
- [[ Correlation(replyTo=buy) ]]
- buy(OrderRejected) from Broker to Buyer;
-
- }
-
- cancel(Cancel):
-
- }
- protocol CompleteTransaction(role Buyer, role Broker, role CreditAgency) {
- role SupplierTxnProcessor;
- [[
Interface(name={http://www.pi4soa.org/ESBBroker}BrokerBehavior) ]]
- [[ Correlation(request=buy) ]]
- buy(Buy) from Buyer to Broker;
- [[
Interface(name={http://www.pi4soa.org/ESBBroker}CreditAgencyBehavior) ]]
- [[ Correlation(request=checkCredit) ]]
- checkCredit(CreditInformation) from Broker to CreditAgency;
- choice from CreditAgency to Broker {
- [[ Correlation(replyTo=checkCredit) ]]
- checkCredit(CreditValid):
- [[
Interface(name={http://www.pi4soa.org/ESBBroker}SupplierBehavior) ]]
- [[ Correlation(request=confirm) ]]
- confirm(OrderConfirmed) from Broker to SupplierTxnProcessor;
- [[
Interface(name={http://www.pi4soa.org/ESBBroker}SupplierBehavior) ]]
- [[ Correlation(replyTo=confirm) ]]
- confirm(BookingReference) from SupplierTxnProcessor to Broker;
- [[
Interface(name={http://www.pi4soa.org/ESBBroker}BrokerBehavior) ]]
- [[ Correlation(replyTo=buy) ]]
- buy(BookingReference) from Broker to Buyer;
-
- [[ Fault(name=invalidCredit) ]]
- [[ Correlation(replyTo=checkCredit) ]]
- checkCredit(CreditInvalid):
- [[ Fault(name=rejected) ]]
- [[
Interface(name={http://www.pi4soa.org/ESBBroker}BrokerBehavior) ]]
- [[ Correlation(replyTo=buy) ]]
- buy(OrderRejected) from Broker to Buyer;
-
- }
- }
- protocol RequestForQuote(role Broker) {
- role SupplierQuoteEngine;
- [[
Interface(name={http://www.pi4soa.org/ESBBroker}SupplierBehavior) ]]
- [[ Correlation(request=getQuote) ]]
- getQuote(RequestForQuote) from Broker to SupplierQuoteEngine;
- [[
Interface(name={http://www.pi4soa.org/ESBBroker}SupplierBehavior) ]]
- [[ Correlation(replyTo=getQuote) ]]
- getQuote(Quote) from SupplierQuoteEngine to Broker;
- }
-}
Deleted:
branches/experimental/2.0.x/bundles/org.savara.bpel/src/test/resources/testmodels/protocol/PurchaseGoods.spr
===================================================================
---
branches/experimental/2.0.x/bundles/org.savara.bpel/src/test/resources/testmodels/protocol/PurchaseGoods.spr 2011-01-24
23:14:11 UTC (rev 616)
+++
branches/experimental/2.0.x/bundles/org.savara.bpel/src/test/resources/testmodels/protocol/PurchaseGoods.spr 2011-01-24
23:19:32 UTC (rev 617)
@@ -1,29 +0,0 @@
-[[
Type(prefix=tns,namespace=http://www.jboss.org/savara/examples) ]]
-[[
Type(prefix=xsd,namespace=http://www.w3.org/2001/XMLSchema) ]]
-[[ Type(prefix=pur,namespace=java:org.jboss.savara.examples.purchasing) ]]
-[[
Type(prefix=sto,namespace=http://www.jboss.org/examples/store) ]]
-protocol PurchaseGoodsProcess {
- role Buyer, CreditAgency, Store;
- [[
Interface(name={http://www.jboss.org/examples/store}StoreInterface) ]]
- [[ Correlation(request=buy) ]]
- buy(BuyRequest) from Buyer to Store;
- [[ Interface(name={java:org.jboss.savara.examples.purchasing}CreditAgencyInterface) ]]
- [[ Correlation(request=checkCredit) ]]
- checkCredit(CreditCheckRequest) from Store to CreditAgency;
- choice from CreditAgency to Store {
- [[ Correlation(replyTo=checkCredit) ]]
- checkCredit(CreditCheckOk):
- [[
Interface(name={http://www.jboss.org/examples/store}StoreInterface) ]]
- [[ Correlation(replyTo=buy) ]]
- buy(BuyConfirmed) from Store to Buyer;
-
- [[ Fault(name=CreditCheckFailed) ]]
- [[ Correlation(replyTo=checkCredit) ]]
- checkCredit(CreditCheckInvalid):
- [[ Fault(name=BuyFailed) ]]
- [[
Interface(name={http://www.jboss.org/examples/store}StoreInterface) ]]
- [[ Correlation(replyTo=buy) ]]
- buy(BuyFailed) from Store to Buyer;
-
- }
-}
Deleted:
branches/experimental/2.0.x/bundles/org.savara.bpel/src/test/resources/testmodels/protocol/ReqRespFault.spr
===================================================================
---
branches/experimental/2.0.x/bundles/org.savara.bpel/src/test/resources/testmodels/protocol/ReqRespFault.spr 2011-01-24
23:14:11 UTC (rev 616)
+++
branches/experimental/2.0.x/bundles/org.savara.bpel/src/test/resources/testmodels/protocol/ReqRespFault.spr 2011-01-24
23:19:32 UTC (rev 617)
@@ -1,19 +0,0 @@
-[[
Type(prefix=tns,namespace=http://www.pi4soa.org/ReqRespFault) ]]
-[[
Type(prefix=xsd,namespace=http://www.w3.org/2001/XMLSchema) ]]
-[[
Type(prefix=byr,namespace=http://www.pi4soa.org/ReqRespFault/Buyer) ]]
-[[
Type(prefix=slr,namespace=http://www.pi4soa.org/ReqRespFault/Seller) ]]
-protocol ReqRespFaultProcess {
- role Buyer, Seller;
- [[
Interface(name={http://www.pi4soa.org/ReqRespFault}SellerBehavior) ]]
- [[ Correlation(request=checkCredit) ]]
- checkCredit(CreditInformation) from Buyer to Seller;
- choice from Seller to Buyer {
- [[ Correlation(replyTo=checkCredit) ]]
- checkCredit(CreditValid):
-
- [[ Fault(name=insufficientCredit) ]]
- [[ Correlation(replyTo=checkCredit) ]]
- checkCredit(CreditInvalid):
-
- }
-}