Bridging the Gap between Interaction- and Process-Oriented Choreographies

Authors:
Ivan Lanese;Claudio Guidi;Fabrizio Montesi;Gianluigi Zavattaro
Affiliations:
-;-;-;-
Venue:
SEFM '08 Proceedings of the 2008 Sixth IEEE International Conference on Software Engineering and Formal Methods
Year:
2008

Citing 0
Cited 9

Contract-Driven Implementation of Choreographies

Trustworthy Global Computing
Dynamic Error Handling in Service Oriented Applications

Fundamenta Informaticae - Application of Concurrency to System Design
Conversation types

Theoretical Computer Science
Dynamic Error Handling in Service Oriented Applications

Fundamenta Informaticae - Application of Concurrency to System Design
Orchestrating tuple-based languages

TGC'11 Proceedings of the 6th international conference on Trustworthy Global Computing
Nested protocols in session types

CONCUR'12 Proceedings of the 23rd international conference on Concurrency Theory
Deadlock-freedom-by-design: multiparty asynchronous global programming

POPL '13 Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Using motivation and choreography to model distributed workflow

Proceedings of the 5th ACM SIGCHI Annual International Workshop on Behaviour Modelling - Foundations and Applications
Compositional choreographies

CONCUR'13 Proceedings of the 24th international conference on Concurrency Theory

Quantified Score

Hi-index	0.00

Visualization

Abstract

In service oriented computing, choreography languages are used to specify multi-party service compositions. Two main approaches have been followed: the interaction-oriented approach of WS-CDL and the process-oriented approach of BPEL4Chor. We investigate the relationship between them.In particular, we consider several interpretations for interaction-oriented choreographies spanning from synchronous to asynchronous communication. Under each of these interpretations we characterize the class of interaction-oriented choreographies which have a process-oriented counterpart, and we formalize the notion of equivalence between the initial interaction-oriented choreography and the corresponding process-oriented one.