research: publishing details for SEFM 2012 paper
[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   pages = {156-171},
8   series = {LNCS},
9   volume = {7504},
10   booktitle = {SEFM 2012: 10th International Conference on Software Engineering and Formal Methods},
11 }