{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,28]],"date-time":"2025-11-28T12:21:42Z","timestamp":1764332502919,"version":"3.37.3"},"reference-count":42,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2017,6,21]],"date-time":"2017-06-21T00:00:00Z","timestamp":1498003200000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"funder":[{"DOI":"10.13039\/501100001659","name":"Deutsche Forschungsgemeinschaft","doi-asserted-by":"publisher","award":["BU 1270\/6-1\/2"],"award-info":[{"award-number":["BU 1270\/6-1\/2"]}],"id":[{"id":"10.13039\/501100001659","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Softw Syst Model"],"published-print":{"date-parts":[[2018,5]]},"DOI":"10.1007\/s10270-017-0604-y","type":"journal-article","created":{"date-parts":[[2017,6,21]],"date-time":"2017-06-21T06:55:20Z","timestamp":1498028120000},"page":"527-545","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["Toward an analytical method for SLA validation"],"prefix":"10.1007","volume":"17","author":[{"given":"Peter","family":"Buchholz","sequence":"first","affiliation":[]},{"given":"Sebastian","family":"Vastag","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2017,6,21]]},"reference":[{"issue":"1","key":"604_CR1","doi-asserted-by":"crossref","first-page":"11","DOI":"10.1186\/s13174-014-0011-3","volume":"5","author":"D Ardagna","year":"2014","unstructured":"Ardagna, D., Casale, G., Ciavotta, M., P\u00e9rez, J.F., Wang, W.: Quality-of-service in cloud computing: modeling techniques and their applications. J. Internet Serv. Appl. 5(1), 11 (2014)","journal-title":"J. Internet Serv. Appl."},{"key":"604_CR2","unstructured":"Bause, F., Buchholz, P., May, J.: A tool supporting the analytical evaluation of service level agreements. In: Binder, W., Cortellessa, V., Koziolek, A., Smirni, E., Poess, M. (eds.) Proceedings of the 8th ACM\/SPEC on International Conference on Performance Engineering, ICPE 2017, L\u2019Aquila, Italy, April 22\u201326, 2017, pp. 233\u2013244. ACM (2017). http:\/\/ls4-www.cs.tu-dortmund.de\/cms\/en\/research\/software\/SLA_Tool"},{"key":"604_CR3","doi-asserted-by":"crossref","unstructured":"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)","DOI":"10.1007\/3-540-45318-0"},{"key":"604_CR4","unstructured":"Bouillard, A., Jouhet, L., Thierry, E.: Service curves in network calculus: dos and don\u2019ts. Rapport de recherche 7094, INRIA (2009)"},{"issue":"1","key":"604_CR5","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1007\/s10626-007-0028-x","volume":"18","author":"A Bouillard","year":"2008","unstructured":"Bouillard, A., Thierry, E.: An algorithmic toolbox for network calculus. Discret. Event Dyn. Syst. 18(1), 3\u201349 (2008)","journal-title":"Discret. Event Dyn. Syst."},{"issue":"2","key":"604_CR6","doi-asserted-by":"crossref","first-page":"157","DOI":"10.1109\/TSE.2014.2362755","volume":"41","author":"F Brosig","year":"2015","unstructured":"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\u2013175 (2015)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"604_CR7","unstructured":"Buchholz, P., Vastag, S.: An introduction to SLA calculus for the analytical validation of SLAs. Tech. rep., TU Dortmnund, Informatik IV (2016). http:\/\/ls4-www.cs.tu-dortmund.de\/cms\/de\/home\/buchholz\/publikationen"},{"key":"604_CR8","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4471-0459-9","volume-title":"Performance Guarantees in Communication Networks","author":"CS Chang","year":"2000","unstructured":"Chang, C.S.: Performance Guarantees in Communication Networks. Springer, London (2000)"},{"key":"604_CR9","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-13621-4","volume-title":"Model-Based Software Performance Analysis","author":"V Cortellessa","year":"2011","unstructured":"Cortellessa, V., Marco, A.D., Inverardi, P.: Model-Based Software Performance Analysis. Springer, Berlin (2011)"},{"issue":"1","key":"604_CR10","doi-asserted-by":"crossref","first-page":"114","DOI":"10.1109\/18.61109","volume":"37","author":"RL Cruz","year":"1991","unstructured":"Cruz, R.L.: A calculus for network delay, part I: network elements in isolation. IEEE Trans. Inf. Theory 37(1), 114\u2013131 (1991)","journal-title":"IEEE Trans. Inf. Theory"},{"issue":"1","key":"604_CR11","doi-asserted-by":"crossref","first-page":"132","DOI":"10.1109\/18.61110","volume":"37","author":"RL Cruz","year":"1991","unstructured":"Cruz, R.L.: A calculus for network delay, part II: network analysis. IEEE Trans. Inf. Theory 37(1), 132\u2013141 (1991)","journal-title":"IEEE Trans. Inf. Theory"},{"key":"604_CR12","unstructured":"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\u2013144 (2008)"},{"key":"604_CR13","unstructured":"Eckert, J., Pandit, K., Repp, N., Berbner, R., Steinmetz, R.: Worst-case performance analysis of web service workflows. In: IWAS\u20192007\u2014The Ninth International Conference on Information Integration and Web-based Applications Services, 3\u20135 Dec 2007, Jakarta, Indonesia, pp. 67\u201377 (2007)"},{"issue":"2","key":"604_CR14","doi-asserted-by":"crossref","first-page":"148","DOI":"10.1109\/TSE.2008.74","volume":"35","author":"G Franks","year":"2009","unstructured":"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\u2013161 (2009)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"604_CR15","doi-asserted-by":"crossref","unstructured":"Grabarnik, G., Ludwig, H., Shwartz, L.: Management of service process QoS in a service provider\u2014service 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\u201326 July 2007, National Center of Sciences, Tokyo, Japan, pp. 543\u2013550 (2007)","DOI":"10.1109\/CEC-EEE.2007.63"},{"issue":"3","key":"604_CR16","doi-asserted-by":"crossref","first-page":"221","DOI":"10.1016\/j.peva.2010.10.003","volume":"68","author":"MC Guenther","year":"2011","unstructured":"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\u2013236 (2011)","journal-title":"Perform. Eval."},{"key":"604_CR17","volume-title":"Stochastic Network Calculus","author":"Y Jiang","year":"2008","unstructured":"Jiang, Y., Liu, Y.: Stochastic Network Calculus. Springer, London (2008)"},{"issue":"1","key":"604_CR18","doi-asserted-by":"crossref","first-page":"57","DOI":"10.1023\/A:1022445108617","volume":"11","author":"A Keller","year":"2003","unstructured":"Keller, A., Ludwig, H.: The WSLA framework: specifying and monitoring service level agreements for web services. J. Netw. Syst. Manag. 11(1), 57\u201381 (2003)","journal-title":"J. Netw. Syst. Manag."},{"key":"604_CR19","volume-title":"Queueing Systems","author":"L Kleinrock","year":"1975","unstructured":"Kleinrock, L.: Queueing Systems, vol. 1. Wiley, New York (1975)"},{"issue":"7","key":"604_CR20","doi-asserted-by":"crossref","first-page":"486","DOI":"10.1109\/TSE.2006.69","volume":"32","author":"S Kounev","year":"2006","unstructured":"Kounev, S.: Performance modeling and evaluation of distributed component-based systems using queueing petri nets. IEEE Trans. Softw. Eng. 32(7), 486\u2013502 (2006)","journal-title":"IEEE Trans. Softw. Eng."},{"issue":"8","key":"604_CR21","doi-asserted-by":"crossref","first-page":"634","DOI":"10.1016\/j.peva.2009.07.007","volume":"67","author":"H Koziolek","year":"2010","unstructured":"Koziolek, H.: Performance evaluation of component-based software systems: a survey. Perform. Eval. 67(8), 634\u2013658 (2010)","journal-title":"Perform. Eval."},{"key":"604_CR22","unstructured":"Lazowska, E.D., Zahorjan, J., Graham, G.S., Sevcik, K.C.: Quantitative System Performance\u2013Computer Systems Analysis Using Queueing Networks. Prentice-Hall (1984). http:\/\/www.cs.washington.edu\/home\/lazowska\/qsp\/"},{"key":"604_CR23","volume-title":"SLA translation in multi-layered service oriented architectures: status and challenges","author":"H Li","year":"2009","unstructured":"Li, H., Theilmann, W., Happe, J.: SLA translation in multi-layered service oriented architectures: status and challenges. Universit\u00e4t Karlsruhe, Fakult\u00e4t f\u00fcr Informatik, Interner Bericht (2009)"},{"issue":"4","key":"604_CR24","doi-asserted-by":"crossref","first-page":"839","DOI":"10.1145\/1634.322459","volume":"31","author":"B Melamed","year":"1984","unstructured":"Melamed, B., Yadin, M.: Numerical computation of sojourn-time distributions in queuing networks. J. ACM 31(4), 839\u2013854 (1984)","journal-title":"J. ACM"},{"issue":"5","key":"604_CR25","doi-asserted-by":"crossref","first-page":"100","DOI":"10.1109\/MIC.2004.47","volume":"8","author":"DA Menasce","year":"2004","unstructured":"Menasce, D.A.: Mapping service-level agreements in distributed applications. IEEE Internet Comput. 8(5), 100\u2013102 (2004)","journal-title":"IEEE Internet Comput."},{"key":"604_CR26","volume-title":"Capacity Planning for Web Services: Metrics, Models, and Methods","author":"DA Menasce","year":"2001","unstructured":"Menasce, D.A., Almeida, V.A.F.: Capacity Planning for Web Services: Metrics, Models, and Methods. Prentice Hall, Upper Saddle River (2001)"},{"key":"604_CR27","doi-asserted-by":"crossref","unstructured":"Menasce, D.A., Ruan, H., Gomaa, H.: Qos management in service-oriented architectures. Perform. Eval. 64(7\/8), 646\u2013663 (2007)","DOI":"10.1016\/j.peva.2006.10.001"},{"issue":"3","key":"604_CR28","doi-asserted-by":"crossref","first-page":"344","DOI":"10.1109\/90.234856","volume":"1","author":"AK Parekh","year":"1993","unstructured":"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\u2013357 (1993)","journal-title":"IEEE\/ACM Trans. Netw."},{"key":"604_CR29","doi-asserted-by":"crossref","unstructured":"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\u201319, 2015, pp. 335\u2013346 (2015)","DOI":"10.1145\/2745844.2745859"},{"key":"604_CR30","doi-asserted-by":"crossref","unstructured":"Schmitt, J.B., Roedig, U.: Sensor network calculus\u2014A framework for worst case analysis. In: Distributed Computing in Sensor Systems, First IEEE International Conference, DCOSS 2005, Marina del Rey, CA, USA, June 30\u2013July 1, 2005, Proceedings, Lecture Notes in Computer Science, vol. 3560, pp. 141\u2013154. Springer (2005)","DOI":"10.1007\/11502593_13"},{"key":"604_CR31","doi-asserted-by":"crossref","DOI":"10.2307\/j.ctvcm4gtc","volume-title":"Probability, Markov Chains, Queues, and Simulation","author":"WJ Stewart","year":"2009","unstructured":"Stewart, W.J.: Probability, Markov Chains, Queues, and Simulation. Princeton University Press, Princeton (2009)"},{"key":"604_CR32","first-page":"100","volume":"2000","author":"L Thiele","year":"2000","unstructured":"Thiele, L., Chakraborty, S., Naedele, M.: Real-time calculus for scheduling hard real-time systems. Proceedings. ISCAS 2000, 100\u2013104 (2000)","journal-title":"Proceedings. ISCAS"},{"key":"604_CR33","doi-asserted-by":"crossref","unstructured":"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\u20134th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18\u201321, 2010, Proceedings, Part II, pp. 51\u201365 (2010)","DOI":"10.1007\/978-3-642-16561-0_12"},{"issue":"1","key":"604_CR34","doi-asserted-by":"crossref","first-page":"43","DOI":"10.1023\/B:SQJO.0000013358.61395.96","volume":"12","author":"JJM Trienekens","year":"2004","unstructured":"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\u201357 (2004)","journal-title":"Softw. Qual. J."},{"key":"604_CR35","doi-asserted-by":"crossref","unstructured":"Vastag, S.: Modeling quantitative requirements in SLAs with network calculus. In: 5th International ICST Conference on Performance Evaluation Methodologies and Tools Communications, VALUETOOLS \u201911, Paris, France, May 16\u201320, 2011, pp. 391\u2013398 (2011)","DOI":"10.4108\/icst.valuetools.2011.245735"},{"key":"604_CR36","doi-asserted-by":"crossref","unstructured":"Vastag, S.: Arrival and delay curve estimation for SLA calculus. In: Winter Simulation Conference, WSC \u201912, Berlin, Germany, December 9\u201312, 2012 (2012)","DOI":"10.1109\/WSC.2012.6465301"},{"key":"604_CR37","doi-asserted-by":"crossref","unstructured":"Vastag, S.: A calculus for SLA delay properties. In: Measurement, Modelling, and Evaluation of Computing Systems and Dependability and Fault Tolerance\u201416th International GI\/ITG Conference, MMB & DFT 2012, Kaiserslautern, Germany, March 19\u201321, 2012. Proceedings, pp. 76\u201390 (2012)","DOI":"10.1007\/978-3-642-28540-0_6"},{"key":"604_CR38","unstructured":"Vastag, S.: SLA calculus. Ph.D. thesis, Department of Computer Science, TU Dortmund (2014)"},{"key":"604_CR39","unstructured":"Wandeler, E.: Modular performance analysis and interface-based design for embedded real-time systems. Ph.D. thesis, ETH Z\u00fcrich (2006)"},{"key":"604_CR40","unstructured":"Wandeler, E., Thiele, L.: Real-Time Calculus (RTC) Toolbox (2006). http:\/\/www.mpa.ethz.ch\/Rtctoolbox"},{"issue":"4","key":"604_CR41","doi-asserted-by":"crossref","first-page":"1529","DOI":"10.1007\/s10270-013-0385-x","volume":"13","author":"CM Woodside","year":"2014","unstructured":"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\u20131552 (2014)","journal-title":"Softw. Syst. Model."},{"key":"604_CR42","doi-asserted-by":"crossref","unstructured":"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\u201310, 2009, pp. 693\u2013700 (2009)","DOI":"10.1109\/SERVICES-I.2009.121"}],"container-title":["Software & Systems Modeling"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10270-017-0604-y\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-017-0604-y.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-017-0604-y.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,26]],"date-time":"2019-09-26T08:46:03Z","timestamp":1569487563000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10270-017-0604-y"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,6,21]]},"references-count":42,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2018,5]]}},"alternative-id":["604"],"URL":"https:\/\/doi.org\/10.1007\/s10270-017-0604-y","relation":{},"ISSN":["1619-1366","1619-1374"],"issn-type":[{"type":"print","value":"1619-1366"},{"type":"electronic","value":"1619-1374"}],"subject":[],"published":{"date-parts":[[2017,6,21]]}}}