Towards a Formal Component Model for the Cloud - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2012

Towards a Formal Component Model for the Cloud


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.
No file

Dates and versions

hal-00909369 , version 1 (26-11-2013)


  • 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⟩
142 View
0 Download


Gmail Facebook X LinkedIn More