Logo eprints

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)

[img]
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: 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 Edit Item