Skip to Main content Skip to Navigation
Conference papers

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 metadata

Cited literature [38 references]  Display  Hide  Download
Contributor : Mario Bravetti Connect in order to contact the contributor
Submitted on : Friday, November 29, 2019 - 6:15:37 PM
Last modification on : Monday, November 23, 2020 - 8:46:02 AM


Files produced by the author(s)




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⟩



Record views


Files downloads