Skip to Main content Skip to Navigation
Journal articles

Formal modelling and verifying elasticity strategies in cloud systems

Abstract : Elasticity property allows cloud systems to adapt to their input workload by provisioning and deprovisioning resources as the demand grows and drops. However, due to the unpredictable nature of workload, providing accurate action plans to manage a cloud system's elasticity is a particularly challenging task. In this study, the authors propose a bigraphical reactive system-based approach to provide a formal modelling of cloud systems’ structure using bigraphs, and their elastic behaviours using bigraphical reaction rules. They introduce elasticity strategies to describe cloud systems’ auto-adaptation behaviours. One step further, they encode the bigraphical specifications into Maude language to enable an autonomic executability of the elastic behaviours and verify their correctness. Finally, they propose a queuing-based approach to discuss and analyse elasticity strategies in cloud systems through different simulated scenarios.
Complete list of metadatas

Cited literature [38 references]  Display  Hide  Download

https://hal-univ-pau.archives-ouvertes.fr/hal-02417557
Contributor : Khaled Khebbeb <>
Submitted on : Monday, February 10, 2020 - 1:58:10 PM
Last modification on : Wednesday, March 4, 2020 - 1:46:03 AM
Document(s) archivé(s) le : Monday, May 11, 2020 - 3:12:05 PM

File

Formal Modeling and Verifying ...
Publisher files allowed on an open archive

Identifiers

Collections

Citation

Khaled Khebbeb, Nabil Hameurlain, Faiza Belala, Hamza Sahli. Formal modelling and verifying elasticity strategies in cloud systems. IET Software, Institution of Engineering and Technology, 2019, 13 (1), pp.25-35. ⟨10.1049/iet-sen.2018.5030⟩. ⟨hal-02417557⟩

Share

Metrics

Record views

116

Files downloads

56