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

https://hal.inria.fr/hal-02387483
Contributor : Mario Bravetti <>
Submitted on : Friday, November 29, 2019 - 6:15:37 PM
Last modification on : Saturday, November 30, 2019 - 1:30:55 AM

File

2019_Chapter_.pdf
Files produced by the author(s)

Identifiers

Collections

Citation

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⟩

Share

Metrics

Record views

56

Files downloads

93