Bartoletti, Massimo, Lange, Julien, Scalas, Alceste and Zunino, Roberto (2015). Choreographies in the wild. Science of Computer Programming, 109 , pp. 36-60.
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.
| Publication DOI: | https://doi.org/10.1016/j.scico.2014.11.015 |
|---|---|
| Divisions: | College of Engineering & Physical Sciences |
| Additional Information: | © 2014, Elsevier. Licensed under the Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International http://creativecommons.org/licenses/by-nc-nd/4.0/ |
| Uncontrolled Keywords: | Choreographies,Contracts,Session types,Software |
| Publication ISSN: | 1872-7964 |
| Last Modified: | 08 Apr 2024 07:26 |
| Date Deposited: | 19 Aug 2019 07:57 |
| Full Text Link: | |
| Related URLs: |
http://www.scop ... tnerID=8YFLogxK
(Scopus URL) https://www.sci ... 5565?via%3Dihub (Publisher URL) |
PURE Output Type: | Article |
| Published Date: | 2015-01-01 |
| Authors: |
Bartoletti, Massimo
Lange, Julien Scalas, Alceste ( 
0000-0002-1153-6164)
Zunino, Roberto |
Download
Version: Accepted Version
License: Creative Commons Attribution Non-commercial No Derivatives
| Preview
CORE (COnnecting REpositories)
CORE (COnnecting REpositories)