Robust and reliable reconfiguration of cloud applications

Abstract : Cloud applications involve a set of interconnected software components running on remote virtual machines. The deployment and dynamic reconfigu-ration of cloud applications, involving the addition/removal of virtual machines and components hosted on these virtual machines, are error-prone tasks. They must preserve the application consistency and respect important architectural invariants related to software dependencies. In this paper, we introduce a protocol for automating these reconfiguration tasks. In order to ensure its correctness and robustness, we implement the protocol with the support of the Maude system for rapid prototyping purposes, and we verify it with its formal analysis tools.
Type de document :
Article dans une revue
Journal of Systems and Software, Elsevier, 2016, 122, pp.524-537. 〈10.1016/j.jss.2015.09.020〉
Liste complète des métadonnées

Littérature citée [27 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-01245555
Contributeur : Gwen Salaün <>
Soumis le : jeudi 17 décembre 2015 - 13:49:07
Dernière modification le : mercredi 11 avril 2018 - 01:55:33
Document(s) archivé(s) le : samedi 29 avril 2017 - 18:41:44

Fichier

main.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

Collections

Citation

Francisco Durán, Gwen Salaün. Robust and reliable reconfiguration of cloud applications. Journal of Systems and Software, Elsevier, 2016, 122, pp.524-537. 〈10.1016/j.jss.2015.09.020〉. 〈hal-01245555〉

Partager

Métriques

Consultations de la notice

410

Téléchargements de fichiers

102