[savara-commits] savara SVN: r617 - branches/experimental/2.0.x/bundles/org.savara.bpel/src/test/resources/testmodels/protocol.

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): - - } -}