{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T08:53:40Z","timestamp":1725699220966},"publisher-location":"Berlin, Heidelberg","reference-count":50,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642324383"},{"type":"electronic","value":"9783642324390"}],"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-32439-0_4","type":"book-chapter","created":{"date-parts":[[2012,8,7]],"date-time":"2012-08-07T21:20:09Z","timestamp":1344374409000},"page":"48-70","source":"Crossref","is-referenced-by-count":0,"title":["On Guaranteeing Global Dependability Properties in Collaborative Business Process Management"],"prefix":"10.1007","author":[{"given":"Valeria","family":"Cardellini","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Emiliano","family":"Casalicchio","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Vincenzo","family":"Grassi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Francesco","family":"Lo Presti","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"4_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/3-540-44895-0_1","volume-title":"Business Process Management","author":"W.M.P. Aalst van der","year":"2003","unstructured":"van der Aalst, W.M.P., ter Hofstede, A.H.M., Weske, M.: Business Process Management: A Survey. In: van der Aalst, W.M.P., ter Hofstede, A.H.M., Weske, M. (eds.) BPM 2003. LNCS, vol.\u00a02678, pp. 1\u201312. Springer, Heidelberg (2003)"},{"key":"4_CR2","unstructured":"Activiti: Activiti BPM Platform (2011), \n                    \n                      http:\/\/www.activiti.org\/"},{"key":"4_CR3","series-title":"LNCS","first-page":"93","volume-title":"BSME 2012","author":"M. Anisetti","year":"2012","unstructured":"Anisetti, M., Ardagna, C.A., Damiani, E.: Container-Level Security Certification of Services. In: Ardagna, C.A., et al. (eds.) BSME 2012. LNCS, vol.\u00a07350, pp. 93\u2013108. Springer, Heidelberg (2012)"},{"key":"4_CR4","unstructured":"Apache Software Foundation: Apache ODE (2011), \n                    \n                      http:\/\/ode.apache.org\/"},{"issue":"6","key":"4_CR5","doi-asserted-by":"publisher","first-page":"369","DOI":"10.1109\/TSE.2007.1011","volume":"33","author":"D. Ardagna","year":"2007","unstructured":"Ardagna, D., Pernici, B.: Adaptive service composition in flexible processes. IEEE Trans. Softw. Eng.\u00a033(6), 369\u2013384 (2007)","journal-title":"IEEE Trans. Softw. Eng."},{"issue":"1","key":"4_CR6","doi-asserted-by":"publisher","first-page":"11","DOI":"10.1109\/TDSC.2004.2","volume":"1","author":"A. Avizienis","year":"2004","unstructured":"Avizienis, A., Laprie, J.C., Randell, B., Landwehr, C.E.: Basic concepts and taxonomy of dependable and secure computing. IEEE Trans. Dependable Sec. Comput.\u00a01(1), 11\u201333 (2004)","journal-title":"IEEE Trans. Dependable Sec. Comput."},{"key":"4_CR7","series-title":"LNCS","first-page":"16","volume-title":"BSME 2012","author":"Y. Badr","year":"2012","unstructured":"Badr, Y., Peng, Y., Biennier, F.: Digital Ecosystems for Business e-Services in Knowledge-Intensive Firms. In: Ardagna, C.A., et al. (eds.) BSME 2012. LNCS, vol.\u00a07350, pp. 16\u201331. Springer, Heidelberg (2012)"},{"issue":"10","key":"4_CR8","doi-asserted-by":"publisher","first-page":"36","DOI":"10.1109\/MC.2006.362","volume":"39","author":"L. Baresi","year":"2006","unstructured":"Baresi, L., Di Nitto, E., Ghezzi, C.: Toward open-world software: Issue and challenges. IEEE Computer\u00a039(10), 36\u201343 (2006)","journal-title":"IEEE Computer"},{"issue":"2","key":"4_CR9","doi-asserted-by":"publisher","first-page":"247","DOI":"10.1109\/TSE.2010.37","volume":"37","author":"L. Baresi","year":"2011","unstructured":"Baresi, L., Guinea, S.: Self-supervising BPEL processes. IEEE Trans. Software Eng.\u00a037(2), 247\u2013263 (2011)","journal-title":"IEEE Trans. Software Eng."},{"key":"4_CR10","doi-asserted-by":"crossref","unstructured":"Berbner, R., Spahn, M., Repp, N., Heckmann, O., Steinmetz, R.: Heuristics for QoS-aware Web service composition. In: IEEE ICWS 2006, pp. 72\u201382 (2006)","DOI":"10.1109\/ICWS.2006.69"},{"key":"4_CR11","unstructured":"Bonita: Bonita Execution Engine (2011), \n                    \n                      http:\/\/www.bonitasoft.org\/"},{"issue":"10","key":"4_CR12","doi-asserted-by":"publisher","first-page":"1754","DOI":"10.1016\/j.jss.2007.12.792","volume":"81","author":"G. Canfora","year":"2008","unstructured":"Canfora, G., Di Penta, M., Esposito, R., Villani, M.: A framework for QoS-aware binding and re-binding of composite web services. J. Syst. Softw.\u00a081(10), 1754\u20131769 (2008)","journal-title":"J. Syst. Softw."},{"key":"4_CR13","doi-asserted-by":"crossref","unstructured":"Cardellini, V., Iannucci, S.: Designing a broker for QoS-driven runtime adaptation of SOA applications. In: IEEE ICWS 2010, pp. 504\u2013511 (2010)","DOI":"10.1109\/ICWS.2010.77"},{"key":"4_CR14","doi-asserted-by":"crossref","unstructured":"Cardellini, V., Casalicchio, E., Grassi, V., Iannucci, S., Lo Presti, F., Mirandola, R.: MOSES: a framework for QoS driven runtime adaptation of service-oriented systems. IEEE Trans. Softw. Eng. (to appear, 2012)","DOI":"10.1109\/TSE.2011.68"},{"key":"4_CR15","doi-asserted-by":"crossref","unstructured":"Cardellini, V., Casalicchio, E., Grassi, V., Lo Presti, F., Mirandola, R.: QoS-driven runtime adaptation of service oriented architectures. In: ACM ESEC\/SIGSOFT FSE 2009, pp. 131\u2013140 (2009)","DOI":"10.1145\/1595696.1595718"},{"key":"4_CR16","doi-asserted-by":"crossref","unstructured":"Chan, P., Liu, M., Malek, M.: Reliable web services: methodology, experiment and modeling. In: IEEE ICWS 2007, pp. 679\u2013686 (2007)","DOI":"10.1109\/ICWS.2007.151"},{"key":"4_CR17","volume-title":"Software Engineering for Self-Adaptive Systems. Dagstuhl Seminar Proceedings","author":"B.H.C. Cheng","year":"2008","unstructured":"Cheng, B.H.C., Giese, H., Inverardi, P., Magee, J., de Lemos, R.: 08031 \u2013 software engineering for self-adaptive systems: A research road map. In: Software Engineering for Self-Adaptive Systems. Dagstuhl Seminar Proceedings, vol.\u00a008031. IBFI, Schloss Dagstuhl, Germany (2008)"},{"key":"4_CR18","doi-asserted-by":"crossref","unstructured":"Dan, A., Davis, D., Kearney, R., Keller, A., King, R., Kuebler, D., Ludwig, H., Polan, M., Spreitzer, M., Youssef, A.: Web services on demand: WSLA-driven automated management. IBM Systems J. 43(1) (2004)","DOI":"10.1147\/sj.431.0136"},{"issue":"10","key":"4_CR19","doi-asserted-by":"publisher","first-page":"946","DOI":"10.1016\/j.datak.2009.04.003","volume":"68","author":"G. Decker","year":"2009","unstructured":"Decker, G., Kopp, O., Leymann, F., Weske, M.: Interacting services: From specification to execution. Data Knowl. Eng.\u00a068(10), 946\u2013972 (2009)","journal-title":"Data Knowl. Eng."},{"key":"4_CR20","series-title":"LNCS","first-page":"71","volume-title":"BSME 2012","author":"E. Dubois","year":"2012","unstructured":"Dubois, E., Kubicki, S., Ramel, S., Rifaut, A.: Capturing and Aligning Assurance Requirements for Business Services Systems. In: Ardagna, C.A., et al. (eds.) BSME 2012. LNCS, vol.\u00a07350, pp. 71\u201392. Springer, Heidelberg (2012)"},{"key":"4_CR21","series-title":"LNCS","first-page":"1","volume-title":"BSME 2012","author":"A. Friesen","year":"2012","unstructured":"Friesen, A., Theilmann, W., Heller, M., Lemcke, J., Momm, C.: On Some Challenges in Business Systems Management and Engineering for the Networked Enterprise of the Future. In: Ardagna, C.A., et al. (eds.) BSME 2012. LNCS, vol.\u00a07350, pp. 1\u201315. Springer, Heidelberg (2012)"},{"key":"4_CR22","doi-asserted-by":"crossref","unstructured":"Guo, H., Huai, J., Li, H., Deng, T., Li, Y., Du, Z.: Angel: Optimal configuration for high available service composition. In: IEEE ICWS 2007, pp. 280\u2013287 (2007)","DOI":"10.1109\/ICWS.2007.41"},{"key":"4_CR23","doi-asserted-by":"crossref","unstructured":"Hwang, S.Y., Liao, W.P., Lee, C.H.: Web services selection in support of reliable web service choreography. In: IEEE ICWS 2010, pp. 115\u2013122 (2010)","DOI":"10.1109\/ICWS.2010.79"},{"issue":"2","key":"4_CR24","doi-asserted-by":"publisher","first-page":"104","DOI":"10.1109\/TSC.2008.2","volume":"1","author":"S.Y. Hwang","year":"2008","unstructured":"Hwang, S.Y., Lim, E.P., Lee, C.H., Chen, C.H.: Dynamic web service selection for reliable web service composition. IEEE Trans. Serv. Comput.\u00a01(2), 104\u2013116 (2008)","journal-title":"IEEE Trans. Serv. Comput."},{"issue":"5","key":"4_CR25","doi-asserted-by":"publisher","first-page":"744","DOI":"10.1108\/14637150910987937","volume":"15","author":"R. Ko","year":"2009","unstructured":"Ko, R., Lee, S., Lee, E.W.: Business Process Management (BPM) standards: a survey. Business Process Management J.\u00a015(5), 744\u2013791 (2009)","journal-title":"Business Process Management J."},{"issue":"1","key":"4_CR26","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/1658373.1658375","volume":"4","author":"G. Li","year":"2010","unstructured":"Li, G., Muthusamy, V., Jacobsen, H.A.: A distributed service-oriented architecture for business process execution. ACM Trans. Web\u00a04(1), 1\u201333 (2010)","journal-title":"ACM Trans. Web"},{"issue":"1","key":"4_CR27","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/1824795.1824799","volume":"43","author":"H. Mili","year":"2010","unstructured":"Mili, H., Tremblay, G., Jaoude, G.B., Lefebvre, E., Elabed, L., Boussaidi, G.E.: Business process modeling languages: Sorting through the alphabet soup. ACM Comput. Surv.\u00a043(1), 1\u201356 (2010)","journal-title":"ACM Comput. Surv."},{"key":"4_CR28","series-title":"LNCS","first-page":"138","volume-title":"BSME 2012","author":"J. Niem\u00f6ller","year":"2012","unstructured":"Niem\u00f6ller, J., Freiter, E., Vandikas, K., Quinet, R., Levenshteyn, R., Fikouras, I.: Composition in Heterogeneous Service Networks: Requirements and Solutions. In: Ardagna, C.A., et al. (eds.) BSME 2012. LNCS, vol.\u00a07350, pp. 138\u2013158. Springer, Heidelberg (2012)"},{"issue":"3-4","key":"4_CR29","doi-asserted-by":"publisher","first-page":"313","DOI":"10.1007\/s10515-008-0032-x","volume":"15","author":"E.D. Nitto","year":"2008","unstructured":"Nitto, E.D., Ghezzi, C., Metzger, A., Papazoglou, M.P., Pohl, K.: A journey to highly dynamic, self-adaptive service-based applications. Autom. Softw. Eng.\u00a015(3-4), 313\u2013341 (2008)","journal-title":"Autom. Softw. Eng."},{"key":"4_CR30","unstructured":"OASIS: Web Services Coordination (WS-Coordination) Version 1.2 (February 2009)"},{"key":"4_CR31","unstructured":"OMG: Business Process Model and Notation (BPMN) Version 2.0 (January 2011), \n                    \n                      http:\/\/www.omg.org\/spec\/BPMN\/2.0\/"},{"key":"4_CR32","unstructured":"Oracle: BPEL Service Engine (2011), \n                    \n                      http:\/\/www.oracle.com\/us\/technologies\/soa\/soa-suite\/"},{"key":"4_CR33","doi-asserted-by":"publisher","first-page":"49","DOI":"10.1023\/A:1022308532661","volume":"6","author":"M. Papazoglou","year":"2003","unstructured":"Papazoglou, M.: Web services and business transaction. World Wide Web: Internet and Web Information Systems\u00a06, 49\u201391 (2003)","journal-title":"World Wide Web: Internet and Web Information Systems"},{"key":"4_CR34","doi-asserted-by":"crossref","unstructured":"Pnueli, A.: The temporal logic of programs. In: Proc. of 18th Annual Symposium on Foundations of Computer Science, pp. 46\u201357. IEEE Computer Society (1977)","DOI":"10.1109\/SFCS.1977.32"},{"key":"4_CR35","doi-asserted-by":"crossref","unstructured":"Qu, Y., Lin, C., Wang, Y., Shan, Z.: Qos-aware composite service selection in grids. In: GCC 2006, pp. 458\u2013465. IEEE Computer Society (2006)","DOI":"10.1109\/GCC.2006.77"},{"key":"4_CR36","series-title":"LNCS","first-page":"181","volume-title":"BSME 2012","author":"I.B. Rodriguez","year":"2012","unstructured":"Rodriguez, I.B., Halima, R.B., Drira, K., Chassot, C., Jmaiel, M.: A Graph Grammar-Based Dynamic Reconfiguration for Virtualized Web Service-Based Composite Architectures. In: Ardagna, C.A., et al. (eds.) BSME 2012. LNCS, vol.\u00a07350, pp. 181\u2013196. Springer, Heidelberg (2012)"},{"issue":"2","key":"4_CR37","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/1516533.1516538","volume":"4","author":"M. Salehie","year":"2009","unstructured":"Salehie, M., Tahvildari, L.: Self-adaptive software: Landscape and research challenges. ACM Trans. Auton. Adapt. Syst.\u00a04(2), 1\u201342 (2009)","journal-title":"ACM Trans. Auton. Adapt. Syst."},{"issue":"2","key":"4_CR38","doi-asserted-by":"publisher","first-page":"288","DOI":"10.1109\/TSE.2009.55","volume":"36","author":"J. Skene","year":"2010","unstructured":"Skene, J., Raimondi, F., Emmerich, W.: Service-level agreements for electronic services. IEEE Trans. Softw. Eng.\u00a036(2), 288\u2013304 (2010)","journal-title":"IEEE Trans. Softw. Eng."},{"issue":"2","key":"4_CR39","doi-asserted-by":"publisher","first-page":"167","DOI":"10.1109\/TSC.2010.50","volume":"4","author":"C. Sun","year":"2011","unstructured":"Sun, C., el Khoury, E., Aiello, M.: Transaction management in service-oriented systems: Requirements and a proposal. IEEE Trans. Services Computing\u00a04(2), 167\u2013180 (2011)","journal-title":"IEEE Trans. Services Computing"},{"key":"4_CR40","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"196","DOI":"10.1007\/978-3-540-75853-2_20","volume-title":"IP Operations and Management","author":"E. Toktar","year":"2007","unstructured":"Toktar, E., Pujolle, G., Jamhour, E., Penna, M.C., Fonseca, M.: An XML Model for SLA Definition with Key Indicators. In: Medhi, D., Nogueira, J.M.S., Pfeifer, T., Wu, S.F. (eds.) IPOM 2007. LNCS, vol.\u00a04786, pp. 196\u2013199. Springer, Heidelberg (2007)"},{"key":"4_CR41","unstructured":"W3C: Web Services Choreography Description Language Version 1.0 (November 2005), \n                    \n                      http:\/\/www.w3.org\/TR\/ws-cdl-10\/"},{"key":"4_CR42","doi-asserted-by":"crossref","unstructured":"Wetzstein, B., Karastoyanova, D., Kopp, O., Leymann, F., Zwink, D.: Cross-organizational process monitoring based on service choreographies. In: SAC 2010, pp. 2485\u20132490. ACM (2010)","DOI":"10.1145\/1774088.1774601"},{"key":"4_CR43","doi-asserted-by":"crossref","unstructured":"Weyns, D., Malek, S., Andersson, J.: On decentralized self-adaptation: lessons from the trenches and challenges for the future. In: SEAMS 2010, pp. 84\u201393. ACM (2010)","DOI":"10.1145\/1808984.1808994"},{"key":"4_CR44","doi-asserted-by":"crossref","unstructured":"Yoon, Y., Ye, C., Jacobsen, H.A.: A distributed framework for reliable and efficient service choreographies. In: WWW 2011, pp. 785\u2013794. ACM (2011)","DOI":"10.1145\/1963405.1963515"},{"key":"4_CR45","doi-asserted-by":"crossref","unstructured":"Yu, J., Buyya, R.: Taxonomy of workflow management systems for grid computing. Journal of Grid Computing 3(3-4) (2005)","DOI":"10.1007\/s10723-005-9010-8"},{"issue":"1","key":"4_CR46","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/1232722.1232728","volume":"1","author":"T. Yu","year":"2007","unstructured":"Yu, T., Zhang, Y., Lin, K.J.: Efficient algorithms for Web services selection with end-to-end QoS constraints. ACM Trans. Web\u00a01(1), 1\u201326 (2007)","journal-title":"ACM Trans. Web"},{"key":"4_CR47","doi-asserted-by":"crossref","unstructured":"Zeng, L., Benatallah, B., Dumas, M., Kalagnamam, J., Chang, H.: QoS-aware middleware for web services composition. IEEE Trans. Soft. Eng. 30(5) (May 2004)","DOI":"10.1109\/TSE.2004.11"},{"issue":"6","key":"4_CR48","doi-asserted-by":"publisher","first-page":"1004","DOI":"10.1016\/j.jss.2008.12.037","volume":"82","author":"W. Zhao","year":"2009","unstructured":"Zhao, W.: Design and implementation of a byzantine fault tolerance framework for web services. J. Syst. Softw.\u00a082(6), 1004\u20131015 (2009)","journal-title":"J. Syst. Softw."},{"key":"4_CR49","doi-asserted-by":"crossref","unstructured":"Zheng, Z., Lyu, M.R.: A distributed replication strategy evaluation and selection framework for fault tolerant web services. In: IEEE ICWS 2008, pp. 145\u2013152 (2008)","DOI":"10.1109\/ICWS.2008.42"},{"key":"4_CR50","doi-asserted-by":"crossref","unstructured":"Zheng, Z., Lyu, M.R.: A QoS-aware fault tolerant middleware for dependable service composition. In: IEEE\/IFIP DSN 2009, pp. 239\u2013248 (2009)","DOI":"10.1109\/DSN.2009.5270332"}],"container-title":["Lecture Notes in Computer Science","Business System Management and Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-32439-0_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,6]],"date-time":"2019-05-06T19:07:29Z","timestamp":1557169649000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-32439-0_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642324383","9783642324390"],"references-count":50,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-32439-0_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}