Davide Basile (Dipartimento di Informatica, Universita' di Pisa, Italy) |
Pierpaolo Degano (Dipartimento di Informatica, Universita' di Pisa, Italy) |
Gian-Luigi Ferrari (Dipartimento di Informatica, Universita' di Pisa, Italy) |
Emilio Tuosto (Computer Science Department, University of Leicester) |
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. |
ArXived at: https://dx.doi.org/10.4204/EPTCS.166.8 | bibtex | |
Comments and questions to: eptcs@eptcs.org |
For website issues: webmaster@eptcs.org |