Copyright Information
The documents distributed by this server have been provided by the contributing authors as a means to ensure timely dissemination of
scholarly and technical work on a noncommercial basis. Copyright and all rights therein are maintained by the authors or by other
copyright holders, notwithstanding that they have offered their works here electronically. It is understood that all persons copying
this information will adhere to the terms and constraints invoked by each author's copyright. These works may not be reposted without
the explicit permission of the copyright holder.
Sensoria Bibliography Site A Typed Model for Multiparty Conversations
Luis Caires, Hugo Vieira
abstract:
We present a typed language for expressing and analyzing concurrent multiparty
interactions of the kind found in service-oriented computing. The core
Conversation Calculus does not deviate from the -calculus by more than a
slight refinement of the communication mechanism, in which participants interact,
possibly concurrently, by exchanging messages within certain conversation
contexts, rather than by exchanging values on communication channels. 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 jargon. It turns out that conversation
types are simple, fairly readable, and general enough to discipline
interactions in conversations, while accounting for dynamical join and leave
of an unanticipated number of participants. We establish a soundness result,
stating that well-typed systems will never violate the prescribed conversation
constraints neither incur in certain kinds of runtime errors, and techniques to
ensure progress of systems involving several possibly interleaved and concurrent
conversations.
