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
Software and Systems Modeling
Erschienen in: Software and Systems Modeling 2/2018

21.06.2017 | Theme Section Paper

Toward an analytical method for SLA validation

verfasst von: Peter Buchholz, Sebastian Vastag

Erschienen in: Software and Systems Modeling | Ausgabe 2/2018

Einloggen

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

search-config
loading …

Abstract

Quantitative properties of modern software systems are often defined as a part of a service-level agreement (SLA) that fixes the maximal load to be submitted to a system and guarantees bounds for the response time or delay. The evaluation of software architectures in order to validate SLAs is a challenging task since the systems tend to be complex, highly dynamic and to some extent unpredictable. Thus, there is a need for fast and abstract techniques to evaluate the performance of modern software architectures based on the information available in the SLAs. The paper presents an efficient approach to compute bounds on the delay of composed systems based on available bounds for the load and the response times of components. The technique can be used by a user of a software architecture to validate SLAs of composed services based on SLAs of the components. It can also be used by a provider of a software architecture to validate whether additional users can be accepted or to compute required service capacities to fulfill an SLA.
Vorheriger Artikel Model-driven optimal resource scaling in cloud
Nächster Artikel Special section of BPMDS’2015: enabling value creation via business process modeling, development, and support

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 "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

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
Fußnoten
1
Observe that F(x) is not available in Network Calculus and that the integral from 0 to t for \(d^L(t)\) and \(d^U(t)\) does not result in the correct bounds for D(t) (see [7] for an explanation).
 
