A centralized and a decentralized method to automatically derive choreography-conforming web service systems

Rodrı́guez, Ismael; D́ıaz, Gregorio; Rabanal, Pablo; Mateo, José Antonio

doi:10.1016/j.jlap.2011.10.001

Cited by 4 publications

(9 citation statements)

References 37 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Thus, the choice between centralized or decentralized derivation depends on whether the information affecting services choices must be distributed, as well as on the efficiency. The correctness of both the centralized and the decentralized methods under the proposed formal model is proved in [11], [19].…”

Section: Automatically Deriving Choreography-conforming Systems Omentioning

confidence: 99%

“…The interested reader can find a formal presentation of these notions, as well as correctness proofs, in [11], [12], [19]. Next, we briefly describe our orchestration and choreography models.…”

Section: Automatically Deriving Choreography-conforming Systems Omentioning

confidence: 99%

“…However, message delays could break this property. In order to remove the necessity of assuming this hypothesis, an alternative model is considered in [19] where, when a message is sent, it is not immediately stored at the destination service. On the contrary, the message may stay in the communication medium for any arbitrarily long time.…”

Section: Automatically Deriving Choreography-conforming Systems Omentioning

confidence: 99%

“…Moreover, the tool includes three additional modules which do not only serve as the basis for the current tool but will also be the root for our future developments: parser, web services simulator, and graph viewer. In addition, following the ideas of the (also theoretical and only FSM-oriented) improved formal model given in [19], the WS-BPEL derivation algorithms of the tool produce correct services even if sent messages can be delayed any arbitrarily long time before they are received by their addressees. We also apply the tool to empirically analyze the performance of our derivation algorithms.…”

Section: Introductionmentioning

confidence: 99%

“…In Section II we define our formal model as well as the centralized and decentralized derivation algorithms. The presentation focuses on informally introducing the main formal notions (detailed formal definitions and correctness proofs can be found in our previous/current works [12], [11], [19]). In Section III we describe our derivation tool.…”

Section: Introductionmentioning

confidence: 99%

See 4 more Smart Citations

DIEGO: A Tool for DerIving chorEoGraphy-cOnforming Web Service Systems

Rabanal

Mateo

Rodrı́guez

et al. 2011

2011 IEEE International Conference on Web Services

Self Cite

View full text Add to dashboard Cite

We present a tool to automatically derive choreography-conforming web services systems. The user provides a specification that describes peer-to-peer collaborations of the observable behavior of parties from a global viewpoint, in our case WS-CDL documents, and the tool automatically extracts the particular behavior of each participant, more concretely, WS-BPEL documents defining the behavior from a local viewpoint. We implement two automatic methods (centralized and decentralized) that derive conforming systems even in cases where projecting the choreography into each service would lead to a non-conforming system. This issue is addressed by adding some control messages that make services interact as required by the choreography. Experiments where the number of exchanged messages is measured are presented, and strategies to reduce the number of these messages are discussed.

show abstract

Section: Automatically Deriving Choreography-conforming Systems Omentioning

confidence: 99%