Article thumbnail

A Formal Approach to Microservice Architecture Deployment

By Mario Bravetti and Saverio Giallorenzo and Jacopo Mauro and Iacopo Talevi and Gianluigi Zavattaro

Abstract

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

Topics: microservice architectures, automated deployment, formal methods
Publisher: 'Springer Science and Business Media LLC'
Year: 2020
DOI identifier: 10.1007/978-3-030-31646-4_8
OAI identifier: oai:cris.unibo.it:11585/766734
Download PDF:
Sorry, we are unable to provide the full text but you may find it at the following location(s):
  • http://hdl.handle.net/11585/76... (external link)
  • https://link.springer.com/chap... (external link)
  • Suggested articles


    To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.