Logo eprints

Conversation types

Caires, Luis and Torres Vieira, Hugo Conversation types. Theoretical Computer Science, 411 (51–52). 4399 - 4440. ISSN 0304-3975 (2010)

Full text not available from this repository.


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: Article
Identification Number: 10.1016/j.tcs.2010.09.010
Additional Information: European Symposium on Programming 2009 {ESOP} 2009
Uncontrolled Keywords: Behavioral types; Distributed systems; Program analysis; Service-based systems; Session types
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:47
Last Modified: 08 Apr 2015 10:37
URI: http://eprints.imtlucca.it/id/eprint/2299

Actions (login required)

Edit Item Edit Item