publications: add biblio info and camera ready for I&C Aeolus paper
authorStefano Zacchiroli <>
Wed, 26 Nov 2014 20:41:29 +0000 (21:41 +0100)
committerStefano Zacchiroli <>
Wed, 26 Nov 2014 20:41:29 +0000 (21:41 +0100)
research/publications/ic-2014-aeolus.pdf [new file with mode: 0644]

index 5d42ed6..5b8dc70 100644 (file)
@@ -13,10 +13,9 @@ You might also be interested in my author profiles on
 # <span title="international, peer-reviewed journals">international, peer-reviewed journal articles</span>
- 1. <a class="bibtex-download" href="ic-2014-aeolus.bib" title="download bibliographic entry in BibTeX format">[.bib]</a> <span class="doi_logo"><a href="" title="Document Object Identifier">doi&gt;</a></span> <a href="">Roberto Di Cosmo</a>, <a href="">Jacopo Mauro</a>, <a href="">Stefano Zacchiroli</a>, <a href="">Gianluigi Zavattaro</a>. **Aeolus: a Component Model for the Cloud**.  <em>To appear in <a href="">Information
-        and Computation</a>,
-      ISSN 0890-5401, Elsevier.
-      </em>
+ 1. <a class="paper-download" href="ic-2014-aeolus.pdf" title="download paper in PDF format">[.pdf]</a> <a class="bibtex-download" href="ic-2014-aeolus.bib" title="download bibliographic entry in BibTeX format">[.bib]</a> <span class="doi_logo"><a href="" title="Document Object Identifier">doi&gt;</a></span> <a href="">Roberto Di Cosmo</a>, <a href="">Jacopo Mauro</a>, <a href="">Stefano Zacchiroli</a>, <a href="">Gianluigi Zavattaro</a>. **Aeolus: a Component Model for the Cloud**.  <em>To appear in <a href="">Information
+      and Computation</a>, Volume 239, <a href="">pp. 100-121</a>. 2014.
+      ISSN 0890-5401, Elsevier.</em>
     [[!toggle id=id56 text="Abstract..."]] [[!toggleable id=id56 text="""
     *Abstract:* We introduce the Aeolus component model, which is specifically designed to capture realistic scenarii arising when configuring and deploying distributed applications in the so-called cloud environments, where interconnected components can be deployed on clusters of heterogeneous virtual machines, which can be in turn created, destroyed, and connected on-the-fly. The full Aeolus model is able to describe several component characteristics such as dependencies, conflicts, non-functional requirements (replication requests and load limits), as well as the fact that component interfaces to the world might vary depending on the internal component state. When the number of components needed to build an application grows, it becomes important to be able to automate activities such as deployment and reconfiguration. This correspond, at the level of the model, to the ability to decide whether a desired target system configuration is reachable, which we call the achievability problem, and producing a path to reach it. In this work we show that the achievability problem is undecidable for the full Aeolus model, a strong limiting result for automated configuration in the cloud. We also show that the problem becomes decidable, but Ackermann-hard, as soon as one drops non-functional requirements. Finally, we provide a polynomial time algorithm for the further restriction of the model where support for inter-component conflicts is also removed.
index ca3cc7d..ccccdcb 100644 (file)
@@ -6,5 +6,7 @@
   year = {2014},
   issn = {0890-5401},
   doi = {10.1016/j.ic.2014.11.002},
+  pages = {100-121},
+  volume = {239},
   journal = {Information and Computation},
diff --git a/research/publications/ic-2014-aeolus.pdf b/research/publications/ic-2014-aeolus.pdf
new file mode 100644 (file)
index 0000000..1542411
Binary files /dev/null and b/research/publications/ic-2014-aeolus.pdf differ