A Formal Approach to Microservice Architecture Deployment

Mario Bravetti*, Saverio Giallorenzo, Jacopo Mauro, Iacopo Talevi, Gianluigi Zavattaro

*Corresponding author for this work

Research output: Chapter in Book/Report/Conference proceedingBook chapterCommunication


Following previous work on the automated deployment of component-based 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.
Original languageEnglish
Title of host publicationMicroservices : Science and Engineering
EditorsAntonio Bucchiarone, Nicola Dragoni, Schahram Dustdar, Patricia Lago, Manuel Mazzara, Victor Rivera, Andrey Sadovykh
Place of PublicationCham
PublisherSpringer Publishing Company
Publication date2020
ISBN (Print)978-3-030-31645-7
ISBN (Electronic)978-3-030-31646-4
Publication statusPublished - 2020


Dive into the research topics of 'A Formal Approach to Microservice Architecture Deployment'. Together they form a unique fingerprint.

Cite this