Skip to main content
Fachgebiete
Automobil + Motoren Bauwesen + Immobilien Business IT + Informatik Elektrotechnik + Elektronik Energie + Nachhaltigkeit Finance + Banking Management + Führung Marketing + Vertrieb Maschinenbau + Werkstoffe Versicherung + Risiko
DE
EN
Bücher
Zeitschriften
Themenseiten
Organisationspsychologie Projektmanagement Marketing Smart Manufacturing
Weitere Formate
Podcasts Webinare Technik Webinare Wirtschaft Kongresse Veranstaltungskalender Awards
Jetzt Einzelzugang starten
Zugang für Unternehmen
Referenzkunden
SLX-Digitalkonferenz: Zukunftswerkstatt 2024

Mehr Umsatz mit Top-Kontakten

Am 7. Mai erfahren Sie, wie Vertriebsteams Leadgenerierung, Leadnurturing und Leadstrategien effizient steuern können.
Erweiterte Suche
Anmelden
nach oben
Erschienen in:
Data Science with Vadalog: Bridging Machine Learning and Reasoning Kapitel lesen Erstes Kapitel lesen

2018 | OriginalPaper | Buchkapitel

Modeling and Evaluating Cross-layer Elasticity Strategies in Cloud Systems

verfasst von : Khaled Khebbeb, Nabil Hameurlain, Faiza Belala

Erschienen in: Model and Data Engineering

Verlag: Springer International Publishing

Einloggen

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

search-config
loading …

Abstract

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.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

  • über 102.000 Bücher
  • über 537 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe
  • Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Jetzt informieren

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 390 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Maschinenbau + Werkstoffe




 

Jetzt Wissensvorsprung sichern!

Jetzt informieren

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 340 Zeitschriften

aus folgenden Fachgebieten:

  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Versicherung + Risiko




Jetzt Wissensvorsprung sichern!

