Formalizing and simulating cross-layer elasticity strategies in Cloud systems
| Autor: | Nabil Hameurlain, Faiza Belala, Khaled Khebbeb |
|---|---|
| Přispěvatelé: | Laboratoire Informatique de l'Université de Pau et des Pays de l'Adour (LIUPPA), Université de Pau et des Pays de l'Adour (UPPA), Laboratoire d'Informatique Répartie [Algérie] (LIRE), Université de Constantine 2 Abdelhamid Mehri [Constantine] |
| Jazyk: | angličtina |
| Rok vydání: | 2020 |
| Předmět: |
Correctness
Computer Networks and Communications Computer science business.industry Distributed computing Complex system 020206 networking & telecommunications Provisioning Cloud computing 02 engineering and technology [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE] [INFO.INFO-MO]Computer Science [cs]/Modeling and Simulation Linear temporal logic [INFO.INFO-FL]Computer Science [cs]/Formal Languages and Automata Theory [cs.FL] Data_GENERAL 0202 electrical engineering electronic engineering information engineering 020201 artificial intelligence & image processing [INFO]Computer Science [cs] Rewriting Elasticity (economics) business Reactive system Software |
| Zdroj: | Cluster Computing Cluster Computing, Springer Verlag, 2020, ⟨10.1007/s10586-020-03080-8⟩ |
| ISSN: | 1386-7857 1573-7543 |
| DOI: | 10.1007/s10586-020-03080-8⟩ |
| Popis: | International audience; 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. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|
Full text from SpringerLink