Abstract | ||
---|---|---|
A protocol for runtime reconfiguration of cloud applications with failures.The protocol is de-centralized and robust, and automatically reconfigures cloud applications.The protocol support VM instantiation and destruction, component start-up and shutdown.The protocol is formalized/implemented using the rewriting logic-based language Maude.The protocol has been validated using model checking on a large number of scenarios. Cloud applications involve a set of interconnected software components running on remote virtual machines. The deployment and dynamic reconfiguration 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. |
Year | DOI | Venue |
---|---|---|
2016 | 10.1016/j.jss.2015.09.020 | Journal of Systems and Software |
Keywords | Field | DocType |
rewriting logic,model checking,cloud computing | Virtual machine,Model checking,Computer science,Correctness,Real-time computing,Robustness (computer science),Software,Component-based software engineering,Control reconfiguration,Distributed computing,Cloud computing | Journal |
Volume | Issue | ISSN |
122 | C | 0164-1212 |
Citations | PageRank | References |
12 | 0.56 | 24 |
Authors | ||
2 |
Name | Order | Citations | PageRank |
---|---|---|---|
Francisco Durán | 1 | 178 | 15.15 |
Gwen Salaün | 2 | 988 | 71.03 |