CITI has stopped operations in 2014, to co-launch NOVA LINCS THIS SITE IS NOT BEING UPDATED SINCE 2013
citi banner
  Home  \  Publications  \  Article Page Login  
banner bottom
File Top
Conversation Types

We present a type theory for analyzing concurrent multiparty interactions as found in service- oriented computing. Our theory introduces a novel and flexible type structure, able to uni- formly describe both the internal and the interface behavior of systems, referred respectively as choreographies and contracts in web-services terminology. The notion of conversation builds on the fundamental concept of session, but generalizes it along directions up to now unexplored; in particular, conversation types discipline interactions in conversations while accounting for dynamical join and leave of an unanticipated number of participants. We prove that well-typed systems never violate the prescribed conversation constraints. We also present techniques to ensure progress of systems involving several interleaved conversations, a previously open problem.


Journal: Theoretical Computer Science ( Germany )

Volume: 411

Number: 51-52

Pages: 4399 to 4440

Date: November, 2010

File Bottom