{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,5]],"date-time":"2025-10-05T16:54:25Z","timestamp":1759683265202,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":23,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642255342"},{"type":"electronic","value":"9783642255359"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"content-version":"tdm","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-25535-9_5","type":"book-chapter","created":{"date-parts":[[2011,11,18]],"date-time":"2011-11-18T08:17:59Z","timestamp":1321604279000},"page":"62-76","source":"Crossref","is-referenced-by-count":27,"title":["Constraint-Based Runtime Prediction of SLA Violations in Service Orchestrations"],"prefix":"10.1007","author":[{"given":"Dragan","family":"Ivanovi\u0107","sequence":"first","affiliation":[]},{"given":"Manuel","family":"Carro","sequence":"additional","affiliation":[]},{"given":"Manuel","family":"Hermenegildo","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"5_CR1","doi-asserted-by":"crossref","unstructured":"Apt, K.R.: Principles of Constraint Programming. Cambridge University Press (2003)","DOI":"10.1017\/CBO9780511615320"},{"key":"5_CR2","doi-asserted-by":"crossref","unstructured":"Apt, K.R., Wallace, M.G.: Constraint Logic Programming Using ECLIPSE. Cambridge University Press (2007)","DOI":"10.1017\/CBO9780511607400"},{"key":"5_CR3","unstructured":"Cardoso, J.: About the Data-Flow Complexity of Web Processes. In: 6th International Workshop on Business Process Modeling, Development, and Support: Business Processes and Support Systems: Design for Flexibility, pp. 67\u201374 (2005)"},{"issue":"3","key":"5_CR4","doi-asserted-by":"publisher","first-page":"281","DOI":"10.1016\/j.websem.2004.03.001","volume":"1","author":"J. Cardoso","year":"2004","unstructured":"Cardoso, J., Sheth, A., Miller, J., Arnold, J., Kochut, K.: Quality of service for workflows and web service processes. Web Semantics: Science, Services and Agents on the World Wide Web\u00a01(3), 281\u2013308 (2004)","journal-title":"Web Semantics: Science, Services and Agents on the World Wide Web"},{"key":"5_CR5","unstructured":"Cisco Systems. ECLIPSE User Manual (2006)"},{"key":"5_CR6","unstructured":"Dechter, R.: Constraint Processing. Morgan Kauffman Publishers (2003)"},{"key":"5_CR7","doi-asserted-by":"publisher","first-page":"313","DOI":"10.1007\/s10515-008-0032-x","volume":"15","author":"E. Nitto Di","year":"2008","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\u00a015, 313\u2013341 (2008), doi:10.1007\/s10515-008-0032-x","journal-title":"Automated Software Engineering"},{"key":"5_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"63","DOI":"10.1007\/978-3-642-17694-4_6","volume-title":"Towards a Service-Based Internet","author":"D. Dranidis","year":"2010","unstructured":"Dranidis, D., Metzger, A., Kourtesis, D.: Enabling Proactive Adaptation through Just-in-Time Testing of Conversational Services. In: Di Nitto, E., Yahyapour, R. (eds.) ServiceWave 2010. LNCS, vol.\u00a06481, pp. 63\u201375. Springer, Heidelberg (2010)"},{"key":"5_CR9","unstructured":"Hermenegildo, M.V., Bueno, F., Carro, M., L\u00f3pez, P., Mera, E., Morales, J.F., Puebla, G.: An Overview of Ciao and its Design Philosophy. Theory and Practice of Logic Programming (2012), \n                      \n                        http:\/\/arxiv.org\/abs\/1102.5497"},{"key":"5_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"122","DOI":"10.1007\/978-3-540-89897-9_11","volume-title":"Towards a Service-Based Internet","author":"J. Hielscher","year":"2008","unstructured":"Hielscher, J., Kazhamiakin, R., Metzger, A., Pistore, M.: A framework for Proactive Self-Adaptation of Service-Based Applications Based on Online Testing. In: M\u00e4h\u00f6nen, P., Pohl, K., Priol, T. (eds.) ServiceWave 2008. LNCS, vol.\u00a05377, pp. 122\u2013133. Springer, Heidelberg (2008)"},{"key":"5_CR11","unstructured":"iMatix Corporation. 0MQ - The Reference Manual, version 2.1 (June 2011)"},{"key":"5_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"414","DOI":"10.1007\/978-3-642-16132-2_39","volume-title":"Service-Oriented Computing. ICSOC\/ServiceWave 2009 Workshops","author":"D. Ivanovi\u0107","year":"2010","unstructured":"Ivanovi\u0107, D., Carro, M., Hermenegildo, M.: An Initial Proposal for Data-Aware Resource Analysis of Orchestrations with Applications to Predictive Monitoring. In: Dan, A., Gittler, F., Toumani, F. (eds.) ICSOC\/ServiceWave 2009. LNCS, vol.\u00a06275, pp. 414\u2013424. Springer, Heidelberg (2010)"},{"key":"5_CR13","doi-asserted-by":"crossref","unstructured":"Ivanovi\u0107, 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), Miami, FL, USA, July 5-10. IEEE (2010)","DOI":"10.1109\/ICWS.2010.73"},{"key":"5_CR14","unstructured":"Jordan, D., et al.: Web Services Business Process Execution Language Version 2.0. Technical report, IBM, Microsoft, et al (2007)"},{"key":"5_CR15","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":"5_CR16","unstructured":"Object Management Group. Business Process Modeling Notation (BPMN), Version 1.2 (January 2009)"},{"key":"5_CR17","doi-asserted-by":"publisher","first-page":"233","DOI":"10.1007\/BF01019459","volume":"6","author":"J.C. Reynolds","year":"1993","unstructured":"Reynolds, J.C.: The discoveries of continuations. LISP and Symbolic Computation Journal\u00a06, 233\u2013247 (1993)","journal-title":"LISP and Symbolic Computation Journal"},{"issue":"2","key":"5_CR18","doi-asserted-by":"publisher","first-page":"125","DOI":"10.1109\/TSC.2010.47","volume":"4","author":"S. Stein","year":"2011","unstructured":"Stein, S., Payne, T.R., Jennings, N.R.: Robust execution of service workflows using redundancy and advance reservations. IEEE T. Services Computing\u00a04(2), 125\u2013139 (2011)","journal-title":"IEEE T. Services Computing"},{"key":"5_CR19","volume-title":"Towards the Future Internet: A European Research Perspective","author":"G. Tselentis","year":"2009","unstructured":"Tselentis, G., Dominigue, J., Galis, A., Gavras, A., Hausheer, D.: Towards the Future Internet: A European Research Perspective. IOS Press, Amsterdam (2009)"},{"issue":"4","key":"5_CR20","doi-asserted-by":"publisher","first-page":"245","DOI":"10.1016\/j.is.2004.02.002","volume":"30","author":"W.M.P. Aalst van der","year":"2005","unstructured":"van der Aalst, W.M.P., ter Hofstede, A.H.M.: YAWL: Yet Another Workflow Language. Information Systems\u00a030(4), 245\u2013275 (2005)","journal-title":"Information Systems"},{"key":"5_CR21","doi-asserted-by":"crossref","unstructured":"van der Aalst, W.M.P., Pesic, M.: DecSerFlow: Towards a Truly Declarative Service Flow Language. In: The Role of Business Processes in Service Oriented Architectures. Dagstuhl Seminar Proceedings, vol.\u00a006291 (2006)","DOI":"10.1007\/11841197_1"},{"issue":"1","key":"5_CR22","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1023\/A:1022883727209","volume":"14","author":"W.M.P. Aalst van der","year":"2003","unstructured":"van der Aalst, W.M.P., ter Hofstede, A.H.M., Kiepuszewski, B., Barros, A.P.: Workflow Patterns. Distributed and Parallel Databases\u00a014(1), 5\u201351 (2003)","journal-title":"Distributed and Parallel Databases"},{"key":"5_CR23","doi-asserted-by":"crossref","unstructured":"Wetzstein, B., Leitner, P., Rosenberg, F., Brandic, I., Dustdar, S., Leymann, F.: Monitoring and analyzing influential factors of business process performance. In: EDOC, pp. 141\u2013150. IEEE Computer Society (2009)","DOI":"10.1109\/EDOC.2009.18"}],"container-title":["Lecture Notes in Computer Science","Service-Oriented Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-25535-9_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T20:24:59Z","timestamp":1558297499000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-25535-9_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642255342","9783642255359"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-25535-9_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2011]]}}}