eprintid: 2298
rev_number: 10
eprint_status: archive
userid: 59
dir: disk0/00/00/22/98
datestamp: 2014-10-08 13:38:03
lastmod: 2015-04-08 10:37:32
status_changed: 2014-10-08 13:38:03
type: book_section
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: public
note: Proceedings of the 18th European Symposium on Programming, ESOP 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 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: 2009
date_type: published
series: Lecture Notes in Computer Science
number: 5502
publisher: Springer
pagerange: 285-300
id_number: 10.1007/978-3-642-00590-9_21
refereed: TRUE
isbn: 978-3-642-00590-9
book_title: Programming Languages and Systems
official_url: http://dx.doi.org/10.1007/978-3-642-00590-9_21
citation:   Caires, Luis and Torres Vieira, Hugo   Conversation types.   In:  Programming Languages and Systems.   Lecture Notes in Computer Science  (5502).  Springer, pp. 285-300.  ISBN 978-3-642-00590-9      (2009)  
document_url: http://eprints.imtlucca.it/2298/1/TorresVieira_LNCS_5502.pdf