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 metadatas

Cited literature [55 references]  Display  Hide  Download

https://hal-univ-pau.archives-ouvertes.fr/hal-02525324
Contributor : Khaled Khebbeb <>
Submitted on : Monday, March 30, 2020 - 8:01:24 PM
Last modification on : Tuesday, April 21, 2020 - 2:01:28 AM

File

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

Identifiers

Collections

Citation

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⟩

Share

Metrics

Record views

122

Files downloads

70