research: publishing details for SEFM 2012 paper
authorStefano Zacchiroli <zack@upsilon.cc>
Mon, 30 Jul 2012 16:32:58 +0000 (18:32 +0200)
committerStefano Zacchiroli <zack@upsilon.cc>
Mon, 30 Jul 2012 16:32:58 +0000 (18:32 +0200)
research/publications.mdwn
research/publications/sefm2012-aeolus.bib

index a3f314a..40b3d8d 100644 (file)
@@ -82,7 +82,9 @@ in reverse chronological order.
 
  1. <a class="paper-download" href="sefm2012-aeolus.pdf" title="download paper in PDF format">[.pdf]</a> <a class="bibtex-download" href="sefm2012-aeolus.bib" title="download bibliographic entry in BibTeX format">[.bib]</a> <a href="http://www.dicosmo.org">Roberto Di Cosmo</a>, <a href="http://upsilon.cc/~zack">Stefano Zacchiroli</a>, <a href="http://www.cs.unibo.it/~zavattar/">Gianluigi Zavattaro</a>. **Towards a Formal Component Model for the Cloud**.  <em>In proceedings of SEFM 2012: <a href="http://sefm2012.city.academic.gr/">10th International Conference on
       Software Engineering and Formal Methods</a>, Thessaloniki,
-      Greece, 1-5 October, 2012.</em>
+      Greece, 1-5 October, 2012. LNCS 7504,
+      pp. 156-171, Springer-Verlag,
+      2012.</em>
     [[!toggle id=id43 text="Abstract..."]] [[!toggleable id=id43 text="""
     *Abstract:* We consider the problem of deploying and (re)configuring resources in a "cloud" setting, where interconnected software components and services can be deployed on clusters of heterogeneous (virtual) machines that can be created and connected on-the-fly. We introduce the Aeolus component model to capture similar scenarii from realistic cloud deployments, and instrument automated planning of day-to-day activities such as software upgrade planning, service deployment, elastic scaling, etc. We formalize the model and characterize the feasibility and complexity of configuration achievability in Aeolus.
     """]]
index 7d58a3e..41c788f 100644 (file)
@@ -2,6 +2,10 @@
   author = {Di Cosmo, Roberto and Stefano Zacchiroli and Zavattaro, Gianluigi},
   title = {Towards a Formal Component Model for the Cloud},
   abstract = {We consider the problem of deploying and (re)configuring resources in a "cloud" setting, where interconnected software components and services can be deployed on clusters of heterogeneous (virtual) machines that can be created and connected on-the-fly. We introduce the Aeolus component model to capture similar scenarii from realistic cloud deployments, and instrument automated planning of day-to-day activities such as software upgrade planning, service deployment, elastic scaling, etc. We formalize the model and characterize the feasibility and complexity of configuration achievability in Aeolus.},
+  publisher = {Springer-Verlag},
   year = {2012},
+  pages = {156-171},
+  series = {LNCS},
+  volume = {7504},
   booktitle = {SEFM 2012: 10th International Conference on Software Engineering and Formal Methods},
 }