From Orchestration to Choreography through Contract Automata

Clicks: 320
ID: 44657
2014
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.
Reference Key
basile2014fromelectronic Use this key to autocite in the manuscript while using SciMatic Manuscript Manager or Thesis Manager
Authors Basile, Davide;Degano, Pierpaolo;Ferrari, Gian-Luigi;Tuosto, Emilio;
Journal electronic proceedings in theoretical computer science
Year 2014
DOI DOI not found
URL
http://arxiv.org/pdf/1410.7471v1
Keywords
Medicine Science general works history of scholarship and learning. the humanities social sciences (general) philology. linguistics language and literature communication. mass media mathematics electronic computers. computer science sports medicine fine arts arts in general visual arts

Citations

No citations found. To add a citation, contact the admin at info@scimatic.org

Comments

No comments yet. Be the first to comment on this article.