DocumentCode :
3532521
Title :
Bridging the Gap between Interaction- and Process-Oriented Choreographies
Author :
Lanese, Lvan ; Guidi, Claudio ; Montesi, Fabrizio ; Zavattaro, Gianluigi
Author_Institution :
Comput. Sci. Dept., Univ. of Bologna, Bologna
fYear :
2008
fDate :
10-14 Nov. 2008
Firstpage :
323
Lastpage :
332
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.
Keywords :
Web services; business data processing; Web service business process execution language; Web service choreography description language; asynchronous communication; interaction-oriented approach; multiparty service composition; process-oriented choreography; service oriented computing; Software engineering; Choreography; Service Oriented Computing; bisimilarity; calculi; conformance;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Software Engineering and Formal Methods, 2008. SEFM '08. Sixth IEEE International Conference on
Conference_Location :
Cape Town
Print_ISBN :
978-0-7695-3437-4
Type :
conf
DOI :
10.1109/SEFM.2008.11
Filename :
4685819
Link To Document :
بازگشت