Programming Adaptive Microservice Applications: an AIOCJ Tutorial

Saverio Giallorenzo 1, 2 Ivan Lanese 1, 2 Jacopo Mauro 1, 3 Maurizio Gabbrielli 2, 1
1 FOCUS - Foundations of Component-based Ubiquitous Systems
CRISAM - Inria Sophia Antipolis - Méditerranée , DISI - Dipartimento di Informatica - Scienza e Ingegneria [Bologna]
Abstract : This tutorial describes AIOCJ, which stands for Adaptive Interaction Oriented Choreographies in Jolie, a choreographic language for programming microservice-based applications which can be updated at runtime. The compilation of a single AIOCJ program generates the whole set of distributed microservices that compose the application. Adaptation is performed using adaptation rules. Abstractly, each rule replaces a pre-delimited part of the program with the new code contained in the rule itself. Concretely, at runtime, the application of a rule updates part of the microservices that compose the application so to match the behavior specified by the updated program. Thanks to the properties of choreographies, the adaptive application is free from communication deadlocks and message races even after adaptation.
Document type :
Book sections
Complete list of metadatas

Cited literature [16 references]  Display  Hide  Download

https://hal.inria.fr/hal-01631422
Contributor : Saverio Giallorenzo <>
Submitted on : Thursday, November 9, 2017 - 1:14:11 PM
Last modification on : Wednesday, October 10, 2018 - 10:08:57 AM
Long-term archiving on : Saturday, February 10, 2018 - 1:05:23 PM

File

main.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-01631422, version 1

Collections

Citation

Saverio Giallorenzo, Ivan Lanese, Jacopo Mauro, Maurizio Gabbrielli. Programming Adaptive Microservice Applications: an AIOCJ Tutorial. Simon Gay; António Ravara. Behavioural Types: from Theory to Tools, River Publishers, 2017, ⟨http://www.riverpublishers.com/research_details.php?book_id=439⟩. ⟨hal-01631422⟩

Share

Metrics

Record views

144

Files downloads

204