Dynamic Choreographies: Theory And Implementation

Abstract : Programming distributed applications free from communication deadlocks and race conditions is complex. Preserving these properties when applications are updated at runtime is even harder. We present a choreographic approach for programming updatable, distributed applications. We define a choreography language, called Dynamic Interaction-Oriented Choreography (DIOC), that allows the programmer to specify, from a global viewpoint, 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 participant in a process-level language called Dynamic Process-Oriented Choreographies (DPOC). We prove that DPOC distributed applications generated from DIOC specifications are deadlock free and race free and that these properties hold also after any runtime update. We instantiate the theoretical model above into a programming framework called Adaptable Interaction-Oriented Choreographies in Jolie (AIOCJ) that comprises an integrated development environment, a compiler from an extension of DIOCs to distributed Jolie programs, and a runtime environment to support their execution.
Type de document :
Article dans une revue
Logical Methods in Computer Science, Logical Methods in Computer Science Association, 2017, 13, pp.1 - 57. 〈10.23638/LMCS-13(2:1)2017〉
Liste complète des métadonnées

Littérature citée [44 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-01631394
Contributeur : Saverio Giallorenzo <>
Soumis le : jeudi 9 novembre 2017 - 10:49:38
Dernière modification le : samedi 27 janvier 2018 - 01:30:40
Document(s) archivé(s) le : samedi 10 février 2018 - 13:11:26

Fichier

1611.09067.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

Collections

Citation

Mila Dalla Preda, Maurizio Gabbrielli, Saverio Giallorenzo, Ivan Lanese, Jacopo Mauro. Dynamic Choreographies: Theory And Implementation. Logical Methods in Computer Science, Logical Methods in Computer Science Association, 2017, 13, pp.1 - 57. 〈10.23638/LMCS-13(2:1)2017〉. 〈hal-01631394〉

Partager

Métriques

Consultations de la notice

143

Téléchargements de fichiers

15