TY - GEN
T1 - Towards a formal component model for the cloud
AU - Di Cosmo, Roberto
AU - Zacchiroli, Stefano
AU - Zavattaro, Gianluigi
PY - 2012/11/6
Y1 - 2012/11/6
N2 - 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.
AB - 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.
UR - https://www.scopus.com/pages/publications/84868259961
U2 - 10.1007/978-3-642-33826-7_11
DO - 10.1007/978-3-642-33826-7_11
M3 - Conference contribution
AN - SCOPUS:84868259961
SN - 9783642338250
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 156
EP - 171
BT - Software Engineering and Formal Methods - 10th International Conference, SEFM 2012, Proceedings
T2 - 10th International Conference on Software Engineering and Formal Methods, SEFM 2012
Y2 - 1 October 2012 through 5 October 2012
ER -