Copyright Information
The documents distributed by this server have been provided by the contributing authors as a means to ensure timely dissemination of
scholarly and technical work on a noncommercial basis. Copyright and all rights therein are maintained by the authors or by other
copyright holders, notwithstanding that they have offered their works here electronically. It is understood that all persons copying
this information will adhere to the terms and constraints invoked by each author's copyright. These works may not be reposted without
the explicit permission of the copyright holder.
show main publications
Bridging the Gap between Interaction- and Process-Oriented Choreographies
@INPROCEEDINGS{LGMZ08,
title = {{Bridging the Gap between Interaction- and Process-Oriented Choreographies}},
author = {{Ivan} {Lanese} and {Claudio} {Guidi} and {Fabrizio} {Montesi} and {Gianluigi} {Zavattaro}},
booktitle = {Proc. of SEFM'08},
pages = {323-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. },
publisher = {IEEE press},
year = {2008},
url = {http://www.cs.unibo.it/~lanese/publications/fulltext/sefm2008.ps.gz},
doi = {10.1109/SEFM.2008.11},
invited = {N},
keywords = {conformance, Observational equivalences, process algebra, service composition},
partner = {UNIBO},
status = {public},
task = {T5.2},
}
|
