AIOCJ: A Choreographic Framework for Safe Adaptive Distributed Applications

Mila Dalla Preda 1, 2 Saverio Giallorenzo 1, 2 Ivan Lanese 1, 2 Jacopo Mauro 1, 2 Maurizio Gabbrielli 1, 2
1 FOCUS - Foundations of Component-based Ubiquitous Systems
CRISAM - Inria Sophia Antipolis - Méditerranée , DISI - Dipartimento di Informatica - Scienza e Ingegneria [Bologna]
Abstract : 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.
Type de document :
Communication dans un congrès
SLE 2014, Sep 2014, Västerås, Sweden. pp.161 - 170, 2014, 〈10.1007/978-3-319-11245-9_9〉
Liste complète des métadonnées

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

https://hal.inria.fr/hal-01089187
Contributeur : Jacopo Mauro <>
Soumis le : lundi 1 décembre 2014 - 12:10:27
Dernière modification le : samedi 27 janvier 2018 - 01:31:32
Document(s) archivé(s) le : vendredi 14 avril 2017 - 23:44:29

Fichier

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

Identifiants

Collections

Citation

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, 2014, 〈10.1007/978-3-319-11245-9_9〉. 〈hal-01089187〉

Partager

Métriques

Consultations de la notice

261

Téléchargements de fichiers

88