Literatur
1.
Ardagna, D., Casale, G., Ciavotta, M., Pérez, J.F., Wang, W.: Quality-of-service in cloud computing: modeling techniques and their applications. J. Internet Serv. Appl. 5(1), 11 (2014)CrossRef
2.
3.
Boudec, J.L., Thiran, P.: Network Calculus: A Theory of Deterministic Queuing Systems for the Internet, Lecture Notes in Computer Science, vol. 2050. Springer (2001)
4.
Bouillard, A., Jouhet, L., Thierry, E.: Service curves in network calculus: dos and don’ts. Rapport de recherche 7094, INRIA (2009)
5.
6.
Brosig, F., Meier, P., Becker, S., Koziolek, A., Koziolek, H., Kounev, S.: Quantitative evaluation of model-driven performance analysis and simulation of component-based architectures. IEEE Trans. Softw. Eng. 41(2), 157–175 (2015)CrossRef
7.
8.
Chang, C.S.: Performance Guarantees in Communication Networks. Springer, London (2000)CrossRefMATH
9.
Cortellessa, V., Marco, A.D., Inverardi, P.: Model-Based Software Performance Analysis. Springer, Berlin (2011)CrossRef
10.
Cruz, R.L.: A calculus for network delay, part I: network elements in isolation. IEEE Trans. Inf. Theory 37(1), 114–131 (1991)CrossRefMATH
11.
Cruz, R.L.: A calculus for network delay, part II: network analysis. IEEE Trans. Inf. Theory 37(1), 132–141 (1991)CrossRefMATH
12.
Dingle, N.J., Knottenbelt, W.J., Wang, L.: Service level agreement specification, compliance prediction and monitoring with performance trees. In: Bertelle, C., Ayesh, A. (eds.) European Simulation and Modelling Conference, pp. 137–144 (2008)
13.
Eckert, J., Pandit, K., Repp, N., Berbner, R., Steinmetz, R.: Worst-case performance analysis of web service workflows. In: IWAS’2007—The Ninth International Conference on Information Integration and Web-based Applications Services, 3–5 Dec 2007, Jakarta, Indonesia, pp. 67–77 (2007)
14.
Franks, G., Omari, T., Woodside, C.M., Das, O., Derisavi, S.: Enhanced modeling and solution of layered queueing networks. IEEE Trans. Softw. Eng. 35(2), 148–161 (2009)CrossRef
15.
Grabarnik, G., Ludwig, H., Shwartz, L.: Management of service process QoS in a service provider—service supplier environment. In: 9th IEEE International Conference on E-Commerce Technology (CEC 2007)/4th IEEE International Conference on Enterprise Computing, E-Commerce and E-Services (EEE 2007), 23–26 July 2007, National Center of Sciences, Tokyo, Japan, pp. 543–550 (2007)
16.
Guenther, M.C., Dingle, N.J., Bradley, J.T., Knottenbelt, W.J.: Passage-time computation and aggregation strategies for large semi-Markov processes. Perform. Eval. 68(3), 221–236 (2011)CrossRef
17.
Jiang, Y., Liu, Y.: Stochastic Network Calculus. Springer, London (2008)MATH
18.
Keller, A., Ludwig, H.: The WSLA framework: specifying and monitoring service level agreements for web services. J. Netw. Syst. Manag. 11(1), 57–81 (2003)CrossRef
19.
Kleinrock, L.: Queueing Systems, vol. 1. Wiley, New York (1975)MATH
20.
Kounev, S.: Performance modeling and evaluation of distributed component-based systems using queueing petri nets. IEEE Trans. Softw. Eng. 32(7), 486–502 (2006)CrossRef
21.
Koziolek, H.: Performance evaluation of component-based software systems: a survey. Perform. Eval. 67(8), 634–658 (2010)CrossRef
22.
23.
Li, H., Theilmann, W., Happe, J.: SLA translation in multi-layered service oriented architectures: status and challenges. Universität Karlsruhe, Fakultät für Informatik, Interner Bericht (2009)
24.
Melamed, B., Yadin, M.: Numerical computation of sojourn-time distributions in queuing networks. J. ACM 31(4), 839–854 (1984)MathSciNetCrossRefMATH
25.
Menasce, D.A.: Mapping service-level agreements in distributed applications. IEEE Internet Comput. 8(5), 100–102 (2004)CrossRef
26.
Menasce, D.A., Almeida, V.A.F.: Capacity Planning for Web Services: Metrics, Models, and Methods. Prentice Hall, Upper Saddle River (2001)
27.
Menasce, D.A., Ruan, H., Gomaa, H.: Qos management in service-oriented architectures. Perform. Eval. 64(7/8), 646–663 (2007)
28.
Parekh, A.K., Gallager, R.G.: A generalized processor sharing approach to flow control in integrated services networks: the single-node case. IEEE/ACM Trans. Netw. 1(3), 344–357 (1993)CrossRef
29.
Rizk, A., Poloczek, F., Ciucu, F.: Computable bounds in fork-join queueing systems. In: Proceedings of the 2015 ACM SIGMETRICS International Conference on Measurement and Modeling of Computer Systems, Portland, OR, USA, June 15–19, 2015, pp. 335–346 (2015)
30.
Schmitt, J.B., Roedig, U.: Sensor network calculus—A framework for worst case analysis. In: Distributed Computing in Sensor Systems, First IEEE International Conference, DCOSS 2005, Marina del Rey, CA, USA, June 30–July 1, 2005, Proceedings, Lecture Notes in Computer Science, vol. 3560, pp. 141–154. Springer (2005)
31.
Stewart, W.J.: Probability, Markov Chains, Queues, and Simulation. Princeton University Press, Princeton (2009)MATH
32.
Thiele, L., Chakraborty, S., Naedele, M.: Real-time calculus for scheduling hard real-time systems. Proceedings. ISCAS 2000, 100–104 (2000)
33.
Tribastone, M., Mayer, P., Wirsing, M.: Performance prediction of service-oriented systems with layered queueing networks. In: Leveraging Applications of Formal Methods, Verification, and Validation–4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18–21, 2010, Proceedings, Part II, pp. 51–65 (2010)
34.
Trienekens, J.J.M., Bouman, J.J., van der Zwan, M.: Specification of service level agreements: problems, principles and practices. Softw. Qual. J. 12(1), 43–57 (2004)CrossRef
35.
Vastag, S.: Modeling quantitative requirements in SLAs with network calculus. In: 5th International ICST Conference on Performance Evaluation Methodologies and Tools Communications, VALUETOOLS ’11, Paris, France, May 16–20, 2011, pp. 391–398 (2011)
36.
Vastag, S.: Arrival and delay curve estimation for SLA calculus. In: Winter Simulation Conference, WSC ’12, Berlin, Germany, December 9–12, 2012 (2012)
37.
Vastag, S.: A calculus for SLA delay properties. In: Measurement, Modelling, and Evaluation of Computing Systems and Dependability and Fault Tolerance—16th International GI/ITG Conference, MMB & DFT 2012, Kaiserslautern, Germany, March 19–21, 2012. Proceedings, pp. 76–90 (2012)
38.
Vastag, S.: SLA calculus. Ph.D. thesis, Department of Computer Science, TU Dortmund (2014)
39.
Wandeler, E.: Modular performance analysis and interface-based design for embedded real-time systems. Ph.D. thesis, ETH Zürich (2006)
40.
41.
Woodside, C.M., Petriu, D.C., Merseguer, J., Petriu, D.B., Alhaj, M.: Transformation challenges: from software models to performance models. Softw. Syst. Model. 13(4), 1529–1552 (2014)CrossRef
42.
Xiong, K., Perros, H.G.: Service performance and analysis in cloud computing. In: 2009 IEEE Congress on Services, Part I, SERVICES I 2009, Los Angeles, CA, USA, July 6–10, 2009, pp. 693–700 (2009)
Metadaten
Titel
Toward an analytical method for SLA validation
verfasst von
Peter Buchholz
Sebastian Vastag
Publikationsdatum
21.06.2017
Verlag
Springer Berlin Heidelberg
Erschienen in
Software and Systems Modeling / Ausgabe 2/2018
Print ISSN: 1619-1366
Elektronische ISSN: 1619-1374
DOI
https://doi.org/10.1007/s10270-017-0604-y

Weitere Artikel der Ausgabe 2/2018

Software and Systems Modeling 2/2018 Zur Ausgabe

Theme Section Paper

Model-driven performance prediction of systems of systems

Editorial

Special section of BPMDS’2015: enabling value creation via business process modeling, development, and support

Expert's Voice

A logical approach to systems engineering artifacts: semantic relationships and dependencies beyond traceability—from requirements to functional and architectural views

Special Section Paper

Scalable process discovery and conformance checking

Editorial

Theme section on performance modelling and engineering of software and systems

Special Section Paper

Matching events and activities by integrating behavioral aspects and label analysis