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.
Type de document :
Communication dans un congrès
10th International Conference Software Engineering and Formal Methods (SEFM 2012), 2012, Unknown, 7504, pp.156--171, 2012, Lecture Notes in Computer Science
Liste complète des métadonnées

https://hal.inria.fr/hal-00909369
Contributeur : Davide Sangiogi <>
Soumis le : mardi 26 novembre 2013 - 11:07:53
Dernière modification le : jeudi 11 janvier 2018 - 16:24:40

Identifiants

  • 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), 2012, Unknown, 7504, pp.156--171, 2012, Lecture Notes in Computer Science. 〈hal-00909369〉

Partager

Métriques

Consultations de la notice

249