Skip to Main content Skip to Navigation
Journal articles

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
Complete list of metadata

Cited literature [27 references]  Display  Hide  Download
Contributor : Gwen Salaün Connect in order to contact the contributor
Submitted on : Thursday, December 17, 2015 - 1:49:07 PM
Last modification on : Sunday, June 26, 2022 - 5:01:41 AM
Long-term archiving on: : Saturday, April 29, 2017 - 6:41:44 PM


Files produced by the author(s)




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⟩



Record views


Files downloads