CITI has stopped operations in 2014, to co-launch NOVA LINCS THIS SITE IS NOT BEING UPDATED SINCE 2013
citi banner
Home Page FCT/UNL UNL
  Home  \  Seminars @ CITI  \  Seminar Page Login  
   
banner bottom
File Top
Bridging the gap between Interaction- and Process-Oriented Choreographies
{ Fri, 19 Dec 2008, 14h00 }

By: Ivan Lanese  [ show info ]

In the area of service oriented computing, choreography languages are used to specify multi-party service compositions. Two main approaches have been followed in the design of these languages: the interaction-oriented approach at the basis of WS-CDL and the process-oriented approach of BPEL4Chor. In this paper we investigate the relationship between the two approaches. In particular, we consider several interpretations for interaction-oriented choreographies spanning from synchronous to (different forms of) asynchronous communication. Under each of these possible interpretations we characterize the class of interaction-oriented choreographies which have a direct process-oriented counterpart, and we formalize the corresponding notion of equivalence between the initial interaction-oriented choreography and the corresponding process-oriented counterpart.


Hosted by: Software Systems

Location: Departamento de Informática, Sala de Seminários

File Bottom