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.
Document type :
Journal articles
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

Cited literature [27 references]  Display  Hide  Download

https://hal.inria.fr/hal-01245555
Contributor : Gwen Salaün <>
Submitted on : Thursday, December 17, 2015 - 1:49:07 PM
Last modification on : Friday, January 6, 2017 - 1:24:40 AM
Document(s) archivé(s) le : Saturday, April 29, 2017 - 6:41:44 PM

File

main.pdf
Files produced by the author(s)

Identifiers

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〉

Share

Metrics

Record views

352

Document downloads

84