{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T00:49:08Z","timestamp":1740098948344,"version":"3.37.3"},"publisher-location":"Cham","reference-count":25,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319680330"},{"type":"electronic","value":"9783319680347"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"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":[[2017]]},"DOI":"10.1007\/978-3-319-68034-7_13","type":"book-chapter","created":{"date-parts":[[2017,9,13]],"date-time":"2017-09-13T13:32:45Z","timestamp":1505309565000},"page":"216-232","source":"Crossref","is-referenced-by-count":0,"title":["Fault Localization in Service Compositions"],"prefix":"10.1007","author":[{"given":"Heike","family":"Wehrheim","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2017,9,14]]},"reference":[{"key":"13_CR1","doi-asserted-by":"crossref","first-page":"589","DOI":"10.1002\/spe.4380230603","volume":"23","author":"H Agrawal","year":"1993","unstructured":"Agrawal, H., Demillo, R., Spafford, E.: Debugging with dynamic slicing and backtracking. Softw. Pract. Exp. 23, 589\u2013616 (1993)","journal-title":"Softw. Pract. Exp."},{"key":"13_CR2","series-title":"International Handbooks on Information Systems","doi-asserted-by":"publisher","first-page":"91","DOI":"10.1007\/978-3-540-92673-3_4","volume-title":"Handbook on Ontologies","author":"G Antoniou","year":"2009","unstructured":"Antoniou, G., Harmelen, F.: Web ontology language: OWL. In: Staab, S., Studer, R. (eds.) Handbook on Ontologies. IHIS, pp. 91\u2013110. Springer, Heidelberg (2009). doi:\n10.1007\/978-3-540-92673-3_4"},{"key":"13_CR3","unstructured":"Arifulina, S., Walther, S., Becker, M., Platenius, M.C.: SeSAME: modeling and analyzing high-quality service compositions. In: ACM\/IEEE International Conference on Automated Software Engineering, ASE 2014, Vasteras, Sweden, 15\u201319 September 2014, pp. 839\u2013842 (2014). \nhttp:\/\/doi.acm.org\/10.1145\/2642937.2648621"},{"key":"13_CR4","unstructured":"Barrett, C., Stump, A., Tinelli, C.: The SMT-LIB standard: version 2.0. In: Gupta, A., Kroening, D. (eds.) Proceedings of the 8th International Workshop on Satisfiability Modulo Theories (Edinburgh, UK) (2010). \nhttp:\/\/homepage.cs.uiowa.edu\/~\/papers\/BarST-SMT-10.pdf"},{"key":"13_CR5","unstructured":"Becker, S., Koziolek, H., Reussner, R.: The Palladio component model for model-driven performance prediction. J. Syst. Softw. 82(1), 3\u201322 (2009). specialIssue: SoftwarePerformance-ModelingandAnalysis. \nhttp:\/\/www.sciencedirect.com\/science\/article\/pii\/S0164121208001015"},{"issue":"12","key":"13_CR6","doi-asserted-by":"crossref","first-page":"1975","DOI":"10.1002\/cpe.3226","volume":"26","author":"F Br\u00fcseke","year":"2014","unstructured":"Br\u00fcseke, F., Wachsmuth, H., Engels, G., Becker, S.: PBlaman: performance blame analysis based on Palladio contracts. Concurr. Comput.: Pract. Exp. 26(12), 1975\u20132004 (2014). \nhttp:\/\/dx.doi.org\/10.1002\/cpe.3226","journal-title":"Concurr. Comput.: Pract. Exp."},{"key":"13_CR7","unstructured":"Cleve, H., Zeller, A.: Locating causes of program failures. In: Proceedings of 27th International Conference on Software Engineering, ICSE 2005, pp. 342\u2013351. ACM (2005). \nhttp:\/\/doi.acm.org\/10.1145\/1062455.1062522"},{"issue":"4","key":"13_CR8","doi-asserted-by":"crossref","first-page":"451","DOI":"10.1145\/115372.115320","volume":"13","author":"R Cytron","year":"1991","unstructured":"Cytron, R., Ferrante, J., Rosen, B.K., Wegman, M.N., Zadeck, F.K.: Efficiently computing static single assignment form and the control dependence graph. ACM Trans. Program. Lang. Syst. 13(4), 451\u2013490 (1991)","journal-title":"ACM Trans. Program. Lang. Syst."},{"key":"13_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"17","DOI":"10.1007\/978-3-540-89020-1_2","volume-title":"Applications of Graph Transformations with Industrial Relevance","author":"G Engels","year":"2008","unstructured":"Engels, G., G\u00fcldali, B., Soltenborn, C., Wehrheim, H.: Assuring consistency of business process models and web services using visual contracts. In: Sch\u00fcrr, A., Nagl, M., Z\u00fcndorf, A. (eds.) AGTIVE 2007. LNCS, vol. 5088, pp. 17\u201331. Springer, Heidelberg (2008). doi:\n10.1007\/978-3-540-89020-1_2"},{"issue":"4","key":"13_CR10","doi-asserted-by":"crossref","first-page":"647","DOI":"10.1109\/TSC.2015.2413401","volume":"9","author":"M G\u00fcdemann","year":"2016","unstructured":"G\u00fcdemann, M., Poizat, P., Sala\u00fcn, G., Ye, L.: VerChor: a framework for the design and verification of choreographies. IEEE Trans. Serv. Comput. 9(4), 647\u2013660 (2016). \nhttp:\/\/dx.doi.org\/10.1109\/TSC.2015.2413401","journal-title":"IEEE Trans. Serv. Comput."},{"key":"13_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"457","DOI":"10.1007\/978-3-642-22110-1_36","volume-title":"Computer Aided Verification","author":"K Hoder","year":"2011","unstructured":"Hoder, K., Bj\u00f8rner, N., de Moura, L.: \n            $$\\mu {Z}$$\n          \u2013 an efficient engine for fixed points with constraints. In: Gopalakrishnan, G., Qadeer, S. (eds.) CAV 2011. LNCS, vol. 6806, pp. 457\u2013462. Springer, Heidelberg (2011). doi:\n10.1007\/978-3-642-22110-1_36"},{"key":"13_CR12","unstructured":"Horrocks, I., Patel-Schneider, P.F., Boley, H., Tabet, S., Grosof, B., Dean, M.: SWRL: a semantic web rule language combining OWL and RuleML (2004). \nhttp:\/\/www.w3.org\/Submission\/2004\/SUBM-SWRL-20040521\/"},{"key":"13_CR13","unstructured":"Jose, M., Majumdar, R.: Cause clue clauses: error localization using maximum satisfiability. In: Hall, M.W., Padua, D.A. (eds.) Proceedings of the 32nd ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2011, San Jose, CA, USA, 4\u20138 June 2011, pp. 437\u2013446. ACM (2011). \nhttp:\/\/doi.acm.org\/10.1145\/1993498.1993550"},{"key":"13_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"445","DOI":"10.1007\/978-3-319-50230-4_35","volume-title":"Software Technologies: Applications and Foundations","author":"J Kr\u00e4mer","year":"2016","unstructured":"Kr\u00e4mer, J., Wehrheim, H.: A formal approach to error localization and correction in service compositions. In: Milazzo, P., Varr\u00f3, D., Wimmer, M. (eds.) STAF 2016. LNCS, vol. 9946, pp. 445\u2013457. Springer, Cham (2016). doi:\n10.1007\/978-3-319-50230-4_35"},{"key":"13_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"248","DOI":"10.1007\/978-3-319-44482-6_16","volume-title":"Service-Oriented and Cloud Computing","author":"J Kr\u00e4mer","year":"2016","unstructured":"Kr\u00e4mer, J., Wehrheim, H.: A short survey on using software error localization for service compositions. In: Aiello, M., Johnsen, E.B., Dustdar, S., Georgievski, I. (eds.) ESOCC 2016. LNCS, vol. 9846, pp. 248\u2013262. Springer, Cham (2016). doi:\n10.1007\/978-3-319-44482-6_16"},{"key":"13_CR16","unstructured":"Liblit, B., Aiken, A., Zheng, A.X., Jordan, M.I.: Bug isolation via remote program sampling. In: Cytron, R., Gupta, R. (eds.) Proceedings of the ACM SIGPLAN 2003 Conference on Programming Language Design and Implementation 2003, San Diego, California, USA, 9\u201311 June 2003, pp. 141\u2013154. ACM (2003). \nhttp:\/\/doi.acm.org\/10.1145\/781131.781148"},{"key":"13_CR17","doi-asserted-by":"crossref","first-page":"109","DOI":"10.1016\/j.jss.2013.11.002","volume":"89","author":"R Mirandola","year":"2014","unstructured":"Mirandola, R., Potena, P., Riccobene, E., Scandurra, P.: A reliability model for service component architectures. J. Syst. Softw. 89, 109\u2013127 (2014)","journal-title":"J. Syst. Softw."},{"key":"13_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"337","DOI":"10.1007\/978-3-540-78800-3_24","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"L Moura de","year":"2008","unstructured":"de Moura, L., Bj\u00f8rner, N.: Z3: an efficient SMT solver. In: Ramakrishnan, C.R., Rehof, J. (eds.) TACAS 2008. LNCS, vol. 4963, pp. 337\u2013340. Springer, Heidelberg (2008). doi:\n10.1007\/978-3-540-78800-3_24"},{"issue":"2\u20133","key":"13_CR19","doi-asserted-by":"crossref","first-page":"162","DOI":"10.1016\/j.scico.2007.03.002","volume":"67","author":"C Ouyang","year":"2007","unstructured":"Ouyang, C., Verbeek, E., van der Aalst, W.M.P., Breutel, S., Dumas, M., ter Hofstede, A.H.M.: Formal semantics and analysis of control flow in WS-BPEL. Sci. Comput. Program. 67(2\u20133), 162\u2013198 (2007)","journal-title":"Sci. Comput. Program."},{"key":"13_CR20","doi-asserted-by":"crossref","first-page":"41","DOI":"10.1016\/j.scico.2014.01.008","volume":"89","author":"AH Reynisson","year":"2014","unstructured":"Reynisson, A.H., Sirjani, M., Aceto, L., Cimini, M., Jafari, A., Ing\u00f3lfsd\u00f3ttir, A., Sigurdarson, S.H.: Modelling and simulation of asynchronous real-time systems using Timed Rebeca. Sci. Comput. Program. 89, 41\u201368 (2014). \nhttp:\/\/dx.doi.org\/10.1016\/j.scico.2014.01.008","journal-title":"Sci. Comput. Program."},{"key":"13_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"533","DOI":"10.1007\/978-3-642-17322-6_23","volume-title":"Graph Transformations and Model-Driven Engineering","author":"W Sch\u00e4fer","year":"2010","unstructured":"Sch\u00e4fer, W., Wehrheim, H.: Model-driven development with Mechatronic UML. In: Engels, G., Lewerentz, C., Sch\u00e4fer, W., Sch\u00fcrr, A., Westfechtel, B. (eds.) Graph Transformations and Model-Driven Engineering. LNCS, vol. 5765, pp. 533\u2013554. Springer, Heidelberg (2010). doi:\n10.1007\/978-3-642-17322-6_23"},{"key":"13_CR22","doi-asserted-by":"crossref","unstructured":"Walther, S., Wehrheim, H.: Knowledge-based verification of service compositions - an SMT approach. In: 18th International Conference on Engineering of Complex Computer Systems, ICECCS 2013, pp. 24\u201332. IEEE Computer Society (2013)","DOI":"10.1109\/ICECCS.2013.14"},{"key":"13_CR23","doi-asserted-by":"crossref","first-page":"2","DOI":"10.1016\/j.scico.2016.04.002","volume":"127","author":"S Walther","year":"2016","unstructured":"Walther, S., Wehrheim, H.: On-the-fly construction of provably correct service compositions - templates and proofs. Sci. Comput. Program. 127, 2\u201323 (2016). \nhttp:\/\/dx.doi.org\/10.1016\/j.scico.2016.04.002","journal-title":"Sci. Comput. Program."},{"key":"13_CR24","unstructured":"Weiser, M.: Program slicing. In: Proceedings of 5th International Conference on Software Engineering, ICSE 1981, pp. 439\u2013449. IEEE Press (1981). \nhttp:\/\/dl.acm.org\/citation.cfm?id=800078.802557"},{"key":"13_CR25","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"253","DOI":"10.1007\/3-540-48166-4_16","volume-title":"Software Engineering \u2014 ESEC\/FSE \u201999","author":"A Zeller","year":"1999","unstructured":"Zeller, A.: Yesterday, my program worked. Today, it does not. Why? In: Nierstrasz, O., Lemoine, M. (eds.) ESEC\/SIGSOFT FSE -1999. LNCS, vol. 1687, pp. 253\u2013267. Springer, Heidelberg (1999). doi:\n10.1007\/3-540-48166-4_16"}],"container-title":["Lecture Notes in Computer Science","Formal Aspects of Component Software"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-68034-7_13","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,9,13]],"date-time":"2017-09-13T13:36:27Z","timestamp":1505309787000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-68034-7_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319680330","9783319680347"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-68034-7_13","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2017]]}}}