AIOCJ: A Choreographic Framework for Safe Adaptive Distributed Applications - Inria - Institut national de recherche en sciences et technologies du numérique
Communication Dans Un Congrès Année : 2014

AIOCJ: A Choreographic Framework for Safe Adaptive Distributed Applications

Résumé

We present AIOCJ, a framework for programming distributed adap-tive applications. Applications are programmed using AIOC, a choreographic language suited for expressing patterns of interaction from a global point of view. AIOC allows the programmer to specify which parts of the application can be adapted. Adaptation takes place at runtime by means of rules, which can change during the execution to tackle possibly unforeseen adaptation needs. AIOCJ relies on a solid theory that ensures applications to be deadlock-free by construction also after adaptation. We describe the architecture of AIOCJ, the design of the AIOC language, and an empirical validation of the framework.
Fichier principal
Vignette du fichier
sle.pdf (187.84 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01089187 , version 1 (01-12-2014)

Identifiants

Citer

Mila Dalla Preda, Saverio Giallorenzo, Ivan Lanese, Jacopo Mauro, Maurizio Gabbrielli. AIOCJ: A Choreographic Framework for Safe Adaptive Distributed Applications. SLE 2014, Sep 2014, Västerås, Sweden. pp.161 - 170, ⟨10.1007/978-3-319-11245-9_9⟩. ⟨hal-01089187⟩

Collections

INRIA INRIA2
259 Consultations
101 Téléchargements

Altmetric

Partager

More