papers: update biblio entries for CONCUR 2015 paper
authorStefano Zacchiroli <zack@upsilon.cc>
Wed, 28 Oct 2015 09:44:12 +0000 (10:44 +0100)
committerStefano Zacchiroli <zack@upsilon.cc>
Wed, 28 Oct 2015 09:44:12 +0000 (10:44 +0100)
research/publications.mdwn
research/publications/aeolus-concur-2015.bib

index 69847ad..da45971 100644 (file)
@@ -136,9 +136,14 @@ You might also be interested in my author profiles on
     [[!toggle id=id61 text="Abstract..."]] [[!toggleable id=id61 text="""
     *Abstract:* We present Aeolus Blender (Blender in the following), a software product for the automatic deployment and configuration of complex service-based, distributed software systems in the "cloud". By relying on a configuration optimiser and a deployment planner, Blender fully automates the deployment of real-life applications on OpenStack cloud deployments, by exploiting a knowledge base of software services provided by the Mandriva Armonic tool suite. The final deployment is guaranteed to satisfy not only user requirements and relevant software dependencies, but also to be optimal with respect to the number of used virtual machines.
     """]]
- 1. <a class="paper-download" href="aeolus-concur-2015.pdf" title="download paper in PDF format">[.pdf]</a> <a class="bibtex-download" href="aeolus-concur-2015.bib" title="download bibliographic entry in BibTeX format">[.bib]</a> <a href="http://www.dicosmo.org">Roberto Di Cosmo</a>, <a href="http://gzoumix.wikidot.com/">Michael Lienhardt</a>, <a href="http://www.cs.unibo.it/~jmauro/">Jacopo Mauro</a>, <a href="http://upsilon.cc/~zack">Stefano Zacchiroli</a>, <a href="http://www.cs.unibo.it/~zavattar/">Gianluigi Zavattaro</a>, <a href="http://www.pps.univ-paris-diderot.fr/~qba/">Jakub Zwolakowski</a>. **Automatic Application Deployment in the Cloud: from Practice to Theory and Back**.  <em>To appear in proceedings of <a href="http://mafalda.fdi.ucm.es/concur2015/">CONCUR 2015</a>: 26th
+ 1. <a class="paper-download" href="aeolus-concur-2015.pdf" title="download paper in PDF format">[.pdf]</a> <a class="bibtex-download" href="aeolus-concur-2015.bib" title="download bibliographic entry in BibTeX format">[.bib]</a> <span class="doi_logo"><a href="http://dx.doi.org/10.4230/LIPIcs.CONCUR.2015.1" title="Document Object Identifier">doi&gt;</a></span> <a href="http://www.dicosmo.org">Roberto Di Cosmo</a>, <a href="http://gzoumix.wikidot.com/">Michael Lienhardt</a>, <a href="http://www.cs.unibo.it/~jmauro/">Jacopo Mauro</a>, <a href="http://upsilon.cc/~zack">Stefano Zacchiroli</a>, <a href="http://www.cs.unibo.it/~zavattar/">Gianluigi Zavattaro</a>, <a href="http://www.pps.univ-paris-diderot.fr/~qba/">Jakub Zwolakowski</a>. **Automatic Application Deployment in the Cloud: from Practice to Theory and Back**.  <em>In proceedings of <a href="http://mafalda.fdi.ucm.es/concur2015/">CONCUR 2015</a>: 26th
       International Conference on Concurrency Theory,
       September 1-4, 2015, Madrid, Spain.
+      Leibniz International Proceedings in Informatics
+      (LIPIcs) 42,
+      <a href="http://drops.dagstuhl.de/opus/volltexte/2015/5395/pdf/p001-01-dicosmo.pdf">pp. 1-16</a>,
+      ISBN 978-3-939897-91-0,
+      Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik 2015.
       </em>
     [[!toggle id=id60 text="Abstract..."]] [[!toggleable id=id60 text="""
     *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.
index a562311..67e27eb 100644 (file)
@@ -2,6 +2,12 @@
   author = {Di Cosmo, Roberto and Lienhardt, Michael and Mauro, Jacopo and Stefano Zacchiroli and Zavattaro, Gianluigi and Zwolakowski, Jakub},
   title = {Automatic Application Deployment in the Cloud: from Practice to Theory and Back},
   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.},
+  publisher = {Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
   year = {2015},
+  isbn = {978-3-939897-91-0},
+  doi = {10.4230/LIPIcs.CONCUR.2015.1},
+  pages = {1-16},
+  series = {Leibniz International Proceedings in Informatics (LIPIcs)},
+  volume = {42},
   booktitle = {CONCUR 2015: 26th International Conference on Concurrency Theory},
 }