Optimal and Automated Deployment for Microservices - Archive ouverte HAL Access content directly
Conference Papers Year :

Optimal and Automated Deployment for Microservices


Microservices are highly modular and scalable Service Oriented Architectures. They underpin automated deployment practices like Continuous Deployment and Autoscaling. In this paper we formalize these practices and show that automated deployment-proven undecid-able in the general case-is algorithmically treatable for microservices. Our key assumption is that the configuration life-cycle of a microservice is split into two phases: (i) creation, which entails establishing initial connections with already available microservices, and (ii) subsequent bind-ing/unbinding with other microservices. To illustrate the applicability of our approach, we implement an automatic optimal deployment tool and compute deployment plans for a realistic microservice architecture, modeled in the Abstract Behavioral Specification (ABS) language.
Fichier principal
Vignette du fichier
2019_Chapter_.pdf (480.37 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

hal-02387483 , version 1 (29-11-2019)



Mario Bravetti, Saverio Giallorenzo, Jacopo Mauro, Iacopo Talevi, Gianluigi Zavattaro. Optimal and Automated Deployment for Microservices. FASE 2019 - 22nd International Conference on Held as Part of the European, Apr 2019, Prague, Czech Republic. ⟨10.1007/978-3-030-16722-6_21⟩. ⟨hal-02387483⟩
69 View
78 Download



Gmail Facebook Twitter LinkedIn More