Verification of a Dynamic Management Protocol for Cloud Applications

Rim Abid 1, * Gwen Salaün 1 Francesco Bongiovanni 2 Noël De Palma 3, 4
* Corresponding author
1 CONVECS - Construction of verified concurrent systems
Inria Grenoble - Rhône-Alpes, LIG - Laboratoire d'Informatique de Grenoble
2 OASIS - Active objects, semantics, Internet and security
CRISAM - Inria Sophia Antipolis - Méditerranée , Laboratoire I3S - COMRED - COMmunications, Réseaux, systèmes Embarqués et Distribués
3 UJF - Université Joseph Fourier - Grenoble 1
4 LIG - Laboratoire d'Informatique de Grenoble
Abstract : Cloud applications are composed of a set of interconnected software components distributed over several virtual machines. There is a need for protocols that can dynamically reconfigure such distributed applications. In this paper, we present a novel protocol, which is able to resolve dependencies in these applications, by (dis)connecting and starting/stopping components in a specific order. These virtual machines interact through a publish-subscribe communication media and reconfig- ure themselves upon demand in a decentralised fashion. Designing such protocols is an error-prone task. Therefore, we decided to specify the protocol with the LNT value-passing process algebra and to verify it us- ing the model checking tools available in the CADP toolbox. As a result, the introduction of formal techniques and tools help to deeply revise the protocol, and these improvements have been taken into account in the corresponding Java implementation.
Document type :
Conference papers
11th International Symposium, ATVA 2013, Oct 2013, Hanoi, Vietnam. 8172, pp.178-192, 2013, 〈10.1007/978-3-319-02444-8_14〉
Liste complète des métadonnées

Cited literature [19 references]  Display  Hide  Download
https://hal.inria.fr/hal-00863262
Contributor : Rim Abid <>
Submitted on : Wednesday, September 18, 2013 - 3:08:25 PM
Last modification on : Wednesday, February 13, 2019 - 1:56:10 PM
Document(s) archivé(s) le : Thursday, April 6, 2017 - 10:00:51 PM

File

main.pdf
Files produced by the author(s)

Identifiers

Collections

INRIA | I3S | CONVECS | UNICE | UGA | LIG_MFML_CONVECS | LIG_MFML | LIG | UNIV-COTEDAZUR | LIG_SRCPR_ERODS | LIG_SRCPR

Citation

Rim Abid, Gwen Salaün, Francesco Bongiovanni, Noël De Palma. Verification of a Dynamic Management Protocol for Cloud Applications. 11th International Symposium, ATVA 2013, Oct 2013, Hanoi, Vietnam. 8172, pp.178-192, 2013, 〈10.1007/978-3-319-02444-8_14〉. 〈hal-00863262〉

Export

BibTeX TEI DC DCterms EndNote

Share

Metrics

Record views

903

Files downloads

323

Contact


archive-ouverte@inria.fr