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

Author: objectiser Date: 2011-02-17 11:48:17 -0500 (Thu, 17 Feb 2011) New Revision: 682 Removed: branches/experimental/2.0.x/bundles/org.savara.protocol/src/test/resources/testmodels/protocol/ESBBroker.spr branches/experimental/2.0.x/bundles/org.savara.protocol/src/test/resources/testmodels/protocol/PolicyQuote.spr branches/experimental/2.0.x/bundles/org.savara.protocol/src/test/resources/testmodels/protocol/PurchaseGoods.spr branches/experimental/2.0.x/bundles/org.savara.protocol/src/test/resources/testmodels/protocol/ReqRespFault.spr Log: Deleted: branches/experimental/2.0.x/bundles/org.savara.protocol/src/test/resources/testmodels/protocol/ESBBroker.spr =================================================================== --- branches/experimental/2.0.x/bundles/org.savara.protocol/src/test/resources/testmodels/protocol/ESBBroker.spr 2011-02-17 16:47:42 UTC (rev 681) +++ branches/experimental/2.0.x/bundles/org.savara.protocol/src/test/resources/testmodels/protocol/ESBBroker.spr 2011-02-17 16:48:17 UTC (rev 682) @@ -1,130 +0,0 @@ -[[ XSDElement ]] -import xsd "bookingReference" as BookingReference, "buy" as Buy, "cancel" as Cancel, "CreditCheckRequest" as CreditInformation, "CreditCheckInvalid" as CreditInvalid, "CreditCheckOk" as CreditValid, "enquiry" as Enquiry, "orderConfirmed" as OrderConfirmed, "orderRejected" as OrderRejected, "quote" as Quote, "quoteList" as QuoteList, "requestForQuote" as RequestForQuote; -[[ SourceComponent(id=//(a)choreographies.0) ]] -[[ 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; - [[ SourceComponent(id=//@choreographies.0/@activities.0/(a)exchangeDetails.0) ]] - [[ Interface(name={http://www.pi4soa.org/ESBBroker}BrokerBehavior) ]] - [[ Correlation(request=makeEnquiry) ]] - makeEnquiry(Enquiry) from Buyer to Broker; - [[ SourceComponent(id=//@choreographies.0/(a)activities.1) ]] - repeat { - [[ SourceComponent(id=//@choreographies.0/@activities.1/(a)activities.0) ]] - run RequestForQuote(Broker); - } - [[ SourceComponent(id=//@choreographies.0/@activities.2/@activities.0/(a)exchangeDetails.0) ]] - [[ Interface(name={http://www.pi4soa.org/ESBBroker}BrokerBehavior) ]] - [[ Correlation(replyTo=makeEnquiry) ]] - makeEnquiry(QuoteList) from Broker to Buyer; - [[ SourceComponent(id=//@choreographies.0/(a)activities.3) ]] - choice from Buyer to Broker { - [[ Correlation(request=buy) ]] - [[ SourceComponent(id=//@choreographies.0/@enclosedChoreographies.0/@activities.0/(a)exchangeDetails.0) ]] - buy(Buy): - role SupplierTxnProcessor; - [[ SourceComponent(id=//@choreographies.0/@enclosedChoreographies.0/@activities.1/(a)exchangeDetails.0) ]] - [[ Interface(name={http://www.pi4soa.org/ESBBroker}CreditAgencyBehavior) ]] - [[ Correlation(request=checkCredit) ]] - checkCredit(CreditInformation) from Broker to CreditAgency; - [[ SourceComponent(id=//@choreographies.0/@enclosedChoreographies.0/(a)activities.2) ]] - choice from CreditAgency to Broker { - [[ Correlation(replyTo=checkCredit) ]] - [[ SourceComponent(id=//@choreographies.0/@enclosedChoreographies.0/@activities.2/@activities.0/@activities.0/(a)exchangeDetails.0) ]] - checkCredit(CreditValid): - [[ SourceComponent(id=//@choreographies.0/@enclosedChoreographies.0/@activities.2/@activities.0/@activities.1/(a)exchangeDetails.0) ]] - [[ Interface(name={http://www.pi4soa.org/ESBBroker}SupplierBehavior) ]] - [[ Correlation(request=confirm) ]] - confirm(OrderConfirmed) from Broker to SupplierTxnProcessor; - [[ SourceComponent(id=//@choreographies.0/@enclosedChoreographies.0/@activities.2/@activities.0/@activities.1/(a)exchangeDetails.1) ]] - [[ Interface(name={http://www.pi4soa.org/ESBBroker}SupplierBehavior) ]] - [[ Correlation(replyTo=confirm) ]] - confirm(BookingReference) from SupplierTxnProcessor to Broker; - [[ SourceComponent(id=//@choreographies.0/@enclosedChoreographies.0/@activities.2/@activities.0/@activities.2/(a)exchangeDetails.0) ]] - [[ Interface(name={http://www.pi4soa.org/ESBBroker}BrokerBehavior) ]] - [[ Correlation(replyTo=buy) ]] - buy(BookingReference) from Broker to Buyer; - - [[ Fault(name=invalidCredit) ]] - [[ Correlation(replyTo=checkCredit) ]] - [[ SourceComponent(id=//@choreographies.0/@enclosedChoreographies.0/@activities.2/@activities.1/@activities.0/(a)exchangeDetails.0) ]] - checkCredit(CreditInvalid): - [[ SourceComponent(id=//@choreographies.0/@enclosedChoreographies.0/@activities.2/@activities.1/@activities.1/(a)exchangeDetails.0) ]] - [[ Fault(name=rejected) ]] - [[ Interface(name={http://www.pi4soa.org/ESBBroker}BrokerBehavior) ]] - [[ Correlation(replyTo=buy) ]] - buy(OrderRejected) from Broker to Buyer; - - } - - [[ SourceComponent(id=//@choreographies.0/@activities.3/@activities.1/@activities.0/(a)exchangeDetails.0) ]] - cancel(Cancel): - - } - [[ SourceComponent(id=//@choreographies.0/(a)enclosedChoreographies.0) ]] - [[ Namespace(name=http://www.pi4soa.org/ESBBroker/Supplier,role=SupplierTxnP... ]] - protocol CompleteTransaction(role Buyer, role Broker, role CreditAgency) { - role SupplierTxnProcessor; - [[ SourceComponent(id=//@choreographies.0/@enclosedChoreographies.0/@activities.0/(a)exchangeDetails.0) ]] - [[ Interface(name={http://www.pi4soa.org/ESBBroker}BrokerBehavior) ]] - [[ Correlation(request=buy) ]] - buy(Buy) from Buyer to Broker; - [[ SourceComponent(id=//@choreographies.0/@enclosedChoreographies.0/@activities.1/(a)exchangeDetails.0) ]] - [[ Interface(name={http://www.pi4soa.org/ESBBroker}CreditAgencyBehavior) ]] - [[ Correlation(request=checkCredit) ]] - checkCredit(CreditInformation) from Broker to CreditAgency; - [[ SourceComponent(id=//@choreographies.0/@enclosedChoreographies.0/(a)activities.2) ]] - choice from CreditAgency to Broker { - [[ Correlation(replyTo=checkCredit) ]] - [[ SourceComponent(id=//@choreographies.0/@enclosedChoreographies.0/@activities.2/@activities.0/@activities.0/(a)exchangeDetails.0) ]] - checkCredit(CreditValid): - [[ SourceComponent(id=//@choreographies.0/@enclosedChoreographies.0/@activities.2/@activities.0/@activities.1/(a)exchangeDetails.0) ]] - [[ Interface(name={http://www.pi4soa.org/ESBBroker}SupplierBehavior) ]] - [[ Correlation(request=confirm) ]] - confirm(OrderConfirmed) from Broker to SupplierTxnProcessor; - [[ SourceComponent(id=//@choreographies.0/@enclosedChoreographies.0/@activities.2/@activities.0/@activities.1/(a)exchangeDetails.1) ]] - [[ Interface(name={http://www.pi4soa.org/ESBBroker}SupplierBehavior) ]] - [[ Correlation(replyTo=confirm) ]] - confirm(BookingReference) from SupplierTxnProcessor to Broker; - [[ SourceComponent(id=//@choreographies.0/@enclosedChoreographies.0/@activities.2/@activities.0/@activities.2/(a)exchangeDetails.0) ]] - [[ Interface(name={http://www.pi4soa.org/ESBBroker}BrokerBehavior) ]] - [[ Correlation(replyTo=buy) ]] - buy(BookingReference) from Broker to Buyer; - - [[ Fault(name=invalidCredit) ]] - [[ Correlation(replyTo=checkCredit) ]] - [[ SourceComponent(id=//@choreographies.0/@enclosedChoreographies.0/@activities.2/@activities.1/@activities.0/(a)exchangeDetails.0) ]] - checkCredit(CreditInvalid): - [[ SourceComponent(id=//@choreographies.0/@enclosedChoreographies.0/@activities.2/@activities.1/@activities.1/(a)exchangeDetails.0) ]] - [[ Fault(name=rejected) ]] - [[ Interface(name={http://www.pi4soa.org/ESBBroker}BrokerBehavior) ]] - [[ Correlation(replyTo=buy) ]] - buy(OrderRejected) from Broker to Buyer; - - } - } - [[ SourceComponent(id=//@choreographies.0/(a)enclosedChoreographies.1) ]] - [[ Namespace(name=http://www.pi4soa.org/ESBBroker/Supplier,role=SupplierQuot... ]] - protocol RequestForQuote(role Broker) { - role SupplierQuoteEngine; - [[ SourceComponent(id=//@choreographies.0/@enclosedChoreographies.1/@activities.0/(a)exchangeDetails.0) ]] - [[ Interface(name={http://www.pi4soa.org/ESBBroker}SupplierBehavior) ]] - [[ Correlation(request=getQuote) ]] - getQuote(RequestForQuote) from Broker to SupplierQuoteEngine; - [[ SourceComponent(id=//@choreographies.0/@enclosedChoreographies.1/@activities.0/(a)exchangeDetails.1) ]] - [[ 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.protocol/src/test/resources/testmodels/protocol/PolicyQuote.spr =================================================================== --- branches/experimental/2.0.x/bundles/org.savara.protocol/src/test/resources/testmodels/protocol/PolicyQuote.spr 2011-02-17 16:47:42 UTC (rev 681) +++ branches/experimental/2.0.x/bundles/org.savara.protocol/src/test/resources/testmodels/protocol/PolicyQuote.spr 2011-02-17 16:48:17 UTC (rev 682) @@ -1,76 +0,0 @@ -[[ XSDElement ]] -import xsd "{http://creditagency.com/creditCheck}creditCheckRequest" as CreditCheckRequest, "{http://creditagency.com/creditCheck}creditCheckResponse" as CreditCheckResponse from "http://creditagency.com/creditCheck"; -[[ XSDElement ]] -import xsd "{http://dmv.com/drivingRecord}drivingRecordRequest" as DrivingRecordRequest, "{http://dmv.com/drivingRecord}drivingRecordResponse" as DrivingRecordResponse from "http://dmv.com/drivingRecord"; -[[ XSDType ]] -import xsd "{http://www.w3.org/2001/XMLSchema}string" as IDSSNType from "http://www.w3.org/2001/XMLSchema"; -[[ XSDElement ]] -import xsd "{http://www.example.org/policyQuote}policyQuote" as PolicyQuote, "{http://www.example.org/policyQuote}policyQuoteFault" as PolicyQuoteFault, "{http://www.example.org/policyQuote}policyQuoteReply" as PolicyQuoteReply from "http://www.example.org/policyQuote"; -[[ XSDElement ]] -import xsd "{http://www.w3.org/2001/XMLSchema}anyURI" as URITokenType from "http://www.w3.org/2001/XMLSchema"; -[[ SourceComponent(id=//(a)choreographies.0) ]] -[[ Namespace(name=http://www.pi4soa.org/PolicyQuote,role=Driver) ]] -[[ Namespace(name=http://creditagency.com/creditCheckService,role=CreditChec... ]] -[[ Namespace(name=http://dmv.com/drivingRecordService,role=DrivingRecordServ... ]] -[[ Namespace(name=http://www.example.org/policyQuoteCalculationService,role=... ]] -[[ Namespace(name=http://www.example.org/policyQuoteEntityService,role=Polic... ]] -[[ Namespace(name=http://www.example.org/policyQuoteProcessService,role=Poli... ]] -[[ Type(prefix=tns,namespace=http://www.pi4soa.org/PolicyQuote) ]] -[[ Type(prefix=xsd,namespace=http://www.w3.org/2001/XMLSchema) ]] -[[ Type(location=schema/policyQuote.xsd,prefix=pol,namespace=http://www.exam... ]] -[[ Type(location=schema/drivingRecord.xsd,prefix=drv,namespace=http://dmv.co... ]] -[[ Type(location=schema/creditCheck.xsd,prefix=cred,namespace=http://credita... ]] -[[ Type(prefix=pps,namespace=http://www.example.org/policyQuoteProcessService) ]] -[[ Type(prefix=pcs,namespace=http://www.example.org/policyQuoteCalculationSe... ]] -[[ Type(prefix=pes,namespace=http://www.example.org/policyQuoteEntityService) ]] -[[ Type(prefix=dmv,namespace=http://dmv.com/drivingRecordService) ]] -[[ Type(prefix=ca,namespace=http://creditagency.com/creditCheckService) ]] -protocol PolicyQuoteProcess { - role Driver, CreditCheckService, DrivingRecordService, PolicyQuoteCalculationService, PolicyQuoteEntityService, PolicyQuoteProcessService; - [[ SourceComponent(id=//@choreographies.0/@activities.0/(a)exchangeDetails.0) ]] - [[ Interface(name={http://www.pi4soa.org/PolicyQuote}PolicyQuoteProcessService) ]] - [[ Correlation(request=receivePolicyQuote) ]] - receivePolicyQuote(PolicyQuote) from Driver to PolicyQuoteProcessService; - [[ SourceComponent(id=//@choreographies.0/@activities.1/(a)exchangeDetails.0) ]] - [[ Interface(name={http://www.pi4soa.org/PolicyQuote}DrivingRecordService) ]] - checkDrivingRecord(DrivingRecordRequest) from PolicyQuoteProcessService to DrivingRecordService; - [[ SourceComponent(id=//@choreographies.0/@activities.2/(a)exchangeDetails.0) ]] - [[ Interface(name={http://www.pi4soa.org/PolicyQuote}DrivingRecordCallbackSe... ]] - receiveDrivingRecord(DrivingRecordResponse) from DrivingRecordService to PolicyQuoteProcessService; - [[ SourceComponent(id=//@choreographies.0/(a)activities.3) ]] - choice { - label0(): - [[ Correlation(request=checkCredit) ]] - checkCredit(CreditCheckRequest) from PolicyQuoteProcessService to CreditCheckService; - [[ SourceComponent(id=//@choreographies.0/@activities.3/@activities.0/@activities.0/@activities.0/(a)exchangeDetails.1) ]] - [[ Interface(name={http://www.pi4soa.org/PolicyQuote}CreditCheckService) ]] - [[ Correlation(replyTo=checkCredit) ]] - checkCredit(CreditCheckResponse) from CreditCheckService to PolicyQuoteProcessService; - [[ SourceComponent(id=//@choreographies.0/@activities.3/@activities.0/@activities.0/@activities.1/(a)exchangeDetails.0) ]] - [[ Interface(name={http://www.pi4soa.org/PolicyQuote}PolicyQuoteCalculationS... ]] - [[ Correlation(request=calculatePolicyQuote) ]] - calculatePolicyQuote(PolicyQuote) from PolicyQuoteProcessService to PolicyQuoteCalculationService; - [[ SourceComponent(id=//@choreographies.0/@activities.3/@activities.0/@activities.0/@activities.1/(a)exchangeDetails.1) ]] - [[ Interface(name={http://www.pi4soa.org/PolicyQuote}PolicyQuoteCalculationS... ]] - [[ Correlation(replyTo=calculatePolicyQuote) ]] - calculatePolicyQuote(PolicyQuoteReply) from PolicyQuoteCalculationService to PolicyQuoteProcessService; - [[ SourceComponent(id=//@choreographies.0/@activities.3/@activities.0/@activities.0/@activities.2/(a)exchangeDetails.0) ]] - [[ Interface(name={http://www.pi4soa.org/PolicyQuote}PolicyQuoteEntityService) ]] - [[ Correlation(request=createPolicyQuote) ]] - createPolicyQuote(PolicyQuote) from PolicyQuoteProcessService to PolicyQuoteEntityService; - [[ SourceComponent(id=//@choreographies.0/@activities.3/@activities.0/@activities.0/@activities.2/(a)exchangeDetails.1) ]] - [[ Interface(name={http://www.pi4soa.org/PolicyQuote}PolicyQuoteEntityService) ]] - [[ Correlation(replyTo=createPolicyQuote) ]] - createPolicyQuote(PolicyQuoteReply) from PolicyQuoteEntityService to PolicyQuoteProcessService; - [[ SourceComponent(id=//@choreographies.0/@activities.3/@activities.0/@activities.0/@activities.3/(a)exchangeDetails.0) ]] - [[ Interface(name={http://www.pi4soa.org/PolicyQuote}PolicyQuoteProcessService) ]] - [[ Correlation(replyTo=receivePolicyQuote) ]] - receivePolicyQuote(PolicyQuoteReply) from PolicyQuoteProcessService to Driver; - - label1(): - [[ Fault(name=policyQuoteFault) ]] - [[ Correlation(replyTo=receivePolicyQuote) ]] - receivePolicyQuote(PolicyQuoteFault) from PolicyQuoteProcessService to Driver; - - } -} Deleted: branches/experimental/2.0.x/bundles/org.savara.protocol/src/test/resources/testmodels/protocol/PurchaseGoods.spr =================================================================== --- branches/experimental/2.0.x/bundles/org.savara.protocol/src/test/resources/testmodels/protocol/PurchaseGoods.spr 2011-02-17 16:47:42 UTC (rev 681) +++ branches/experimental/2.0.x/bundles/org.savara.protocol/src/test/resources/testmodels/protocol/PurchaseGoods.spr 2011-02-17 16:48:17 UTC (rev 682) @@ -1,46 +0,0 @@ -[[ XSDType ]] -import xsd "{http://www.jboss.org/examples/store}BuyConfirmed" as BuyConfirmed, "{http://www.jboss.org/examples/store}BuyFailed" as BuyFailed, "{http://www.jboss.org/examples/store}BuyRequest" as BuyRequest from "http://www.jboss.org/examples/store"; -[[ XSDType ]] -import xsd "{java:org.jboss.savara.examples.purchasing}CreditCheckInvalid" as CreditCheckInvalid, "{java:org.jboss.savara.examples.purchasing}CreditCheckOk" as CreditCheckOk, "{java:org.jboss.savara.examples.purchasing}CreditCheckRequest" as CreditCheckRequest from "java:org.jboss.savara.examples.purchasing"; -[[ XSDType ]] -import xsd "{http://www.w3.org/2001/XMLSchema}string" as IDType, "{http://www.w3.org/2001/XMLSchema}anyURI" as URITokenType from "http://www.w3.org/2001/XMLSchema"; -[[ SourceComponent(id=//(a)choreographies.0) ]] -[[ 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; - [[ SourceComponent(id=//@choreographies.0/@activities.0/(a)exchangeDetails.0) ]] - [[ Interface(name={http://www.jboss.org/examples/store}StoreInterface) ]] - [[ Correlation(request=buy) ]] - buy(BuyRequest) from Buyer to Store; - [[ SourceComponent(id=//@choreographies.0/@activities.1/(a)exchangeDetails.0) ]] - [[ Interface(name={java:org.jboss.savara.examples.purchasing}CreditAgencyInterface) ]] - [[ Correlation(request=checkCredit) ]] - checkCredit(CreditCheckRequest) from Store to CreditAgency; - [[ SourceComponent(id=//@choreographies.0/(a)activities.2) ]] - choice from CreditAgency to Store { - [[ Correlation(replyTo=checkCredit) ]] - [[ SourceComponent(id=//@choreographies.0/@activities.2/@activities.0/@activities.0/(a)exchangeDetails.0) ]] - checkCredit(CreditCheckOk): - [[ SourceComponent(id=//@choreographies.0/@activities.2/@activities.0/@activities.1/(a)exchangeDetails.0) ]] - [[ Interface(name={http://www.jboss.org/examples/store}StoreInterface) ]] - [[ Correlation(replyTo=buy) ]] - buy(BuyConfirmed) from Store to Buyer; - - [[ Fault(name=CreditCheckFailed) ]] - [[ Correlation(replyTo=checkCredit) ]] - [[ SourceComponent(id=//@choreographies.0/@activities.2/@activities.1/@activities.0/(a)exchangeDetails.0) ]] - checkCredit(CreditCheckInvalid): - [[ SourceComponent(id=//@choreographies.0/@activities.2/@activities.1/@activities.1/(a)exchangeDetails.0) ]] - [[ 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.protocol/src/test/resources/testmodels/protocol/ReqRespFault.spr =================================================================== --- branches/experimental/2.0.x/bundles/org.savara.protocol/src/test/resources/testmodels/protocol/ReqRespFault.spr 2011-02-17 16:47:42 UTC (rev 681) +++ branches/experimental/2.0.x/bundles/org.savara.protocol/src/test/resources/testmodels/protocol/ReqRespFault.spr 2011-02-17 16:48:17 UTC (rev 682) @@ -1,28 +0,0 @@ -[[ XSDElement ]] -import xsd "CreditCheckRequest" as CreditInformation, "CreditCheckInvalid" as CreditInvalid, "CreditCheckOk" as CreditValid; -[[ SourceComponent(id=//(a)choreographies.0) ]] -[[ 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; - [[ SourceComponent(id=//@choreographies.0/@activities.0/(a)exchangeDetails.0) ]] - [[ Interface(name={http://www.pi4soa.org/ReqRespFault}SellerBehavior) ]] - [[ Correlation(request=checkCredit) ]] - checkCredit(CreditInformation) from Buyer to Seller; - [[ SourceComponent(id=//@choreographies.0/(a)activities.1) ]] - choice from Seller to Buyer { - [[ Correlation(replyTo=checkCredit) ]] - [[ SourceComponent(id=//@choreographies.0/@activities.1/@activities.0/@activities.0/(a)exchangeDetails.0) ]] - checkCredit(CreditValid): - - [[ Fault(name=insufficientCredit) ]] - [[ Correlation(replyTo=checkCredit) ]] - [[ SourceComponent(id=//@choreographies.0/@activities.1/@activities.1/@activities.0/(a)exchangeDetails.0) ]] - checkCredit(CreditInvalid): - - } -}