A Formal Approach to Microservice Architecture Deployment * - Archive ouverte HAL Access content directly
Book Sections Year : 2020

A Formal Approach to Microservice Architecture Deployment *

(1, 2) , (2, 1) , (3) , (1) , (2, 1)
1
2
3

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.
Fichier principal
Vignette du fichier
mse2020.pdf (397.66 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

hal-03077047 , version 1 (16-12-2020)

Identifiers

  • HAL Id : hal-03077047 , version 1

Cite

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

Share

Gmail Facebook Twitter LinkedIn More