Towards a Formal Component Model for the Cloud

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 metadatas

https://hal.inria.fr/hal-00909369
Contributor : Davide Sangiogi <>
Submitted on : Tuesday, November 26, 2013 - 11:07:53 AM
Last modification on : Friday, January 4, 2019 - 5:32:58 PM

Identifiers

  • HAL Id : hal-00909369, version 1

Collections

Citation

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⟩

Share

Metrics

Record views

322