Automatic Application Deployment in the Cloud: from Practice to Theory and Back

Roberto Di Cosmo 1 Michael Lienhardt 2, 3 Jacopo Mauro 3, 2 Stefano Zacchiroli 1 Gianluigi Zavattaro 3, 2 Jakub Zwolakowski 1
1 PPS - Preuves, Programmes et Systèmes
2 FOCUS - Foundations of Component-based Ubiquitous Systems
CRISAM - Inria Sophia Antipolis - Méditerranée , DISI - Dipartimento di Informatica - Scienza e Ingegneria [Bologna]
3 DISI - Department of Computer Science and Engineering [Bologna]
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.
Document type :
Conference papers
Complete list of metadatas

Cited literature [13 references]  Display  Hide  Download
https://hal.inria.fr/hal-01233426
Contributor : Zavattaro Gianluigi <>
Submitted on : Monday, November 21, 2016 - 12:14:00 PM
Last modification on : Friday, January 4, 2019 - 5:32:59 PM
Long-term archiving on : Tuesday, March 14, 2017 - 1:52:49 PM

File

main.pdf
Files produced by the author(s)

Identifiers

Collections

UNIV-PARIS7 | INRIA | USPC | PPS | UNIV-COTEDAZUR

Citation

Roberto Di Cosmo, Michael Lienhardt, Jacopo Mauro, Stefano Zacchiroli, Gianluigi Zavattaro, et al.. Automatic Application Deployment in the Cloud: from Practice to Theory and Back . Proceedings of 26th International Conference on Concurrency Theory (CONCUR 2015), Sep 2015, Madrid, Spain. pp.1--16, ⟨10.4230/LIPIcs.CONCUR.2015.1⟩. ⟨hal-01233426⟩

Export

BibTeX TEI DC DCterms EndNote

Share

Metrics

Record views

335

Files downloads

93

Contact


archive-ouverte@inria.fr