Conversation types

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)

Preview

PDF (Pre-print version) Download (251kB) | Preview

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.

Item Type:	Book Section
Identification Number:	https://doi.org/10.1007/978-3-642-00590-9_21
Additional Information:	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.
Subjects:	Q Science > QA Mathematics > QA75 Electronic computers. Computer science
Research Area:	Computer Science and Applications
Depositing User:	Hugo Vieria
Date Deposited:	08 Oct 2014 13:38
Last Modified:	08 Apr 2015 10:37
URI:	http://eprints.imtlucca.it/id/eprint/2298

Actions (login required)

Edit Item