Dynamic Choreographies - Safe Runtime Updates of Distributed Applications

Mila Dalla Preda; Maurizio Gabbrielli; Saverio Giallorenzo; Ivan Lanese; Jacopo Mauro

doi:10.1007/978-3-319-19282-6_5

Dynamic Choreographies - Safe Runtime Updates of Distributed Applications

Mila Dalla Preda, Maurizio Gabbrielli, Saverio Giallorenzo, Ivan Lanese, Jacopo Mauro

University of Bologna

Publikation: Kapitel i bog/rapport/konference-proceeding › Konferencebidrag i proceedings › Forskning › peer review

Abstract

Programming distributed applications free from communication deadlocks and races is complex. Preserving these properties when applications are updated at runtime is even harder.

We present DIOC, a language for programming distributed applications that are free from deadlocks and races by construction. A DIOC program describes a whole distributed application as a unique entity (choreography). DIOC allows the programmer to specify which parts of the application can be updated. At runtime, these parts may be replaced by new DIOC fragments from outside the application. DIOC programs are compiled, generating code for each site, in a lower-level language called DPOC. We formalise both DIOC and DPOC semantics as labelled transition systems and prove the correctness of the compilation as a trace equivalence result. As corollaries, DPOC applications are free from communication deadlocks and races, even in presence of runtime updates.

Originalsprog	Engelsk
Titel	Coordination Models and Languages - 17th IFIP WG 6.1 International Conference, COORDINATION 2015, Held as Part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015, Grenoble, France, June 2-4, 2015, Proceedings
Redaktører	Tom Holvoet, Mirko Viroli
Antal sider	16
Forlag	Springer
Publikationsdato	2015
Sider	67-82
ISBN (Trykt)	9783319192819
DOI	https://doi.org/10.1007/978-3-319-19282-6_5
Status	Udgivet - 2015
Udgivet eksternt	Ja

Dokumenter og links

10.1007/978-3-319-19282-6_5

Citationsformater

Preda, M. D., Gabbrielli, M., Giallorenzo, S., Lanese, I., & Mauro, J. (2015). Dynamic Choreographies - Safe Runtime Updates of Distributed Applications. I T. Holvoet, & M. Viroli (red.), Coordination Models and Languages - 17th IFIP WG 6.1 International Conference, COORDINATION 2015, Held as Part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015, Grenoble, France, June 2-4, 2015, Proceedings (s. 67-82). Springer. https://doi.org/10.1007/978-3-319-19282-6_5

Preda, Mila Dalla ; Gabbrielli, Maurizio ; Giallorenzo, Saverio et al. / Dynamic Choreographies - Safe Runtime Updates of Distributed Applications. Coordination Models and Languages - 17th IFIP WG 6.1 International Conference, COORDINATION 2015, Held as Part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015, Grenoble, France, June 2-4, 2015, Proceedings. red. / Tom Holvoet ; Mirko Viroli. Springer, 2015. s. 67-82

@inproceedings{00174c5d49674a0ebb792da251e14f49,

title = "Dynamic Choreographies - Safe Runtime Updates of Distributed Applications",

abstract = "Programming distributed applications free from communication deadlocks and races is complex. Preserving these properties when applications are updated at runtime is even harder.We present DIOC, a language for programming distributed applications that are free from deadlocks and races by construction. A DIOC program describes a whole distributed application as a unique entity (choreography). DIOC allows the programmer to specify which parts of the application can be updated. At runtime, these parts may be replaced by new DIOC fragments from outside the application. DIOC programs are compiled, generating code for each site, in a lower-level language called DPOC. We formalise both DIOC and DPOC semantics as labelled transition systems and prove the correctness of the compilation as a trace equivalence result. As corollaries, DPOC applications are free from communication deadlocks and races, even in presence of runtime updates.",

author = "Preda, {Mila Dalla} and Maurizio Gabbrielli and Saverio Giallorenzo and Ivan Lanese and Jacopo Mauro",

year = "2015",

doi = "10.1007/978-3-319-19282-6_5",

language = "English",

isbn = "9783319192819",

pages = "67--82",

editor = "Tom Holvoet and Mirko Viroli",

booktitle = "Coordination Models and Languages - 17th IFIP WG 6.1 International Conference, COORDINATION 2015, Held as Part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015, Grenoble, France, June 2-4, 2015, Proceedings",

publisher = "Springer",

address = "Germany",

}

