Automatic application deployment in the cloud: From practice to theory and back

Roberto Di Cosmo, Michael Lienhardt, Jacopo Mauro, Stefano Zacchiroli, Gianluigi Zavattaro, Jakub Zwolakowski

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Abstract

The problem of deploying a complex software application has been formally investigated in previous work by means of the abstract component model named Aeolus. As the problem turned out to be undecidable, simplified versions of the model were investigated in which decidability was restored by introducing limitations on the ways components are described. In this paper, we take an opposite approach, and investigate the possibility to address a relaxed version of the deployment problem without limiting the expressiveness of the component model. We identify three problems to be solved in sequence: (i) the verification of the existence of a final configuration in which all the constraints imposed by the single components are satisfied, (ii) the generation of a concrete configuration satisfying such constraints, and (iii) the synthesis of a plan to reach such a configuration possibly going through intermediary configurations that violate the non-functional constraints.

Original languageEnglish
Title of host publication26th International Conference on Concurrency Theory, CONCUR 2015
EditorsLuca Aceto, David de Frutos Escrig
Number of pages16
PublisherSchloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing
Publication date1. Aug 2015
Pages1-16
ISBN (Electronic)9783939897910
DOIs
Publication statusPublished - 1. Aug 2015
Externally publishedYes
Event26th International Conference on Concurrency Theory, CONCUR 2015 - Madrid, Spain
Duration: 1. Sept 20154. Sept 2015

Conference

Conference26th International Conference on Concurrency Theory, CONCUR 2015
Country/TerritorySpain
CityMadrid
Period01/09/201504/09/2015
SeriesLeibniz International Proceedings in Informatics, LIPIcs
Volume42
ISSN1868-8969

Keywords

  • Automatic deployment
  • Constraint programming
  • Devops
  • Planning

Fingerprint

Dive into the research topics of 'Automatic application deployment in the cloud: From practice to theory and back'. Together they form a unique fingerprint.

Cite this