Optimal and Automated Deployment for Microservices

Abstract : 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.
Complete list of metadatas

Cited literature [38 references]  Display  Hide  Download

Contributor : Mario Bravetti <>
Submitted on : Friday, November 29, 2019 - 6:15:37 PM
Last modification on : Saturday, November 30, 2019 - 1:30:55 AM


Files produced by the author(s)




Mario Bravetti, Saverio Giallorenzo, Jacopo Mauro, Iacopo Talevi, Gianluigi Zavattaro. Optimal and Automated Deployment for Microservices. Fundamental Approaches to Software Engineering - 22nd International Conference, FASE 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, Apr 2019, Prague, Czech Republic. ⟨10.1007/978-3-030-16722-6_21⟩. ⟨hal-02387483⟩



Record views


Files downloads