Skip to Main content Skip to Navigation
New interface
Conference papers

Towards a Formal Component Model for the Cloud

Roberto Di Cosmo 1 Stefano Zacchiroli 1 Gianluigi Zavattaro 2, 3 
3 FOCUS - Foundations of Component-based Ubiquitous Systems
CRISAM - Inria Sophia Antipolis - Méditerranée , DISI - Dipartimento di Informatica - Scienza e Ingegneria [Bologna]
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.
Document type :
Conference papers
Complete list of metadata
Contributor : Davide Sangiogi Connect in order to contact the contributor
Submitted on : Tuesday, November 26, 2013 - 11:07:53 AM
Last modification on : Saturday, June 25, 2022 - 7:39:44 PM


  • HAL Id : hal-00909369, version 1



Roberto Di Cosmo, Stefano Zacchiroli, Gianluigi Zavattaro. Towards a Formal Component Model for the Cloud. 10th International Conference Software Engineering and Formal Methods (SEFM 2012), Oct 2012, Thessaloniki, Greece. pp.156--171. ⟨hal-00909369⟩



Record views