Skip to main content
SpringerLink
Log in

Modeling and Evaluating Cross-layer Elasticity Strategies in Cloud Systems

  • Conference paper
  • First Online:
Model and Data Engineering (MEDI 2018)

Part of the book series: Lecture Notes in Computer Science ((LNPSE,volume 11163))

Included in the following conference series:

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.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

References

  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)

    Google Scholar 

  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>

    Google Scholar 

  3. Baynat, B.: Théorie des files d’attente. Hermès Science publications, Paris (2000). http://books.google.fr/books?id=NWWgMQEACAAJ

  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)

    Google Scholar 

  5. Sevegnani, M., Calder, M.: BigraphER: rewriting and analysis engine for bigraphs. In: Chaudhuri, S., Farzan, A. (eds.) CAV 2016. LNCS, vol. 9780, pp. 494–501. Springer, Cham (2016). https://doi.org/10.1007/978-3-319-41540-6_27

    Chapter  Google Scholar 

  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)

    Article  MathSciNet  Google Scholar 

  7. Chatziprimou, K., Lano, K., Zschaler, S.: Runtime infrastructure optimization in cloud iaas structures. CloudCom 1, 687–692 (2013)

    Google Scholar 

  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)

    Google Scholar 

  9. Clavel, M., Duran, F., et al.: Maude Manual V 2.7.1 (2017)

    Google Scholar 

  10. Copil, G., Moldovan, D., et al.: “Multi-level elasticity control of cloud services. In: Service-oriented Computing, 2013, pp. 429–436 (2013)

    Google Scholar 

  11. Dustdar, S., Guo, Y., Satzger, B., Truong, H.: Principles of elastic processes. IEEE Internet Comput. 15, 66–71 (2011)

    Article  Google Scholar 

  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)

    Google Scholar 

  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)

    Google Scholar 

  14. Glenstrup, A.J., Damgaard, T.C., et al.: An implementation of bigraph matching”. Technical Report 2010-135. ITUniversitetet Kobenhavn, Copenhagen (2010)

    Google Scholar 

  15. Gurtov, A., Mazalov, V.: Queueing system with on-demand number of servers. Math. Appl. 40(2), 1–12 (2012)

    MATH  Google Scholar 

  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)

    Google Scholar 

  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)

    Google Scholar 

  18. Jacob, B.: A Practical Guide to the IBM Autonomic Computing Toolkit. IBM, International Technical Support Organization, Raleigh (2004)

    Google Scholar 

  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

    Google Scholar 

  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)

    Google Scholar 

  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>

    Google Scholar 

  22. Rady, M.: Formal definition of service availability in cloud computing using OWL. In: Moreno-Díaz, R., Pichler, F., Quesada-Arencibia, A. (eds.) EUROCAST 2013. LNCS, vol. 8111, pp. 189–194. Springer, Heidelberg (2013). https://doi.org/10.1007/978-3-642-53856-8_24

    Chapter  Google Scholar 

  23. Clavel, M., et al.: All About Maude - A High-Performance Logical Framework. LNCS, vol. 4350. Springer, Heidelberg (2007). https://doi.org/10.1007/978-3-540-71999-1

    Book  MATH  Google Scholar 

  24. Mansutti, A., Miculan, M., Peressotti, M.: Multi-agent systems design and prototyping with bigraphical reactive systems. In: DAIS 2014, pp. 201–208 (2014)

    Google Scholar 

  25. Mell, P., Grance, T.: The NIST definition of cloud computing. In: National Institute of Standards & Technology, Special Publication, 2011, pp. 800–145 (2011)

    Google Scholar 

  26. Milner, R.: Bigraphs and their algebra. Electron. Notes Theor. Comput. Sci. 209, 5–19 (2008)

    Article  MathSciNet  Google Scholar 

  27. Milner, R.: The space and motion of communicating agents. Cambridge University Press, Cambridge (2009)

    Book  Google Scholar 

  28. Naskos, A., Stachtiari, E., et al.: Cloud elasticity using probabilistic model checking. CoRR, vol. abs/1405.4699 (2014)

    Google Scholar 

  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)

    Google Scholar 

  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)

    Google Scholar 

  31. Sahli, H., Hameurlain, N., Belala, F.: A bigraphical model for specifying elastic cloud systems and their behaviour. Int. J. Parallel Emergent Distrib. Syst. (2016). https://doi.org/10.1080/17445760.2016.1188927

  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

    Google Scholar 

  33. Trihinas, D., Sofokleous, C., Loulloudes, N., Foudoulis, A., Pallis, G., Dikaiakos, M.D.: Managing and monitoring elastic cloud applications. In: Casteleyn, S., Rossi, G., Winckler, M. (eds.) ICWE 2014. LNCS, vol. 8541, pp. 523–527. Springer, Cham (2014). https://doi.org/10.1007/978-3-319-08245-5_42

    Chapter  Google Scholar 

  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)

    Google Scholar 

  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)

    Google Scholar 

  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)

    Article  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. LIRE Laboratory, Constantine 2 University – Abdelhamid Mehri, Constantine, Algeria

    Khaled Khebbeb & Faiza Belala

  2. LIUPPA Laboratory, University of Pau, Pau, France

    Khaled Khebbeb & Nabil Hameurlain

Authors
  1. Khaled Khebbeb
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Nabil Hameurlain
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Faiza Belala
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Khaled Khebbeb .

Editor information

Editors and Affiliations

  1. Cadi Ayyad University, Marrakesh, Morocco

    El Hassan Abdelwahed

  2. LIAS/ISAE-ENSMA, Futuroscope Chasseneuil Cedex, France

    Ladjel Bellatreche

  3. University of Bologna, Cesena, Italy

    Mattéo Golfarelli

  4. University of Lorraine, Vandœuvre-lès-Nancy, France

    Dominique Méry

  5. University of Houston, Houston, TX, USA

    Carlos Ordonez

Rights and permissions

Reprints and permissions

Copyright information

© 2018 Springer Nature Switzerland AG

About this paper

Check for updates. Verify currency and authenticity via CrossMark

Cite this paper

Khebbeb, K., Hameurlain, N., Belala, F. (2018). Modeling and Evaluating Cross-layer Elasticity Strategies in Cloud Systems. In: 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. Springer, Cham. https://doi.org/10.1007/978-3-030-00856-7_11

Download citation

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

  • Published:

  • Publisher Name: Springer, Cham

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

  • Online ISBN: 978-3-030-00856-7

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation