{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,22]],"date-time":"2025-03-22T19:10:11Z","timestamp":1742670611711,"version":"3.40.2"},"publisher-location":"Berlin, Heidelberg","reference-count":31,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642285394"},{"type":"electronic","value":"9783642285400"}],"license":[{"start":{"date-parts":[[2012,1,1]],"date-time":"2012-01-01T00:00:00Z","timestamp":1325376000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-28540-0_6","type":"book-chapter","created":{"date-parts":[[2012,3,8]],"date-time":"2012-03-08T14:48:22Z","timestamp":1331218102000},"page":"76-90","source":"Crossref","is-referenced-by-count":4,"title":["A Calculus for SLA Delay Properties"],"prefix":"10.1007","author":[{"given":"Sebastian","family":"Vastag","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"6_CR1","doi-asserted-by":"crossref","unstructured":"Peltz, C.: Web services orchestration and choreography. Computer, 46\u201352 (2003)","DOI":"10.1109\/MC.2003.1236471"},{"key":"6_CR2","doi-asserted-by":"publisher","first-page":"9","DOI":"10.1145\/1364782.1364786","volume":"51","author":"B. Hayes","year":"2008","unstructured":"Hayes, B.: Cloud computing. Communications of the ACM\u00a051, 9\u201311 (2008)","journal-title":"Communications of the ACM"},{"key":"6_CR3","doi-asserted-by":"publisher","first-page":"43","DOI":"10.1023\/B:SQJO.0000013358.61395.96","volume":"12","author":"J.J.M. Trienekens","year":"2004","unstructured":"Trienekens, J.J.M., Bouman, J.J., van der Zwan, M.: Specification of Service Level Agreements: Problems, Principles and Practices. Software Quality Journal\u00a012, 43\u201357 (2004)","journal-title":"Software Quality Journal"},{"key":"6_CR4","doi-asserted-by":"crossref","unstructured":"Bause, F., Buchholz, P., Kriege, J., Vastag, S.: Simulation Based Validation of Quantitative Requirements in Service Oriented Architectures. In: Rossetti, M.D., Hill, R.R., Johansson, B., Dunkin, A., Ingalls, R.G. (eds.) Proceedings of the 2009 Winter Simulation Conference, pp. 1015\u20131026. IEEE (2009)","DOI":"10.1109\/WSC.2009.5429556"},{"key":"6_CR5","unstructured":"Menasce, D., Almeida, V., Dowdy, L., Dowdy, L.: Performance by design: computer capacity planning by example. Prentice Hall (2004)"},{"key":"6_CR6","doi-asserted-by":"crossref","unstructured":"Vastag, S.: Modeling quantitative requirements in SLAs with Network Calculus. In: Proceedings of the 5th International ICST Conference on Performance Evaluation Methologies and Tools (ValueTools), ENS, Cachan, France, ICST (2011)","DOI":"10.4108\/icst.valuetools.2011.245735"},{"key":"6_CR7","doi-asserted-by":"publisher","first-page":"114","DOI":"10.1109\/18.61109","volume":"37","author":"R. Cruz","year":"1991","unstructured":"Cruz, R.: A calculus for network delay, part I: Network elements in isolation. IEEE Transactions on Information Theory\u00a037, 114\u2013131 (1991)","journal-title":"IEEE Transactions on Information Theory"},{"key":"6_CR8","doi-asserted-by":"publisher","first-page":"132","DOI":"10.1109\/18.61110","volume":"37","author":"R. Cruz","year":"1991","unstructured":"Cruz, R.: A calculus for network delay, part II: Network analysis. IEEE Transactions on Information Theory\u00a037, 132\u2013141 (1991)","journal-title":"IEEE Transactions on Information Theory"},{"key":"6_CR9","doi-asserted-by":"publisher","first-page":"357","DOI":"10.1002\/ett.4460120413","volume":"12","author":"C. Chang","year":"2001","unstructured":"Chang, C.: Performance guarantees in communication networks. European Transactions on Telecommunications\u00a012, 357\u2013358 (2001)","journal-title":"European Transactions on Telecommunications"},{"key":"6_CR10","series-title":"LNCS","volume-title":"Network Calculus - A Theory of Deterministic Queuing Systems for the Internet","author":"J.Y. Boudec Le","year":"2004","unstructured":"Le Boudec, J.Y., Thiran, P.: Network Calculus - A Theory of Deterministic Queuing Systems for the Internet. LNCS, vol.\u00a04. Springer, Heidelberg (2004)"},{"key":"6_CR11","doi-asserted-by":"crossref","unstructured":"Sarjoughian, H., Kim, S., Ramaswamy, M., Yau, S.: A simulation framework for service-oriented computing systems. In: Mason, S.J., Hill, R.R., M\u00f6nch, L., Rose, O., Jefferson, T., Fowler, J.W. (eds.) Proceedings of the 2008 Winter Simulation Conference, pp. 845\u2013853. IEEE (2008)","DOI":"10.1109\/WSC.2008.4736148"},{"key":"6_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"315","DOI":"10.1007\/978-3-642-12104-3_26","volume-title":"Measurement, Modelling, and Evaluation of Computing Systems and Dependability and Fault Tolerance","author":"S. Vastag","year":"2010","unstructured":"Vastag, S.: ProC\/B for Networks: Integrated INET Models. In: M\u00fcller-Clostermann, B., Echtle, K., Rathgeb, E.P. (eds.) MMB&DFT 2010. LNCS, vol.\u00a05987, pp. 315\u2013318. Springer, Heidelberg (2010)"},{"key":"6_CR13","doi-asserted-by":"publisher","first-page":"291","DOI":"10.1145\/1071690.1064252","volume":"33","author":"B. Urgaonkar","year":"2005","unstructured":"Urgaonkar, B., Pacifici, G., Shenoy, P., Spreitzer, M., Tantawi, A.: An analytical model for multi-tier internet services and its applications. ACM SIGMETRICS Performance Evaluation Review\u00a033, 291\u2013302 (2005)","journal-title":"ACM SIGMETRICS Performance Evaluation Review"},{"key":"6_CR14","doi-asserted-by":"crossref","unstructured":"Eckert, J., Schulte, S., Repp, N., Berbner, R., Steinmetz, R.: Queuing-based capacity planning approach for Web service workflows using optimization algorithms. In: Digital Ecosystems and Technologies, DEST 2008, pp. 313\u2013318. IEEE (2008)","DOI":"10.1109\/DEST.2008.4635152"},{"key":"6_CR15","volume-title":"Synchronization and Linearity","author":"F. Baccelli","year":"1992","unstructured":"Baccelli, F., Cohen, G., Olsder, G., Quadrat, J.: Synchronization and Linearity. Wiley, New York (1992)"},{"key":"6_CR16","doi-asserted-by":"crossref","unstructured":"Altman, E., Avrachenkov, K., Barakat, C.: TCP network calculus: The case of large delay-bandwidth product. In: INFOCOM 2002, vol.\u00a01, pp. 417\u2013426. IEEE (2002)","DOI":"10.1109\/INFCOM.2002.1019284"},{"key":"6_CR17","doi-asserted-by":"crossref","unstructured":"Schmitt, J., Zdarsky, F.: The DISCO network calculator: a toolbox for worst case analysis. In: 1st International Conference on Performance Evaluation Methodolgies and Tools, pages 8. ACM (2006)","DOI":"10.1145\/1190095.1190105"},{"key":"6_CR18","doi-asserted-by":"crossref","unstructured":"Undheim, A., Jiang, Y., Emstad, P.: Network Calculus approach to router modeling with external measurements. In: Communications and Networking in China, CHINACOM 2007, pp. 276\u2013280. IEEE (2007)","DOI":"10.1109\/CHINACOM.2007.4469381"},{"key":"6_CR19","doi-asserted-by":"publisher","first-page":"1026","DOI":"10.1016\/j.comnet.2005.09.004","volume":"50","author":"M. Fidler","year":"2006","unstructured":"Fidler, M., Recker, S.: Conjugate Network Calculus: A dual approach applying the Legendre transform. Computer Networks\u00a050, 1026\u20131039 (2006)","journal-title":"Computer Networks"},{"key":"6_CR20","doi-asserted-by":"crossref","unstructured":"Xie, J., Jiang, Y.: A Temporal Network Calculus Approach to Service Guarantee Analysis of Stochastic Networks. In: Proceedings of the 5th International ICST Conference on Performance Evaluation Methologies and Tools (ValueTools), ENS, Cachan, France (2011)","DOI":"10.4108\/icst.valuetools.2011.245600"},{"key":"6_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"141","DOI":"10.1007\/11502593_13","volume-title":"Distributed Computing in Sensor Systems","author":"J.B. Schmitt","year":"2005","unstructured":"Schmitt, J.B., Roedig, U.: Sensor Network Calculus \u2013 A Framework for Worst Case Analysis. In: Prasanna, V.K., Iyengar, S.S., Spirakis, P.G., Welsh, M. (eds.) DCOSS 2005. LNCS, vol.\u00a03560, pp. 141\u2013154. Springer, Heidelberg (2005)"},{"key":"6_CR22","doi-asserted-by":"crossref","unstructured":"Touseau, L., Donsez, D., Rudametkin, W.: Towards a SLA-based approach to handle service disruptions. In: Services Computing, SCC 2008, vol.\u00a01, pp. 415\u2013422. IEEE (2008)","DOI":"10.1109\/SCC.2008.107"},{"key":"6_CR23","doi-asserted-by":"publisher","first-page":"883","DOI":"10.1016\/j.peva.2008.04.008","volume":"65","author":"A. Bouillard","year":"2008","unstructured":"Bouillard, A., Gaujal, B., Lagrange, S., Thierry, \u00c9.: Optimal routing for end-to-end guarantees using Network Calculus. Performance Evaluation\u00a065, 883\u2013906 (2008)","journal-title":"Performance Evaluation"},{"key":"6_CR24","doi-asserted-by":"crossref","unstructured":"Thiele, L., Chakraborty, S., Naedele, M.: Real-time calculus for scheduling hard real-time systems. In: ISCAS 2000, vol.\u00a04 (2000)","DOI":"10.1109\/ISCAS.2000.858698"},{"key":"6_CR25","doi-asserted-by":"crossref","unstructured":"Chakraborty, S., K\u00fcnzli, S., Thiele, L.: A general framework for analysing system properties in platform-based embedded system designs. In: Proc. 6th Design, Automation and Test in Europe (DATE), pp. 190\u2013195 (2003)","DOI":"10.1109\/DATE.2003.1253607"},{"key":"6_CR26","doi-asserted-by":"crossref","unstructured":"Jiang, Y.: Network Calculus and Queueing Theory: Two sides of one coin. ICST ValueTools (2009)","DOI":"10.4108\/ICST.VALUETOOLS2009.7450"},{"key":"6_CR27","unstructured":"Jiang, Y., Liu, Y.: Stochastic Network Calculus. Springer-Verlag New York Inc. (2008)"},{"key":"6_CR28","unstructured":"Eckert, J., Pandit, K., Repp, N., Berbner, R., Steinmetz, R.: Worst-case performance analysis of Web service workflows. In: Proceedings of the 9th International Conference on Information Integration and Web-based Application & Services (2007)"},{"key":"6_CR29","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"36","DOI":"10.1007\/11556169_2","volume-title":"Architecting Dependable Systems III","author":"C. Molina-Jim\u00e9nez","year":"2005","unstructured":"Molina-Jim\u00e9nez, C., Pruyne, J., van Moorsel, A.: The Role of Agreements in IT Management Software. In: de Lemos, R., Gacek, C., Romanovsky, A. (eds.) Architecting Dependable Systems III. LNCS, vol.\u00a03549, pp. 36\u201358. Springer, Heidelberg (2005)"},{"key":"6_CR30","doi-asserted-by":"crossref","unstructured":"Liebeherr, J., Fidler, M., Valaee, S.: A min-plus system interpretation of bandwidth estimation. In: 26th IEEE International Conference on Computer Communications, INFOCOM 2007, pp. 1127\u20131135. IEEE (2007)","DOI":"10.1109\/INFCOM.2007.135"},{"key":"6_CR31","doi-asserted-by":"publisher","first-page":"1040","DOI":"10.1109\/TNET.2009.2035115","volume":"18","author":"J. Liebeherr","year":"2010","unstructured":"Liebeherr, J., Fidler, M., Valaee, S.: A system-theoretic approach to bandwidth estimation. IEEE\/ACM Transactions on Networking\u00a018, 1040\u20131053 (2010)","journal-title":"IEEE\/ACM Transactions on Networking"}],"container-title":["Lecture Notes in Computer Science","Measurement, Modelling, and Evaluation of Computing Systems and Dependability and Fault Tolerance"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-28540-0_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,22]],"date-time":"2025-03-22T18:32:44Z","timestamp":1742668364000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-28540-0_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642285394","9783642285400"],"references-count":31,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-28540-0_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}