Robust and reliable reconfiguration of cloud applications - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Journal Articles Journal of Systems and Software Year : 2016

Robust and reliable reconfiguration of cloud applications


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.
Fichier principal
Vignette du fichier
main.pdf (808.51 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

hal-01245555 , version 1 (17-12-2015)



Francisco Durán, Gwen Salaün. Robust and reliable reconfiguration of cloud applications. Journal of Systems and Software, 2016, 122, pp.524-537. ⟨10.1016/j.jss.2015.09.020⟩. ⟨hal-01245555⟩
201 View
189 Download



Gmail Facebook X LinkedIn More