PUMA
Istituto di Scienza e Tecnologie dell'Informazione     
Basile D., Degano P., Ferrari G., Tuosto E. Relating two automata-based models of orchestration and choreography. In: The Journal of Logic and Algebraic Programming, vol. 85 (3) pp. 425 - 446. Elsevier, 2016.
 
 
Abstract
(English)
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.
URL: http://dx.doi.org/10.1016/j.jlamp.2015.09.011
DOI: 10.1016/j.jlamp.2015.09.011
Subject Contracts,
Services
Model
Verification
D.2.4 SOFTWARE ENGINEERING. Software/Program Verification


Icona documento 1) Download Document PDF


Icona documento Open access Icona documento Restricted Icona documento Private

 


Per ulteriori informazioni, contattare: Librarian http://puma.isti.cnr.it

Valid HTML 4.0 Transitional