{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,20]],"date-time":"2025-03-20T04:11:38Z","timestamp":1742443898652,"version":"3.40.1"},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642247484"},{"type":"electronic","value":"9783642247491"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"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":[[2011]]},"DOI":"10.1007\/978-3-642-24749-1_10","type":"book-chapter","created":{"date-parts":[[2012,1,27]],"date-time":"2012-01-27T04:13:42Z","timestamp":1327637622000},"page":"117-132","source":"Crossref","is-referenced-by-count":0,"title":["Formal Mapping of WSLA Contracts on Stochastic Models"],"prefix":"10.1007","author":[{"given":"Rouaa","family":"Yassin Kassab","sequence":"first","affiliation":[]},{"given":"Aad","family":"van Moorsel","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"10_CR1","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":"10_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"28","DOI":"10.1007\/3-540-36110-3_6","volume-title":"Management Technologies for E-Commerce and E-Business Applications","author":"A. Sahai","year":"2002","unstructured":"Sahai, A., Machiraju, V., Sayal, M., van Moorsel, A., Casati, F.: Automated SLA monitoring for web services. In: Feridun, M., Kropf, P.G., Babin, G. (eds.) DSOM 2002. LNCS, vol.\u00a02506, pp. 28\u201341. Springer, Heidelberg (2002)"},{"key":"10_CR3","unstructured":"Ludwig, H., Keller, A., Dan, A., King, R., Franck, R.: Web Service Level Agreement (WSLA) Language Specification. IBM (January 2003)"},{"key":"10_CR4","unstructured":"Andrieux, A., Czajkowski, K., Dan, A., Keahey, K., Ludwig, H., Nakata, T., Pruyne, J., Rofrano, J., Tuecke, S., Xu, M.: Web Services Agreement Specification (WS-Agreement). Open Grid Forum, version 2005\/09 edition"},{"key":"10_CR5","doi-asserted-by":"crossref","unstructured":"Davide Lamanna, D., Skene, J., Emmerich, W.: SLAng: A language for defining service level agreements. In: The Ninth IEEE Workshop on Future Trends of Distributed Computing Systems, pp. 100\u2013106 (2003)","DOI":"10.1109\/FTDCS.2003.1204317"},{"key":"10_CR6","unstructured":"Paschke, A., Schnappinger-Gerull, E.: A categorization scheme for SLA metrics. In: Service Oriented Electronic Commerce, pp. 25\u201340 (2006)"},{"key":"10_CR7","volume-title":"Stochastic Discrete Event Systems: Modeling, Evaluation, Applications","author":"A. Zimmermann","year":"2007","unstructured":"Zimmermann, A.: Stochastic Discrete Event Systems: Modeling, Evaluation, Applications. Springer-Verlag New York, Inc., Secaucus (2007)"},{"key":"10_CR8","unstructured":"Dingle, N.J., Knottenbelt, W.J., Wang, L.: Service level agreement specification, compliance prediction and monitoring with performance trees. In: 22nd Annual European Simulation and Modelling Conference (ESM 2008), pp. 137\u201314 (September 2008)"},{"key":"10_CR9","unstructured":"Kassab, R.Y., van Moorsel, A.: Mapping WSLA on reward constructs in M\u00f6bius. In: 24th UK Performance Engineering Workshop, pp. 137\u2013147 (2008)"},{"key":"10_CR10","unstructured":"Sanders, W.H.: M\u00f6bius User Manual, Version 2.3.1. University of Illinois, US (May 2010)"},{"key":"10_CR11","doi-asserted-by":"publisher","first-page":"215","DOI":"10.1007\/978-3-7091-9123-1_10","volume":"4","author":"W.H. Sanders","year":"1991","unstructured":"Sanders, W.H., Meyer, J.F.: A unified approach for specifying measures of performance, dependability, and performability. Dependable Computing and Fault-Tolerant Systems: Dependable Computing for Critical Applications\u00a04, 215\u2013237 (1991)","journal-title":"Dependable Computing and Fault-Tolerant Systems: Dependable Computing for Critical Applications"},{"key":"10_CR12","unstructured":"Berglund, A., Boag, S., Chamberlin, D., Fern\u00e1ndez, M.F., Kay, M., Robie, J., Simon, J.: XML path language (XPath) 2.0. Technical report, World Wide Web Consortium (January 2007)"},{"key":"10_CR13","unstructured":"Altova XMLSpy v2011r3 enterprise edition (2011), http:\/\/www.altova.com"},{"issue":"1","key":"10_CR14","doi-asserted-by":"publisher","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. Manage.\u00a011(1), 57\u201381 (2003)","journal-title":"J. Netw. Syst. Manage."},{"key":"10_CR15","doi-asserted-by":"crossref","unstructured":"Ludwig, H., Keller, A., Dan, A., King, R., Franck, R.: A service level agreement language for dynamic electronic services 3, 43\u201359 (January 2003)","DOI":"10.1023\/A:1021525310424"},{"key":"10_CR16","volume-title":"Introduction to probability","author":"C.M. Grinstead","year":"1997","unstructured":"Grinstead, C.M., Snell, J.L.: Introduction to probability. American Mathematical Society, Providence (1997)"},{"key":"10_CR17","doi-asserted-by":"crossref","unstructured":"Sanders, W.H., Meyer, J.F.: Stochastic activity networks: Formal definitions and concepts. In: European Educational Forum, pp. 315\u2013343 (2000)","DOI":"10.1007\/3-540-44667-2_9"},{"key":"10_CR18","doi-asserted-by":"crossref","unstructured":"Thomas, J.P., Thomas, M., Ghinea, G.: Modeling of web services flow. In: CEC, pp. 391\u2013398 (2003)","DOI":"10.1109\/COEC.2003.1210275"}],"container-title":["Lecture Notes in Computer Science","Computer Performance Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-24749-1_10","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,19]],"date-time":"2025-03-19T09:15:55Z","timestamp":1742375755000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-24749-1_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642247484","9783642247491"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-24749-1_10","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2011]]}}}