nach oben

Erschienen in:

2018 | OriginalPaper | Buchkapitel

A BRS Based Approach for Modeling Elastic Cloud Systems

verfasst von : Khaled Khebbeb, Hamza Sahli, Nabil Hameurlain, Faiza Belala

Erschienen in: Service-Oriented Computing – ICSOC 2017 Workshops

Verlag: Springer International Publishing

Einloggen

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

search-config

KI-gestützte Suche

Aus

Abstract

Elastic behaviors enable Cloud Systems to auto-adapt to their incoming workloads, by provisioning and releasing computing resources, in a way to ensure a controlled compromise between performance and cost-saving requirements. However, due to the highly fluctuating workloads tendencies, it makes it difficult to predict how a cloud system would behave and to provide precise auto-adaptation action plans. In this paper, we propose a BRS (short for Bigraphical Reactive Systems) based approach to provide a formal description for cloud systems structures and their elastic behaviors using bigraphs and bigraphical reaction rules. In addition, elasticity strategies are introduced to encode cloud systems’ auto-adaptation policies. Proposed approach is illustrated and evaluated through an example.

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

Nächstes Kapitel Detecting Customer Queue “at-risk” Behaviors Based on Ethograms to Minimize Overall Service Dissatisfaction

Bigraphical Model Checker available at http://bigraph.org/bigmc/

A Java library for extensible BRS available at http://mads.uniud.it/wordpress/downloads/libbig/

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)

Amziani, M.: Modeling, evaluation and provisioning of elastic service-based business processes in the cloud. Other [cs.OH]. Institut National des Télécommunications (2015). English. <NNT: 2015TELE0016>

Bersani, M., Bianculli, D., Dustdar, S., Gambi, A., Ghezzi, C., Krstić, S.: Towards the formalization of properties of cloudbased 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)

Birkedal, L., Christoffer Damgaard, T., Glenstrup, A.J., Milner, R.: Matching of Bigraphs. Electr. Notes Theor. Comput. Sci. 175(4), 3–19 (2007)CrossRef

Calder, M., Sevegnani, M.: Modeling IEEE 802.11 CSMA/CA RTS/CTS with stochastic bigraphs with sharing. Form. Asp. Comput. 26(3), 537–561 (2014)MathSciNetCrossRef

Chatziprimou, K., Lano, K., Zschaler, S.: Runtime infrastructure optimisation in cloud IaaS structures. In: CloudCom, vol. 1, pp. 687–692 (2013)

Clavel, M., Durán, F., Eker, S., Lincoln, P., Martí-Oliet, N., Meseguer, J., Talcott, C.: All About Maude – A High-Performance Logical Framework: How to Specify, Program and Verify Systems in Rewriting Logic. Springer, Heidelberg (2007). https://doi.org/10.1007/978-3-540-71999-1CrossRefMATH

Clavel, M., Duran, F., Eker, S., Lincoln, P., Marti-Oliet, N., Meseguer, J., Talcott, C.: Maude Manual, Version 2.6 January 2011

Conforti, G., Macedonio, D., Sassone, V.: Spatial logics for bigraphs. In: Caires, L., Italiano, G.F., Monteiro, L., Palamidessi, C., Yung, M. (eds.) ICALP 2005. LNCS, vol. 3580, pp. 766–778. Springer, Heidelberg (2005). https://doi.org/10.1007/11523468_62CrossRef

10.

Copil, G., Moldovan, D., Truong, H.-L., Dustdar, S.: Multi-level elasticity control of cloud services. In: Basu, S., Pautasso, C., Zhang, L., Fu, X. (eds.) ICSOC 2013. LNCS, vol. 8274, pp. 429–436. Springer, Heidelberg (2013). https://doi.org/10.1007/978-3-642-45005-1_31CrossRef

11.

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

12.

Faithfull, A., Perrone, G., Hildebrandt, T.T.: Big red: a development environment for bigraphs. In: Selected Revised Papers from the 4th International Workshop on Graph Computation Models (GCM 2012) (2012).https://journal.ub.tu-berlin.de/eceasst/article/view/835/829

13.

Galante, G., Bona, L.: A survey on cloud computing elasticity. In: 2012 IEEE Fifth International Conference on Utility and Cloud Computing, Chicago, Il, pp. 263–270 (2012)

14.

Letondeur, L.: Planification pour la gestion autonomique de l’élasticité d’applications dans le cloud. Computer Science [cs], Thesis. Joseph Fourier University (2014). French

15.

Mansutti, A., Miculan, M., Peressotti, M.: Multi-agent systems design and prototyping with bigraphical reactive systems. In: Magoutis, K., Pietzuch, P. (eds.) Distributed Applications and Interoperable Systems, DAIS 2014. Lecture Notes in Computer Science, vol. 8460. Springer, Heidelberg (2014). https://doi.org/10.1007/978-3-662-43352-2_16CrossRef

16.

Mell, P., Grance, T.: The NIST Definition of Cloud Computing, SP 800–145. National Institute of Standards & Technology, Special Publication (2011)

17.

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

18.

Milner, R.: The Space and Motion of Communicating Agents. Cambridge University Press, Cambridge (2009)CrossRef

19.

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.1188927CrossRef

20.

Sahli, H.: Modélisation des Systèmes élastiques Cloud: vers la Vérification Formelle de leur Comportement. Informatique ubiquitaire. Thesis of Constantine 2. Abdelhamid Mehri University (2017). French

21.

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_42CrossRef

22.

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

23.

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. USENIX, San Jose (2013)

24.

Dupont, S., Lejeune, J., Alvares, F., Ledoux, T.: Experimental analysis on autonomic strategies for cloud elasticity. In: Proceedings of 2015 IEEE International Conference on Cloud and Autonomic Computing (ICCAC), Cambridge, USA, pp. 89–90, September 2015

25.

Sama, M., Elbaum, S.G., Raimondi, F., Rosenblum, D.S., Wang, Z.: Context-aware adaptive applications: fault patterns and their automated identification. IEEE Trans. Softw. Eng. 36(5), 644–661 (2010)CrossRef

Titel: A BRS Based Approach for Modeling Elastic Cloud Systems
verfasst von: Khaled Khebbeb
Hamza Sahli
Nabil Hameurlain
Faiza Belala
Verlag: Springer International Publishing
Buch: Service-Oriented Computing – ICSOC 2017 Workshops
Print ISBN: 978-3-319-91763-4

Electronic ISBN: 978-3-319-91764-1

Copyright-Jahr: 2018
DOI: https://doi.org/10.1007/978-3-319-91764-1_1

Springer Professional

Abstract

Bitte loggen Sie sich ein, um Zugang zu Ihrer Lizenz zu erhalten.

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

Springer Professional "Wirtschaft+Technik"

Springer Professional "Technik"

Springer Professional "Wirtschaft"