Skip to Main content Skip to Navigation
Journal articles

Formalizing and simulating cross-layer elasticity strategies in Cloud systems

Abstract : Clouds are complex systems that provide computing resources in an elastic way. Elasticity allows their adaptation to input workloads by (de)provisioning resources as the demand rises and drops. Given the numerous overlapping factors that impact their elasticity and the unpredictable nature of the workload, providing accurate action plans to manage Cloud elasticity is a particularly challenging task. In this paper, we propose a formal approach based on bigraphical reactive systems to model Cloud structures and their elastic behavior. We design cross-layer elasticity strategies which operate at application and infrastructure Cloud layers to manage the elastic adaptations. We encode the elastic behaviors in Rewriting logic, through the Maude framework, to enable their generic executability. We provide a qualitative verification of the designed behaviors’ correctness with a model-checking technique supported by the linear temporal logic. Finally, we provide a tooled simulation-based methodology, through the Queuing theory, to conduct a quantitative analysis of the designed elasticity strategies.
Complete list of metadata

Cited literature [55 references]  Display  Hide  Download
Contributor : Khaled Khebbeb Connect in order to contact the contributor
Submitted on : Monday, March 30, 2020 - 8:01:24 PM
Last modification on : Tuesday, February 15, 2022 - 3:41:27 AM


POSTPRINT formalizing and simu...
Files produced by the author(s)




Khaled Khebbeb, Nabil Hameurlain, Faiza Belala. Formalizing and simulating cross-layer elasticity strategies in Cloud systems. Cluster Computing, Springer Verlag, 2020, ⟨10.1007/s10586-020-03080-8⟩. ⟨hal-02525324⟩



Record views


Files downloads