Preda, MD, Gabbrielli, M, Giallorenzo, S, Lanese, I & Mauro, J 2015, Dynamic Choreographies - Safe Runtime Updates of Distributed Applications. i T Holvoet & M Viroli (red), Coordination Models and Languages - 17th IFIP WG 6.1 International Conference, COORDINATION 2015, Held as Part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015, Grenoble, France, June 2-4, 2015, Proceedings. Springer, s. 67-82. https://doi.org/10.1007/978-3-319-19282-6_5

Dynamic Choreographies - Safe Runtime Updates of Distributed Applications. / Preda, Mila Dalla; Gabbrielli, Maurizio; Giallorenzo, Saverio et al.
Coordination Models and Languages - 17th IFIP WG 6.1 International Conference, COORDINATION 2015, Held as Part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015, Grenoble, France, June 2-4, 2015, Proceedings. red. / Tom Holvoet; Mirko Viroli. Springer, 2015. s. 67-82.

Publikation: Kapitel i bog/rapport/konference-proceeding › Konferencebidrag i proceedings › Forskning › peer review

TY - GEN

T1 - Dynamic Choreographies - Safe Runtime Updates of Distributed Applications

AU - Preda, Mila Dalla

AU - Gabbrielli, Maurizio

AU - Giallorenzo, Saverio

AU - Lanese, Ivan

AU - Mauro, Jacopo

PY - 2015

Y1 - 2015

N2 - Programming distributed applications free from communication deadlocks and races is complex. Preserving these properties when applications are updated at runtime is even harder.We present DIOC, a language for programming distributed applications that are free from deadlocks and races by construction. A DIOC program describes a whole distributed application as a unique entity (choreography). DIOC allows the programmer to specify which parts of the application can be updated. At runtime, these parts may be replaced by new DIOC fragments from outside the application. DIOC programs are compiled, generating code for each site, in a lower-level language called DPOC. We formalise both DIOC and DPOC semantics as labelled transition systems and prove the correctness of the compilation as a trace equivalence result. As corollaries, DPOC applications are free from communication deadlocks and races, even in presence of runtime updates.

AB - Programming distributed applications free from communication deadlocks and races is complex. Preserving these properties when applications are updated at runtime is even harder.We present DIOC, a language for programming distributed applications that are free from deadlocks and races by construction. A DIOC program describes a whole distributed application as a unique entity (choreography). DIOC allows the programmer to specify which parts of the application can be updated. At runtime, these parts may be replaced by new DIOC fragments from outside the application. DIOC programs are compiled, generating code for each site, in a lower-level language called DPOC. We formalise both DIOC and DPOC semantics as labelled transition systems and prove the correctness of the compilation as a trace equivalence result. As corollaries, DPOC applications are free from communication deadlocks and races, even in presence of runtime updates.

U2 - 10.1007/978-3-319-19282-6_5

DO - 10.1007/978-3-319-19282-6_5

M3 - Article in proceedings

SN - 9783319192819

SP - 67

EP - 82

BT - Coordination Models and Languages - 17th IFIP WG 6.1 International Conference, COORDINATION 2015, Held as Part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015, Grenoble, France, June 2-4, 2015, Proceedings

A2 - Holvoet, Tom

A2 - Viroli, Mirko

PB - Springer

ER -

Preda MD, Gabbrielli M, Giallorenzo S, Lanese I, Mauro J. Dynamic Choreographies - Safe Runtime Updates of Distributed Applications. I Holvoet T, Viroli M, red., Coordination Models and Languages - 17th IFIP WG 6.1 International Conference, COORDINATION 2015, Held as Part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015, Grenoble, France, June 2-4, 2015, Proceedings. Springer. 2015. s. 67-82 doi: 10.1007/978-3-319-19282-6_5

Dynamic Choreographies - Safe Runtime Updates of Distributed Applications

Abstract

Dokumenter og links

Fingeraftryk

Citationsformater