eprintid: 2299
rev_number: 7
eprint_status: archive
userid: 59
dir: disk0/00/00/22/99
datestamp: 2014-10-08 13:47:34
lastmod: 2015-04-08 10:37:32
status_changed: 2014-10-08 13:47:34
type: article
metadata_visibility: show
creators_name: Caires, Luis
creators_name: Torres Vieira, Hugo 
creators_id: 
creators_id: hugo.torresvieira@imtlucca.it
title: Conversation types 
ispublished: pub
subjects: QA75
divisions: CSA
full_text_status: none
keywords: Behavioral types; Distributed systems; Program analysis; Service-based systems; Session types
note: European Symposium on Programming 2009 {ESOP} 2009 
abstract: 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 uniformly 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. 
date: 2010-12
date_type: published
publication: Theoretical Computer Science
volume: 411
number: 51–52
publisher: Elsevier
pagerange: 4399 - 4440
id_number: 10.1016/j.tcs.2010.09.010
refereed: TRUE
issn: 0304-3975
official_url: http://www.sciencedirect.com/science/article/pii/S0304397510004895
citation:   Caires, Luis and Torres Vieira, Hugo   Conversation types.  Theoretical Computer Science, 411 (51–52).  4399 - 4440.  ISSN 0304-3975      (2010)