Choreographies in the wild

Massimo Bartoletti; Julien Lange; Alceste Scalas; Roberto Zunino

doi:10.1016/j.scico.2014.11.015

Choreographies in the wild

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

^*Corresponding author for this work

College of Engineering and Physical Sciences

Research output: Contribution to journal › Article › peer-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 language	English
Pages (from-to)	36-60
Number of pages	25
Journal	Science of Computer Programming
Volume	109
DOIs	https://doi.org/10.1016/j.scico.2014.11.015
Publication status	Published - 1 Jan 2015

Bibliographical note

Keywords

Choreographies
Contracts
Session types

Access to Document

10.1016/j.scico.2014.11.015

Choreographies in the wildAccepted author manuscript, 705 KBLicence: CC BY-NC-ND 3.0

Cite this

@article{af46a6c2ef6c48699c80188d6f95638c,

title = "Choreographies in the wild",

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.",

keywords = "Choreographies, Contracts, Session types",

author = "Massimo Bartoletti and Julien Lange and Alceste Scalas and Roberto Zunino",

note = "{\textcopyright} 2014, Elsevier. Licensed under the Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International http://creativecommons.org/licenses/by-nc-nd/4.0/ ",

year = "2015",

month = jan,

day = "1",

doi = "10.1016/j.scico.2014.11.015",

language = "English",

volume = "109",

pages = "36--60",

journal = "Science of Computer Programming",

issn = "0167-6423",

publisher = "Elsevier",

}

TY - JOUR

T1 - Choreographies in the wild

AU - Bartoletti, Massimo

AU - Lange, Julien

AU - Scalas, Alceste

AU - Zunino, Roberto

PY - 2015/1/1

Y1 - 2015/1/1

N2 - 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.

AB - 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.

KW - Choreographies

KW - Contracts

KW - Session types

UR - http://www.scopus.com/inward/record.url?scp=84932195133&partnerID=8YFLogxK

UR - https://www.sciencedirect.com/science/article/pii/S0167642314005565?via%3Dihub

U2 - 10.1016/j.scico.2014.11.015

DO - 10.1016/j.scico.2014.11.015

M3 - Article

AN - SCOPUS:84932195133

SN - 0167-6423

VL - 109

SP - 36

EP - 60

JO - Science of Computer Programming

JF - Science of Computer Programming

ER -

Choreographies in the wild

Abstract

Bibliographical note

Keywords

Access to Document

Other files and links

Fingerprint

Cite this