Formalizing and simulating cross-layer elasticity strategies in Cloud systems - Archive ouverte HAL Access content directly
Journal Articles Cluster Computing Year : 2020

Formalizing and simulating cross-layer elasticity strategies in Cloud systems

(1, 2) , (1) , (2)
1
2

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.
Fichier principal
Vignette du fichier
POSTPRINT formalizing and simulating cross-layer elasticity strategies in cloud systems.pdf (1.66 Mo) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

Dates and versions

hal-02525324 , version 1 (30-03-2020)

Identifiers

Cite

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

Altmetric

Share

Gmail Facebook Twitter LinkedIn More