Formal Modeling and Verification of Cloud Elasticity with Maude and LTL - Université de Pau et des Pays de l'Adour Accéder directement au contenu
Chapitre D'ouvrage Année : 2019

Formal Modeling and Verification of Cloud Elasticity with Maude and LTL

Résumé

Elasticity allows Cloud systems to adapt to the demand by (de)provisioning resources as the input workload rises and drops. Given the numerous overlapping factors that impact their elastic behavior, the specification and verification of Cloud elasticity is a particularly challenging task. In this paper, we propose a Maude-based approach to formalize Cloud systems’ elastic behaviors, as a first step towards the verification of their correctness through a LTL (Linear Temporal Logic) state-based model-checking technique.
Fichier non déposé

Dates et versions

hal-02417562 , version 1 (18-12-2019)

Identifiants

Citer

Khaled Khebbeb, Nabil Hameurlain, Faiza Belala. Formal Modeling and Verification of Cloud Elasticity with Maude and LTL. Attiogbé C., Ferrarotti F., Maabout S. (eds) New Trends in Model and Data Engineering. MEDI 2019. Communications in Computer and Information Science, vol 1085. Springer, Cham, pp.64-77, 2019, ⟨10.1007/978-3-030-32213-7_5⟩. ⟨hal-02417562⟩
76 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More