AIOCJ: a choreographic framework for safe adaptive distributed applications. 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.
Keywords for this software
References in zbMATH (referenced in 8 articles )
Showing results 1 to 8 of 8.
- Bono, Viviana; Coppo, Mario; Dezani-Ciancaglini, Mariangiola; Venneri, Betti: Data-driven adaptation for smart sessions (2017)
- Preda, Mila Dalla; Gabbrielli, Maurizio; Giallorenzo, Saverio; Lanese, Ivan; Mauro, Jacopo: Dynamic choreographies: theory and implementation (2017)
- Castellani, Ilaria; Dezani-Ciancaglini, Mariangiola; Pérez, Jorge A.: Self-adaptation and secure information flow in multiparty communications (2016)
- Di Giusto, Cinzia; Pérez, Jorge A.: Event-based run-time adaptation in communication-centric systems (2016)
- Coppo, Mario; Dezani-Ciancaglini, Mariangiola; Padovani, Luca; Yoshida, Nobuko: A gentle introduction to multiparty asynchronous session types (2015)
- De Nicola, Rocco; Mezzina, Claudio Antares; Vieira, Hugo Torres: Global protocol implementations via attribute-based communication (2015)
- Lanese, Ivan; Montesi, Fabrizio; Zavattaro, Gianluigi: The evolution of Jolie. From orchestrations to adaptable choreographies (2015)
- Dalla Preda, Mila; Giallorenzo, Saverio; Lanese, Ivan; Mauro, Jacopo; Gabbrielli, Maurizio: AIOCJ: A choreographic framework for safe adaptive distributed applications (2014) ioport