License: Creative Commons Attribution 3.0 Unported license (CC BY 3.0)
When quoting this document, please refer to the following
DOI: 10.4230/LIPIcs.CONCUR.2015.1
URN: urn:nbn:de:0030-drops-53956
URL: http://dagstuhl.sunsite.rwth-aachen.de/volltexte/2015/5395/
Go to the corresponding LIPIcs Volume Portal


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

Automatic Application Deployment in the Cloud: from Practice to Theory and Back (Invited Paper)

pdf-format:
p001-01-dicosmo.pdf (0.7 MB)


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.

BibTeX - Entry

@InProceedings{dicosmo_et_al:LIPIcs:2015:5395,
  author =	{Roberto Di Cosmo and Michael Lienhardt and Jacopo Mauro and Stefano Zacchiroli and Gianluigi Zavattaro and Jakub Zwolakowski},
  title =	{{Automatic Application Deployment in the Cloud: from Practice to Theory and Back (Invited Paper)}},
  booktitle =	{26th International Conference on Concurrency Theory (CONCUR 2015)},
  pages =	{1--16},
  series =	{Leibniz International Proceedings in Informatics (LIPIcs)},
  ISBN =	{978-3-939897-91-0},
  ISSN =	{1868-8969},
  year =	{2015},
  volume =	{42},
  editor =	{Luca Aceto and David de Frutos Escrig},
  publisher =	{Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{http://drops.dagstuhl.de/opus/volltexte/2015/5395},
  URN =		{urn:nbn:de:0030-drops-53956},
  doi =		{10.4230/LIPIcs.CONCUR.2015.1},
  annote =	{Keywords: Automatic deployment, Planning, DevOps, Constraint Programming}
}

Keywords: Automatic deployment, Planning, DevOps, Constraint Programming
Collection: 26th International Conference on Concurrency Theory (CONCUR 2015)
Issue Date: 2015
Date of publication: 26.08.2015


DROPS-Home | Fulltext Search | Imprint | Privacy Published by LZI