Jetzt informieren
Vorheriges Kapitel A Gamification and Objectivity Based Approach to Improve Users Motivation in Mobile Crowd Sensing
Nächstes Kapitel Thing Federation as a Service: Foundations and Demonstration
Literatur
1.
Ali-Eldin, A., Tordsson, J., Elmroth, E.: An adaptive hybrid elasticity controller for cloud infrastructures. In: 2012 IEEE Network Operations and Management Symposium, Maui, HI, pp. 204–212 (2012)
2.
Amziani, M.: Modeling, evaluation and provisioning of elastic service-based business processes in the cloud. Thesis. Institut National des Télécommunications, 2015. English. < NNT: 2015TELE0016 > . < tel-01217186>
3.
4.
Bersani, M., Bianculli, D., et al.: Towards the formalization of properties of cloud based elastic systems. In: Proceedings of the 6th International Workshop on Principles of Engineering Service-oriented and Cloud Systems – PESOS 2014, Hyderabad, pp. 38–47 (2014)
5.
6.
Calder, M., Sevegnani, M.: Modeling IEEE 802.11 CSMA/CA RTS/CTS with stochastic bigraphs with sharing. Form. Asp. Computing. 26(3), 537–561 (2014)MathSciNetCrossRef
7.
Chatziprimou, K., Lano, K., Zschaler, S.: Runtime infrastructure optimization in cloud iaas structures. CloudCom 1, 687–692 (2013)
8.
Chen, T., Bahsoon, R., Yao, X.: A survey and taxonomy of self-aware and self-adaptive cloud autoscaling systems. ACM Comput. Surv. 51(3), 61:1–61:40 (2018)
9.
Clavel, M., Duran, F., et al.: Maude Manual V 2.7.1 (2017)
10.
Copil, G., Moldovan, D., et al.: “Multi-level elasticity control of cloud services. In: Service-oriented Computing, 2013, pp. 429–436 (2013)
11.
Dustdar, S., Guo, Y., Satzger, B., Truong, H.: Principles of elastic processes. IEEE Internet Comput. 15, 66–71 (2011)CrossRef
12.
Freitas, L., Watson, P.: Formalizing workflows partitioning over federated clouds: Multi-level security and costs. International Journal of Computer Mathematics, 91(5), 881–906 (2014)
13.
Galante, G., Bona, L.: A survey on cloud computing elasticity. In: 2012 IEEE Fifth International Conference on utility and Cloud Computing, Chicago, Il, 2012, pp. 263–270 (2012)
14.
Glenstrup, A.J., Damgaard, T.C., et al.: An implementation of bigraph matching”. Technical Report 2010-135. ITUniversitetet Kobenhavn, Copenhagen (2010)
15.
Gurtov, A., Mazalov, V.: Queueing system with on-demand number of servers. Math. Appl. 40(2), 1–12 (2012)MATH
16.
Herbst, N., Kounev, S., Reussner, R.: Elasticity in cloud computing: What it is, and what it is not. In: Proceedings of the 10th International Conference on Autonomic Computing, San Jose, CA: uSENIX (2013)
17.
Wang, J., Xu, D., Lei, Z.: Formalizing the structure and behaviour of context-aware systems in bigraphs. In: First ACIS International Symposium on Software and Network Engineering (2011)
18.
Jacob, B.: A Practical Guide to the IBM Autonomic Computing Toolkit. IBM, International Technical Support Organization, Raleigh (2004)
19.
Khebbeb, K., Sahli, H., Hameurlain, N., et al.: A BRS Based Approach for Modeling Elastic Cloud Systems. In: Service-Oriented Computing – ICSOC 2017 Workshops, pp. 5–17
20.
Kikuchi, S., Hiraishi, K.: Improving reliability in management of cloud computing infrastructure by formal methods. In: Network Operations and Management Symposium (NOMS) pp. 1–7 (2014)
21.
Letondeur, L.: Planification pour la gestion autonomique de l’élasticité d’applications dans le cloud. Computer Science [cs]. Thesis at Joseph Fourier University, (2014). French. < tel-01140128>
22.
23.
24.
Mansutti, A., Miculan, M., Peressotti, M.: Multi-agent systems design and prototyping with bigraphical reactive systems. In: DAIS 2014, pp. 201–208 (2014)
25.
Mell, P., Grance, T.: The NIST definition of cloud computing. In: National Institute of Standards & Technology, Special Publication, 2011, pp. 800–145 (2011)
26.
27.
Milner, R.: The space and motion of communicating agents. Cambridge University Press, Cambridge (2009)CrossRef
28.
Naskos, A., Stachtiari, E., et al.: Cloud elasticity using probabilistic model checking. CoRR, vol. abs/1405.4699 (2014)
29.
Netto, M., Cardonha, C., et al.: Evaluating auto-scaling strategies for cloud computing environments. In: 2014 IEEE 22nd International Symposium on Modelling, Analysis & Simulation of Computer and Telecommunication Systems (2014)
30.
Perrone, G., Debois, S., Hildebrandt, T.: A model checker for bigraphs. In: Proceedings of the 27th ACM Symposium in Applied Computing ACM-SAC 2012 (2012)
31.
32.
Sahli, H., Belala, F., Bouanaka, C.: Model-checking cloud systems using BigMC. In: 8th International Workshop on Verification and Evaluation of Computer and Communication Systems. Bejaïa, Algeria, September 2014
33.
34.
Mendieta, M., Martin, C., et al.: A control theory approach for managing cloud computing resources: a proof-of-concept on memory partitioning. In: IEEE Second Ecuador Technical Chapters Meeting (ETCM) (2017)
35.
Liu, X., Zhu, X., et al.: Adaptive entitlement control of resource containers on shared servers. In: 9th IFIP/IEEE International Symposium on Integrated Network Management (2005)
36.
Zhu, X., Uysal, M., et al.: What does control theory bring to systems research? ACM SIGOPS Oper. Sys. Rev. 43(1), 62–69 (2009)CrossRef
Metadaten
Titel
Modeling and Evaluating Cross-layer Elasticity Strategies in Cloud Systems
verfasst von
Khaled Khebbeb
Nabil Hameurlain
Faiza Belala
Copyright-Jahr
2018
Buch
Model and Data Engineering

Print ISBN: 978-3-030-00855-0

Electronic ISBN: 978-3-030-00856-7

Copyright-Jahr: 2018

DOI
https://doi.org/10.1007/978-3-030-00856-7_11

Premium Partner

    Bildnachweise