Please use this identifier to cite or link to this item:
Title: From orchestration to choreography through contract automata
Authors: Basile, D.
Degano, P.
Ferrari, G-L.
Tuosto, Emilio
First Published: 26-Oct-2014
Presented at: 7th Interaction and Concurrency Experience (ICE 2014), Berlin, Germany, 6th June 2014
Publisher: Open Publishing Association
Citation: Electronic Proceedings in Theoretical Computer Science (EPTCS) 2014, 166, pp. 67-85
Abstract: We study the relations between a contract automata and an interaction model. In the former model, distributed services are abstracted away as automata - oblivious of their partners - that coordinate with each other through an orchestrator. The interaction model relies on channel-based asynchronous communication and choreography to coordinate distributed services. We define a notion of strong agreement on the contract model, exhibit a natural mapping from the contract model to the interaction model, and give conditions to ensure that strong agreement corresponds to well-formed choreography.
DOI Link: 10.4204/EPTCS.166.8
ISSN: 2075-2180
Version: Publisher Version
Status: Peer-reviewed
Type: Journal Article
Rights: Copyright © 2016 the authors. This file is distributed under the Creative Commons “Attribution Non-Commercial No Derivatives” licence, further details of which can be found via the following link:
Appears in Collections:Published Articles, Dept. of Computer Science

Files in This Item:
File Description SizeFormat 
1410.7471v1.pdfPublished (publisher PDF)200.2 kBAdobe PDFView/Open

Items in LRA are protected by copyright, with all rights reserved, unless otherwise indicated.