Choreographies in the wild

Massimo Bartoletti, Julien Lange*, Alceste Scalas, Roberto Zunino

*Corresponding author for this work

Research output: Contribution to journalArticlepeer-review

Abstract

We investigate the use of choreographies in distributed scenarios where, as in the real world, mutually distrusting (and possibly dishonest) participants may be unfaithful to their expected behaviour. In our model, each participant advertises its promised behaviour as a contract. Participants may interact through multiparty sessions, created when their contracts allow to synthesise a choreography. We show that systems of honest participants (which always adhere to their contracts) enjoy progress and session fidelity.

Original languageEnglish
Pages (from-to)36-60
Number of pages25
JournalScience of Computer Programming
Volume109
DOIs
Publication statusPublished - 1 Jan 2015

Bibliographical note

© 2014, Elsevier. Licensed under the Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International http://creativecommons.org/licenses/by-nc-nd/4.0/

Keywords

  • Choreographies
  • Contracts
  • Session types

Cite this