AIOCJ: A Choreographic Framework for Safe Adaptive Distributed Applications

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

doi:10.1007/978-3-319-11245-9_9

AIOCJ: A Choreographic Framework for Safe Adaptive Distributed Applications

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

University of Bologna

Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

Abstract

We present AIOCJ, a framework for programming distributed adaptive 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.

Original language	English
Title of host publication	Software Language Engineering - 7th International Conference, SLE 2014, Västerås, Sweden, September 15-16, 2014. Proceedings
Number of pages	10
Publisher	Springer
Publication date	2014
Pages	161-170
DOIs	https://doi.org/10.1007/978-3-319-11245-9_9
Publication status	Published - 2014
Externally published	Yes

Documents & Links

10.1007/978-3-319-11245-9_9

Cite this

@inproceedings{815be1d5afb64810a3454c9ae7f4b02c,

title = "AIOCJ: A Choreographic Framework for Safe Adaptive Distributed Applications",

abstract = "We present AIOCJ, a framework for programming distributed adaptive 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.",

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

year = "2014",

doi = "10.1007/978-3-319-11245-9_9",

language = "English",

pages = "161--170",

booktitle = "Software Language Engineering - 7th International Conference, SLE 2014, V{\"a}ster{\aa}s, Sweden, September 15-16, 2014. Proceedings",

publisher = "Springer",

address = "Germany",

}

AIOCJ: A Choreographic Framework for Safe Adaptive Distributed Applications. / Preda, Mila Dalla; Giallorenzo, Saverio; Lanese, Ivan et al.
Software Language Engineering - 7th International Conference, SLE 2014, Västerås, Sweden, September 15-16, 2014. Proceedings. Springer, 2014. p. 161-170.

Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

TY - GEN

T1 - AIOCJ: A Choreographic Framework for Safe Adaptive Distributed Applications

AU - Preda, Mila Dalla

AU - Giallorenzo, Saverio

AU - Lanese, Ivan

AU - Mauro, Jacopo

AU - Gabbrielli, Maurizio

PY - 2014

Y1 - 2014

N2 - We present AIOCJ, a framework for programming distributed adaptive 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.

AB - We present AIOCJ, a framework for programming distributed adaptive 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.

U2 - 10.1007/978-3-319-11245-9_9

DO - 10.1007/978-3-319-11245-9_9

M3 - Article in proceedings

SP - 161

EP - 170

BT - Software Language Engineering - 7th International Conference, SLE 2014, Västerås, Sweden, September 15-16, 2014. Proceedings

PB - Springer

ER -

AIOCJ: A Choreographic Framework for Safe Adaptive Distributed Applications

Abstract

Documents & Links

Fingerprint

Cite this