2016
Journal article  Open Access

Relating two automata-based models of orchestration and choreography

Basile D., Degano P., Ferrari G., Tuosto E.

Computational Theory and Mathematics  Services  Theoretical Computer Science  Model  Verification  Software  Logic  Contracts 

We investigate the relations between two automata-based models for describing and studying distributed services, called contract automata and communicating machines. In the first model, distributed services are abstracted away as automata - oblivious of their partners - that coordinate with each other through an orchestrator. The second one is concerned with the interactions occurring between distributed services, that are represented by channel-based asynchronous communications; then services are coordinated through choreography. We define a notion of strong agreement on contract automata; exhibit a natural mapping from this model to communicating machines with a synchronous semantics; and give conditions to ensure that strong agreement corresponds to well-formed choreography. Then these results are extended to a more liberal notion of agreement and to a fully asynchronous semantics of communicating machines.

Source: Journal of Logical and Algebraic Methods in Programming [online] 85 (2016): 425–446. doi:10.1016/j.jlamp.2015.09.011

Publisher: Elsevier, Amsterdam, NH.


Metrics



Back to previous page
BibTeX entry
@article{oai:it.cnr:prodotti:366880,
	title = {Relating two automata-based models of orchestration and choreography},
	author = {Basile D. and Degano P. and Ferrari G. and Tuosto E.},
	publisher = {Elsevier, Amsterdam, NH.},
	doi = {10.1016/j.jlamp.2015.09.011},
	journal = {Journal of Logical and Algebraic Methods in Programming [online]},
	volume = {85},
	pages = {425–446},
	year = {2016}
}

MEALS
Mobility between Europe and Argentina applying Logics to Systems


OpenAIRE