1410.7471v1.pdf (200.2 kB)
Download file

From orchestration to choreography through contract automata

Download (200.2 kB)
journal contribution
posted on 07.04.2016, 09:40 by D. Basile, P. Degano, G-L. Ferrari, Emilio Tuosto
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.

History

Citation

Electronic Proceedings in Theoretical Computer Science (EPTCS) 2014, 166, pp. 67-85

Author affiliation

/Organisation/COLLEGE OF SCIENCE AND ENGINEERING/Department of Computer Science

Source

7th Interaction and Concurrency Experience (ICE 2014), Berlin, Germany, 6th June 2014

Version

VoR (Version of Record)

Published in

Electronic Proceedings in Theoretical Computer Science (EPTCS) 2014

Publisher

Open Publishing Association

issn

2075-2180

Copyright date

2016

Available date

07/04/2016

Publisher version

http://eptcs.web.cse.unsw.edu.au/paper.cgi?ICE2014.8

Language

en

Usage metrics

Categories

Keywords

Exports