{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,4,11]],"date-time":"2025-04-11T04:58:05Z","timestamp":1744347485944,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642247545"},{"type":"electronic","value":"9783642247552"}],"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-24755-2_19","type":"book-chapter","created":{"date-parts":[[2011,9,29]],"date-time":"2011-09-29T11:06:44Z","timestamp":1317294404000},"page":"194-205","source":"Crossref","is-referenced-by-count":13,"title":["Preventing Performance Violations of Service Compositions Using Assumption-Based Run-Time Verification"],"prefix":"10.1007","author":[{"given":"Eric","family":"Schmieders","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andreas","family":"Metzger","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"19_CR1","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-15187-7","volume-title":"The Munich Project CIP: Volume I: the wide spectrum language CIP-L","author":"F.L. Bauer","year":"1985","unstructured":"Bauer, F.L., Berghammer, et al.: The Munich Project CIP: Volume I: the wide spectrum language CIP-L. Springer, London (1985)"},{"key":"19_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"131","DOI":"10.1007\/978-3-540-89762-0_5","volume-title":"Advances in Software Engineering","author":"D. Bianculli","year":"2008","unstructured":"Bianculli, D., Ghezzi, C., Spoletini, P., Baresi, L., Guinea, S.: A guided tour through SAVVY-WS: A methodology for specifying and validating web service compositions. In: B\u00f6rger, E., Cisternino, A. (eds.) Advances in Software Engineering. LNCS, vol.\u00a05316, pp. 131\u2013160. Springer, Heidelberg (2008)"},{"key":"19_CR3","doi-asserted-by":"crossref","unstructured":"Cavallo, B., Di Penta, M., Canfora, G.: An empirical comparison of methods to support QoS-aware service selection. In: 2nd International Workshop on Principles of Engineering Service-Oriented Systems, PESOS 2010 (co-located with ICSE 2010, Cape Town), pp. 64\u201370 (2010)","DOI":"10.1145\/1808885.1808899"},{"key":"19_CR4","doi-asserted-by":"crossref","unstructured":"Comuzzi, M., Pernici, B.: A framework for qos-based web service contracting. ACM Transactions on Web\u00a03(3) (2009)","DOI":"10.1145\/1541822.1541825"},{"key":"19_CR5","doi-asserted-by":"crossref","unstructured":"Di Nitto, E., Ghezzi, C., Metzger, A., Papazoglou, M., Pohl, K.: A journey to highly dynamic, self-adaptive service-based applications. Automated Software Engineering (2008)","DOI":"10.1007\/s10515-008-0032-x"},{"key":"19_CR6","volume-title":"Symposium on Applied Computing (SAC)","author":"A. Gehlert","year":"2010","unstructured":"Gehlert, A., Bucchiarone, A., Kazhamiakin, R., Metzger, A., Pistore, M., Pohl, K.: Exploiting assumption-based verification for the adaptation of service-based applications. In: Symposium on Applied Computing (SAC), Sierre, Switzerland, March 22-26. ACM, New York (2010)"},{"key":"19_CR7","doi-asserted-by":"crossref","unstructured":"Ghezzi, C., Tamburrelli, G.: Reasoning on non-functional requirements for integrated services. In: Proceedings of the 2009 17th IEEE International Requirements Engineering Conference. RE 2009, pp. 69\u201378 (2009)","DOI":"10.1109\/RE.2009.34"},{"key":"19_CR8","doi-asserted-by":"crossref","unstructured":"Hermosillo, G., Seinturier, L., Duchien, L.: Using complex event processing for dynamic business process adaptation. In: Proceedings of the 2010 IEEE International Conference on Services Computing, SCC 2010 (2010)","DOI":"10.1109\/SCC.2010.48"},{"key":"19_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"288","DOI":"10.1007\/978-3-642-16373-9_21","volume-title":"Conceptual Modeling \u2013 ER 2010","author":"D. Ivanovi\u0107","year":"2010","unstructured":"Ivanovi\u0107, D., Treiber, M., Carro, M., Dustdar, S.: Building dynamic models of service compositions with simulation of provision resources. In: Parsons, J., Saeki, M., Shoval, P., Woo, C., Wand, Y. (eds.) ER 2010. LNCS, vol.\u00a06412, pp. 288\u2013301. Springer, Heidelberg (2010)"},{"key":"19_CR10","doi-asserted-by":"crossref","unstructured":"Ivanovic, D., Carro, M., Hermenegildo, M.: Towards data-aware qos-driven adaptation for service orchestrations. In: Proceedings of the 2010 IEEE International Conference on Web Services, ICWS 2010, pp. 107\u2013114 (2010)","DOI":"10.1109\/ICWS.2010.73"},{"key":"19_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"365","DOI":"10.1007\/978-3-642-17358-5_25","volume-title":"Service-Oriented Computing","author":"P. Leitner","year":"2010","unstructured":"Leitner, P., Wetzstein, B., Karastoyanova, D., Hummer, W., Dustdar, S., Leymann, F.: Preventing SLA violations in service compositions using aspect-based fragment substitution. In: Maglio, P.P., Weske, M., Yang, J., Fantinato, M. (eds.) ICSOC 2010. LNCS, vol.\u00a06470, pp. 365\u2013380. Springer, Heidelberg (2010)"},{"key":"19_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"176","DOI":"10.1007\/978-3-642-16132-2_17","volume-title":"Service-Oriented Computing. ICSOC\/ServiceWave 2009 Workshops","author":"P. Leitner","year":"2010","unstructured":"Leitner, P., Wetzstein, B., Rosenberg, F., Michlmayr, A., Dustdar, S., Leymann, F.: Runtime prediction of service level agreement violations for composite services. In: Dan, A., Gittler, F., Toumani, F. (eds.) ICSOC\/ServiceWave 2009. LNCS, vol.\u00a06275, pp. 176\u2013186. Springer, Heidelberg (2010)"},{"key":"19_CR13","doi-asserted-by":"publisher","first-page":"16","DOI":"10.1109\/MIC.2009.28","volume":"13","author":"K.J. Lin","year":"2009","unstructured":"Lin, K.J., Panahi, M., Zhang, Y., Zhang, J., Chang, S.H.: Building accountability middleware to support dependable soa. IEEE Internet Computing\u00a013, 16\u201325 (2009)","journal-title":"IEEE Internet Computing"},{"volume-title":"Service Research Challenges and Solutions for the Future Internet: Towards Mechanisms and Methods for Engineering, Managing, and Adapting Service-Based Systems","year":"2010","key":"19_CR14","unstructured":"Papazoglou, M., Pohl, K., Parkin, M., Metzger, A. (eds.): Service Research Challenges and Solutions for the Future Internet: Towards Mechanisms and Methods for Engineering, Managing, and Adapting Service-Based Systems. Springer, Heidelberg (2010)"},{"key":"19_CR15","volume-title":"Towards the Future Internet: A European Research Perspective","author":"G. Tselentis","year":"2009","unstructured":"Tselentis, G., Domingue, J., Galis, A., Gavras, A., Hausheer, D.: Towards the Future Internet: A European Research Perspective. IOS Press, Amsterdam (2009)"},{"key":"19_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"92","DOI":"10.1007\/978-3-642-17358-5_7","volume-title":"Service-Oriented Computing","author":"H. Wang","year":"2010","unstructured":"Wang, H., Zhou, X., Zhou, X., Liu, W., Li, W., Bouguettaya, A.: Adaptive service composition based on reinforcement learning. In: Maglio, P.P., Weske, M., Yang, J., Fantinato, M. (eds.) ICSOC 2010. LNCS, vol.\u00a06470, pp. 92\u2013107. Springer, Heidelberg (2010)"},{"key":"19_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"147","DOI":"10.1007\/978-3-540-89652-4_14","volume-title":"Service-Oriented Computing \u2013 ICSOC 2008","author":"L. Zeng","year":"2008","unstructured":"Zeng, L., Lingenfelder, C., Lei, H., Chang, H.: Event-driven quality of service prediction. In: Bouguettaya, A., Krueger, I., Margaria, T. (eds.) ICSOC 2008. LNCS, vol.\u00a05364, pp. 147\u2013161. Springer, Heidelberg (2008)"},{"key":"19_CR18","doi-asserted-by":"publisher","first-page":"83","DOI":"10.1109\/ICWS.2010.10","volume-title":"Proceedings of the 2010 IEEE International Conference on Web Services, ICWS 2010","author":"Z. Zheng","year":"2010","unstructured":"Zheng, Z., Zhang, Y., Lyu, M.R.: Distributed qos evaluation for real-world web services. In: Proceedings of the 2010 IEEE International Conference on Web Services, ICWS 2010, pp. 83\u201390. IEEE Computer Society, Washington, DC, USA (2010)"}],"container-title":["Lecture Notes in Computer Science","Towards a Service-Based Internet"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-24755-2_19","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,8]],"date-time":"2019-04-08T02:05:08Z","timestamp":1554689108000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-24755-2_19"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642247545","9783642247552"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-24755-2_19","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2011]]}}}