last movie
[homepage.git] / research / publications / sefm2012-aeolus.bib
1 @inproceedings{sefm2012-aeolus,
2   author = {Di Cosmo, Roberto and Stefano Zacchiroli and Zavattaro, Gianluigi},
3   title = {Towards a Formal Component Model for the Cloud},
4   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.},
5   publisher = {Springer-Verlag},
6   year = {2012},
7   isbn = {978-3-642-33825-0},
8   doi = {10.1007/978-3-642-33826-7_11},
9   pages = {156-171},
10   series = {LNCS},
11   volume = {7504},
12   booktitle = {SEFM 2012: 10th International Conference on Software Engineering and Formal Methods},
13 }