[savara-commits] savara SVN: r610 - in branches/experimental/2.0.x/bundles/org.savara.pi4soa.cdm/src/test/resources: results and 1 other directories.

Author: objectiser Date: 2011-01-21 18:23:08 -0500 (Fri, 21 Jan 2011) New Revision: 610 Added: branches/experimental/2.0.x/bundles/org.savara.pi4soa.cdm/src/test/resources/results/ branches/experimental/2.0.x/bundles/org.savara.pi4soa.cdm/src/test/resources/results/protocol/ branches/experimental/2.0.x/bundles/org.savara.pi4soa.cdm/src/test/resources/results/protocol/ESBBroker.spr branches/experimental/2.0.x/bundles/org.savara.pi4soa.cdm/src/test/resources/results/protocol/PurchaseGoods.spr branches/experimental/2.0.x/bundles/org.savara.pi4soa.cdm/src/test/resources/results/protocol/ReqRespFault.spr Log: Started localising the parsing and generation tests to the specific plugins. The current results for the protocol don't include the necessary annotations to carry the additional information. Added: branches/experimental/2.0.x/bundles/org.savara.pi4soa.cdm/src/test/resources/results/protocol/ESBBroker.spr =================================================================== --- branches/experimental/2.0.x/bundles/org.savara.pi4soa.cdm/src/test/resources/results/protocol/ESBBroker.spr (rev 0) +++ branches/experimental/2.0.x/bundles/org.savara.pi4soa.cdm/src/test/resources/results/protocol/ESBBroker.spr 2011-01-21 23:23:08 UTC (rev 610) @@ -0,0 +1,46 @@ +protocol ESBBrokerProcess { + role Broker, Buyer, CreditAgency, Supplier; + makeEnquiry(Enquiry) from Buyer to Broker; + repeat { + run RequestForQuote(Broker); + } + makeEnquiry(QuoteList) from Broker to Buyer; + choice from Buyer to Broker { + buy(Buy): + role SupplierTxnProcessor; + checkCredit(CreditInformation) from Broker to CreditAgency; + choice from CreditAgency to Broker { + checkCredit(CreditValid): + confirm(OrderConfirmed) from Broker to SupplierTxnProcessor; + confirm(BookingReference) from SupplierTxnProcessor to Broker; + buy(BookingReference) from Broker to Buyer; + + checkCredit(CreditInvalid): + buy(OrderRejected) from Broker to Buyer; + + } + + cancel(Cancel): + + } + protocol CompleteTransaction { + role SupplierTxnProcessor; + buy(Buy) from Buyer to Broker; + checkCredit(CreditInformation) from Broker to CreditAgency; + choice from CreditAgency to Broker { + checkCredit(CreditValid): + confirm(OrderConfirmed) from Broker to SupplierTxnProcessor; + confirm(BookingReference) from SupplierTxnProcessor to Broker; + buy(BookingReference) from Broker to Buyer; + + checkCredit(CreditInvalid): + buy(OrderRejected) from Broker to Buyer; + + } + } + protocol RequestForQuote { + role SupplierQuoteEngine; + getQuote(RequestForQuote) from Broker to SupplierQuoteEngine; + getQuote(Quote) from SupplierQuoteEngine to Broker; + } +} Added: branches/experimental/2.0.x/bundles/org.savara.pi4soa.cdm/src/test/resources/results/protocol/PurchaseGoods.spr =================================================================== --- branches/experimental/2.0.x/bundles/org.savara.pi4soa.cdm/src/test/resources/results/protocol/PurchaseGoods.spr (rev 0) +++ branches/experimental/2.0.x/bundles/org.savara.pi4soa.cdm/src/test/resources/results/protocol/PurchaseGoods.spr 2011-01-21 23:23:08 UTC (rev 610) @@ -0,0 +1,13 @@ +protocol PurchaseGoodsProcess { + role Buyer, CreditAgency, Store; + buy(BuyRequest) from Buyer to Store; + checkCredit(CreditCheckRequest) from Store to CreditAgency; + choice from CreditAgency to Store { + checkCredit(CreditCheckOk): + buy(BuyConfirmed) from Store to Buyer; + + checkCredit(CreditCheckInvalid): + buy(BuyFailed) from Store to Buyer; + + } +} Added: branches/experimental/2.0.x/bundles/org.savara.pi4soa.cdm/src/test/resources/results/protocol/ReqRespFault.spr =================================================================== --- branches/experimental/2.0.x/bundles/org.savara.pi4soa.cdm/src/test/resources/results/protocol/ReqRespFault.spr (rev 0) +++ branches/experimental/2.0.x/bundles/org.savara.pi4soa.cdm/src/test/resources/results/protocol/ReqRespFault.spr 2011-01-21 23:23:08 UTC (rev 610) @@ -0,0 +1,10 @@ +protocol ReqRespFaultProcess { + role Buyer, Seller; + checkCredit(CreditInformation) from Buyer to Seller; + choice from Seller to Buyer { + checkCredit(CreditValid): + + checkCredit(CreditInvalid): + + } +}