From Orchestration to Choreography through Contract Automata
Formal Languages and Automata Theory
2014-10-29 v1 Logic in Computer Science
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.
Keywords
Cite
@article{arxiv.1410.7471,
title = {From Orchestration to Choreography through Contract Automata},
author = {Davide Basile and Pierpaolo Degano and Gian-Luigi Ferrari and Emilio Tuosto},
journal= {arXiv preprint arXiv:1410.7471},
year = {2014}
}
Comments
In Proceedings ICE 2014, arXiv:1410.7013