Author: objectiser Date: 2011-01-24 18:22:03 -0500 (Mon, 24 Jan 2011) New Revision: 618 Added: 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. Added: 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 (rev 0) +++ branches/experimental/2.0.x/bundles/org.savara.bpel/src/test/resources/testmodels/protocol/ESBBroker.spr 2011-01-24 23:22:03 UTC (rev 618) @@ -0,0 +1,99 @@ +[[ Namespace(name=http://www.pi4soa.org/ESBBroker/Broker,role=Broker) ]] +[[ Namespace(name=http://www.pi4soa.org/ESBBroker/Buyer,role=Buyer) ]] +[[ Namespace(name=http://www.pi4soa.org/ESBBroker/CreditAgency,role=CreditAg... ]] +[[ Namespace(name=http://www.pi4soa.org/ESBBroker/Supplier,role=Supplier) ]] +[[ 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) ]] +[[ Namespace(name=http://www.pi4soa.org/ESBBroker/Supplier,role=SupplierTxnP... ]] +[[ Namespace(name=http://www.pi4soa.org/ESBBroker/Supplier,role=SupplierQuot... ]] +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): + + } + [[ Namespace(name=http://www.pi4soa.org/ESBBroker/Supplier,role=SupplierTxnP... ]] + 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; + + } + } + [[ Namespace(name=http://www.pi4soa.org/ESBBroker/Supplier,role=SupplierQuot... ]] + 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; + } +} Added: 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 (rev 0) +++ branches/experimental/2.0.x/bundles/org.savara.bpel/src/test/resources/testmodels/protocol/PurchaseGoods.spr 2011-01-24 23:22:03 UTC (rev 618) @@ -0,0 +1,32 @@ +[[ Namespace(name=http://www.jboss.org/savara/examples,role=Buyer) ]] +[[ Namespace(name=java:org.jboss.savara.examples.purchasing,role=CreditAgency) ]] +[[ Namespace(name=http://www.jboss.org/examples/store,role=Store) ]] +[[ 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; + + } +} Added: 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 (rev 0) +++ branches/experimental/2.0.x/bundles/org.savara.bpel/src/test/resources/testmodels/protocol/ReqRespFault.spr 2011-01-24 23:22:03 UTC (rev 618) @@ -0,0 +1,21 @@ +[[ Namespace(name=http://www.pi4soa.org/ReqRespFault/Buyer,role=Buyer) ]] +[[ Namespace(name=http://www.pi4soa.org/ReqRespFault/Seller,role=Seller) ]] +[[ 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): + + } +}