Verification of a Dynamic Management Protocol for Cloud Applications - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2013

Verification of a Dynamic Management Protocol for Cloud Applications

Résumé

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.
Fichier principal
Vignette du fichier
main.pdf (1.05 Mo) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-00863262 , version 1 (18-09-2013)

Identifiants

Citer

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⟩
642 Consultations
323 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More