Choreographies in the wild
File(s)choreographies-in-the-wild.pdf (705.45 KB)
Accepted version
Author(s)
Bartoletti, M
Lange, J
Scalas, A
Zunino, R
Type
Journal Article
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.
Date Issued
2014-11-29
Date Acceptance
2014-11-14
Citation
Science of Computer Programming, 2014, 109, pp.36-60
ISSN
1872-7964
Publisher
Elsevier
Start Page
36
End Page
60
Journal / Book Title
Science of Computer Programming
Volume
109
Copyright Statement
© 2014, Elsevier Ltd. All rights reserved. This manuscript is licensed under the Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International http://creativecommons.org/licenses/by-nc-nd/4.0/
Sponsor
Engineering & Physical Science Research Council (E
Identifier
http://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcApp=PARTNER_APP&SrcAuth=LinksAMR&KeyUT=WOS:000358469900003&DestLinkType=FullRecord&DestApp=ALL_WOS&UsrCustomerID=1ba7043ffcc86c417c072aa74d649202
Grant Number
ERI 025567 (EP/K034413/1)
Subjects
Science & Technology
Technology
Computer Science, Software Engineering
Computer Science
Contracts
Choreographies
Session types
SESSION TYPES
CONTRACTS
Software Engineering
0803 Computer Software
Publication Status
Published