Skip to Main content Skip to Navigation
Book sections

A Formal Approach to Microservice Architecture Deployment *

Abstract : Following previous work on the automated deployment of componentbased applications, we present a formal model specifically tailored for reasoning on the deployment of microservice architectures. The first result that we present is a formal proof of decidability of the problem of synthesizing optimal deployment plans for microservice architectures, a problem which was proved to be undecidable for generic component-based applications. Then, given that such proof translates the deployment problem into a constraint satisfaction problem, we present the implementation of a tool that, by exploiting state-of-the-art constraint solvers, can be used to actually synthesize optimal deployment plans. We evaluate the applicability of our tool on a realistic microservice architecture taken from the literature.
Document type :
Book sections
Complete list of metadata
Contributor : Saverio Giallorenzo Connect in order to contact the contributor
Submitted on : Wednesday, December 16, 2020 - 3:20:55 PM
Last modification on : Thursday, December 17, 2020 - 4:13:41 AM
Long-term archiving on: : Wednesday, March 17, 2021 - 7:31:59 PM


Files produced by the author(s)


  • HAL Id : hal-03077047, version 1



Mario Bravetti, Saverio Giallorenzo, Jacopo Mauro, Iacopo Talevi, Gianluigi Zavattaro. A Formal Approach to Microservice Architecture Deployment *. Microservices, Science and Engineering, 2020. ⟨hal-03077047⟩



Les métriques sont temporairement indisponibles