Skip to Main content Skip to Navigation
Conference papers

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
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.
Complete list of metadatas

Cited literature [19 references]  Display  Hide  Download
Contributor : Rim Abid <>
Submitted on : Wednesday, September 18, 2013 - 3:08:25 PM
Last modification on : Thursday, March 5, 2020 - 12:20:19 PM
Document(s) archivé(s) le : Thursday, April 6, 2017 - 10:00:51 PM


Files produced by the author(s)



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, Dang Van Hung and Mizuhito Ogawa, Oct 2013, Hanoi, Vietnam. pp.178-192, ⟨10.1007/978-3-319-02444-8_14⟩. ⟨hal-00863262⟩



Record views


Files downloads