Modeling and Evaluating Cross-layer Elasticity Strategies in Cloud Systems
| Autor: | Nabil Hameurlain, Khaled Khebbeb, Faiza Belala |
|---|---|
| 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], LIRE laboratory, Constantine, University of Constantine |
| Rok vydání: | 2018 |
| Předmět: |
Maude
Computer science Distributed computing Complex system Cloud computing [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE] 02 engineering and technology Model- ing [INFO.INFO-FL]Computer Science [cs]/Formal Languages and Automata Theory [cs.FL] 0202 electrical engineering electronic engineering information engineering [INFO]Computer Science [cs] Bigraphical Reactive Systems Elasticity (economics) Formal verification Reactive system Queueing theory business.industry 020206 networking & telecommunications Provisioning Workload Cloud Computing [INFO.INFO-MO]Computer Science [cs]/Modeling and Simulation Elasticity Data_GENERAL 020201 artificial intelligence & image processing Cross-Layer Elastic Behavior business |
| Zdroj: | Model and Data Engineering ISBN: 9783030008550 MEDI Abdelwahed E., Bellatreche L., Golfarelli M., Méry D., Ordonez C. (eds) Model and Data Engineering. MEDI 2018. Lecture Notes in Computer Science, vol 11163. Abdelwahed E., Bellatreche L., Golfarelli M., Méry D., Ordonez C. (eds) Model and Data Engineering. MEDI 2018. Lecture Notes in Computer Science, vol 11163., pp.168-183, 2018, ⟨10.1007/978-3-030-00856-7_11⟩ |
| DOI: | 10.1007/978-3-030-00856-7_11 |
| Popis: | International audience; Clouds are complex systems that provide computing resources in an elastic way. Elasticity property allows their adaptation to input workload by (de)provisioning resources as the demand rises and drops. However, due to the numerous overlapping factors that impact their elasticity and the unpredictable nature of the workload, providing accurate action plans to manage cloud systems’ elastic adaptations is a particularly challenging task. In this paper, we propose an approach based on Bigraphical Reactive Systems (BRS) to model cloud structures and their elastic behavior. We design elasticity strategies that operate at service and infrastructure cloud levels to manage the elastic adaptations. Besides, we provide a Maude encoding to permit generic executability and formal verification of the elastic behaviors. One step ahead, we show how the strategies can be combined at both levels to provide different high-level elastic behaviors. Finally, we evaluate the different cross-layer combinations using Queuing Theory. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|