{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,16]],"date-time":"2025-10-16T03:50:28Z","timestamp":1760586628238},"reference-count":47,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2012,9,30]],"date-time":"2012-09-30T00:00:00Z","timestamp":1348963200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Computing"],"published-print":{"date-parts":[[2013,3]]},"DOI":"10.1007\/s00607-012-0215-y","type":"journal-article","created":{"date-parts":[[2012,9,30]],"date-time":"2012-09-30T22:38:35Z","timestamp":1349044715000},"page":"223-267","source":"Crossref","is-referenced-by-count":7,"title":["Monitoring and recovery for web service applications"],"prefix":"10.1007","volume":"95","author":[{"given":"Jocelyn","family":"Simmonds","sequence":"first","affiliation":[]},{"given":"Shoham","family":"Ben-David","sequence":"additional","affiliation":[]},{"given":"Marsha","family":"Chechik","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2012,9,30]]},"reference":[{"issue":"2","key":"215_CR1","doi-asserted-by":"crossref","first-page":"129","DOI":"10.1016\/j.datak.2004.07.003","volume":"53","author":"WMP Aalst van der","year":"2005","unstructured":"van der Aalst WMP, Weske M (2005) Case handling: a new paradigm for business process support. Data Knowl Eng 53(2):129\u2013162","journal-title":"Data Knowl Eng"},{"key":"215_CR2","doi-asserted-by":"crossref","first-page":"1171","DOI":"10.1145\/295656.295659","volume":"20","author":"R Alur","year":"1998","unstructured":"Alur R, Henzinger TA (1998) Finitary fairness. ACM Trans Program Lang Syst 20:1171\u20131194","journal-title":"ACM Trans Program Lang Syst"},{"key":"215_CR3","doi-asserted-by":"crossref","unstructured":"Ball T, Rajamani S (2001) The SLAM toolkit. In: Proceedings of 13th international conference on computer-aided verification (CAV\u201901). LNCS, vol 2102. Springer, Berlin, pp 260\u2013264","DOI":"10.1007\/3-540-44585-4_25"},{"key":"215_CR4","unstructured":"Baresi L, Guinea S (2007) Dynamo and self-healing BPEL compositions (research demonstration). In: Proceedings of the 29th international conference on software engineering (ICSE\u201907). IEEE Computer Society (2007). Companion Volume, pp 69\u201370"},{"issue":"2","key":"215_CR5","doi-asserted-by":"crossref","first-page":"247","DOI":"10.1109\/TSE.2010.37","volume":"37","author":"L Baresi","year":"2011","unstructured":"Baresi L, Guinea S (2011) Self-supervising BPEL processes. IEEE Trans Softw Eng 37(2):247\u2013263","journal-title":"IEEE Trans Softw Eng"},{"key":"215_CR6","doi-asserted-by":"crossref","unstructured":"Baresi L, Guinea S, Plebani P (2006) WS-Policy for service monitoring. In: 6th VLDB international workshop on technologies for E-services. LNCS, vol 3811. Springer, Berlin, pp 72\u201383","DOI":"10.1007\/11607380_7"},{"key":"215_CR7","unstructured":"Baresi L, Pasquale L (2010) Adaptive goals for self-adaptive service compositions. In: Proceedings of the (2010) IEEE international conference on web services (ICWS \u201910). IEEE Computer Society, Washington, DC, USA, pp 353\u2013360"},{"key":"215_CR8","unstructured":"Berre DL, Parrain A (2012) SAT4J. http:\/\/www.sat4j.org\/"},{"key":"215_CR9","unstructured":"Biancullia D, Ghezzi C (2012) DynamoAOP\u2013user manual. http:\/\/plastic.isti.cnr.it\/download\/tools\/dynamo-aop\/dynamoaop-manual.pdf"},{"key":"215_CR10","doi-asserted-by":"crossref","first-page":"212","DOI":"10.1007\/s10009-004-0167-4","volume":"7","author":"L Burdy","year":"2005","unstructured":"Burdy L, Cheon Y, Cok DR, Ernst MD, Kiniry JR, Leavens GT, Leino KRM, Poll E (2005) An overview of JML tools and applications. Int J Softw Tools Technol Transf 7:212\u2013232","journal-title":"Int J Softw Tools Technol Transf"},{"key":"215_CR11","doi-asserted-by":"crossref","unstructured":"Carzaniga A, Gorla A, Perino N, Pezz\u00e8 M (2010) Automatic workarounds for web applications. In: Proceedings of eighteenth international symposium on the foundations of, software engineering (FSE\u201910), pp 237\u2013246","DOI":"10.1145\/1882291.1882327"},{"issue":"6","key":"215_CR12","doi-asserted-by":"crossref","first-page":"493","DOI":"10.1007\/s10009-008-0088-8","volume":"10","author":"A Carzaniga","year":"2008","unstructured":"Carzaniga A, Gorla A, Pezz\u00e8 M (2008) Healing web applications through automatic workarounds. Int J Softw Tools Technol Transf 10(6):493\u2013502","journal-title":"Int J Softw Tools Technol Transf"},{"key":"215_CR13","unstructured":"Charfi A, Dinkelaker T, Mezini M (2009) A plug-in architecture for self-adaptive web service compositions. In: Proceedings of the (2009) IEEE international conference on web services (ICWS \u201909). IEEE Computer Society, Washington, DC, USA, pp 35\u201342"},{"key":"215_CR14","doi-asserted-by":"crossref","first-page":"309","DOI":"10.1007\/s11280-006-0016-3","volume":"10","author":"A Charfi","year":"2007","unstructured":"Charfi A, Mezini M (2007) AO4BPEL: an aspect-oriented extension to BPEL. World Wide Web 10:309\u2013344","journal-title":"World Wide Web"},{"key":"215_CR15","doi-asserted-by":"crossref","unstructured":"Cheng BHC, de Lemos R, Garlan D, Giese H, Litoiu M, Magee J, M\u00fcller HA, Taylor R (2009) SEAMS 2009: Software engineering for adaptive and self-managing systems. In: 31st international conference on software engineering (ICSE\u201909), Companion Volume, pp 463\u2013464","DOI":"10.1109\/ICSE-COMPANION.2009.5071063"},{"key":"215_CR16","unstructured":"DISI-UniTN\/FBK-IRST (2012) The MathSAT 5 SMT Solver. http:\/\/mathsat.fbk.eu"},{"key":"215_CR17","doi-asserted-by":"crossref","unstructured":"Dobson G (2006) Using WS-BPEL to implement software fault tolerance for web services. In: 32nd EUROMICRO conference on software engineering and advanced applications (EUROMICRO-SEAA\u201906), pp 126\u2013133","DOI":"10.1109\/EUROMICRO.2006.63"},{"issue":"3\/4","key":"215_CR18","doi-asserted-by":"crossref","first-page":"189","DOI":"10.1016\/0004-3702(71)90010-5","volume":"2","author":"R Fikes","year":"1971","unstructured":"Fikes R, Nilsson NJ (1971) STRIPS: a new approach to the application of theorem proving to problem solving. J Artif Intell 2(3\/4):189\u2013208","journal-title":"J Artif Intell"},{"key":"215_CR19","unstructured":"Foster H (2006) A rigorous approach to engineering web service compositions. PhD thesis, Imperial College"},{"key":"215_CR20","doi-asserted-by":"crossref","unstructured":"Foster H, Emmerich W, Kramer J, Magee J, Rosenblum D, Uchitel S (2007) Model checking service compositions under resource constraints. In: Proceedings of the the 6th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on the foundations of software engineering (ESEC-FSE \u201907). ACM, New York, pp 225\u2013234","DOI":"10.1145\/1287624.1287657"},{"key":"215_CR21","doi-asserted-by":"crossref","unstructured":"Fu X, Bultan T, Su J (2004) Analysis of interacting BPEL web services. In: Proceedings of the 13th international conference on, world wide web (WWW\u201904), pp 621\u2013630","DOI":"10.1145\/988672.988756"},{"key":"215_CR22","unstructured":"Fugini MG, Mussi E (2006) Recovery of faulty web applications through service discovery. In: Proceedings of the 1st SMR-VLDB workshop, matchmaking and approximate semantic-based retrieval: issues and perspectives. In: 32nd international conference on very large databases, pp 67\u201380"},{"key":"215_CR23","doi-asserted-by":"crossref","unstructured":"Gurfinkel A, Wei O, Chechik M (2006) Yasm: a software model-checker for verification and refutation. In: Proceedings of 18th international conference on computer-aided verification (CAV\u201906). LNCS, vol 170\u2013174. Springer, Seattle, p 4144","DOI":"10.1007\/11817963_18"},{"key":"215_CR24","doi-asserted-by":"crossref","first-page":"145","DOI":"10.1016\/j.entcs.2004.02.073","volume":"116","author":"R Heckel","year":"2005","unstructured":"Heckel R, Lohmann M (2005) Towards contract-based testing of web services. Electron Notes Theoret Comput Sci 116:145\u2013156","journal-title":"Electron Notes Theoret Comput Sci"},{"key":"215_CR25","doi-asserted-by":"crossref","unstructured":"Hinz S, Schmidt K, Stahl C (2005) Transforming BPEL to Petri nets. In: Proceedings of the 3rd international conference on business process management (BPM\u201905). LNCS, vol 3649. Springer, Berlin, pp 220\u2013235","DOI":"10.1007\/11538394_15"},{"key":"215_CR26","unstructured":"IBM (2012) WebSphere integration developer. http:\/\/www-01.ibm.com\/software\/integration\/wid\/"},{"key":"215_CR27","doi-asserted-by":"crossref","unstructured":"Inverardi P, Mostarda L, Tivoli M, Autili M (2005) Synthesis of correct and distributed adaptors for component-based systems: an automatic approach. In: Proceedings of the 20th international conference on automated software engineering (ASE\u201905). ACM, New York, pp 405\u2013409","DOI":"10.1145\/1101908.1101981"},{"key":"215_CR28","unstructured":"Kautz HA, Selman B (1999) Unifying SAT-based and graph-based planning. In: Proceedings of the 16th international joint conference on, artificial intelligence (IJCAI\u201999), pp 318\u2013325"},{"key":"215_CR29","unstructured":"McDermott DV (2002) Estimated-regression planning for interactions with web services. In: Proceedings of the sixth international conference on artificial intelligence planning systems (AIPS \u201902). AAAI, pp 204\u2013211"},{"key":"215_CR30","unstructured":"McIlraith SA, Son TC (2002) Adapting golog for composition of semantic web services. In: Proceedings of the 8th international conference on principles and knowledge representation and reasoning (KR \u201902). Morgan Kaufmann, San Francisco, pp 482\u2013496"},{"key":"215_CR31","doi-asserted-by":"crossref","first-page":"40","DOI":"10.1109\/2.161279","volume":"25","author":"B Meyer","year":"1992","unstructured":"Meyer B (1992) Applying \u201cdesign by contract\u201d. Computer 25:40\u201351","journal-title":"Computer"},{"key":"215_CR32","volume-title":"Communication and concurrency","author":"R Milner","year":"1989","unstructured":"Milner R (1989) Communication and concurrency. Prentice-Hall, New York"},{"key":"215_CR33","doi-asserted-by":"crossref","unstructured":"Narayanan S, McIlraith SA (2002) Simulation, verification and automated composition of web services. In: Proceedings of the 11th international conference on world wide web (WWW \u201902). ACM, pp 77\u201388","DOI":"10.1145\/511446.511457"},{"issue":"2","key":"215_CR34","doi-asserted-by":"crossref","first-page":"458","DOI":"10.1145\/201019.201032","volume":"42","author":"RD Nicola","year":"1995","unstructured":"Nicola RD, Vaandrager F (1995) Three logics for branching bisimulation. J ACM 42(2):458\u2013487","journal-title":"J ACM"},{"key":"215_CR35","unstructured":"OASIS (2012) Web Services Business Process Execution Language Version 2.0. http:\/\/docs.oasis-open.org\/wsbpel\/2.0\/OS\/wsbpel-v2.0-OS.html"},{"key":"215_CR36","unstructured":"Oracle (2012) Welcome to NetBeans. http:\/\/netbeans.org"},{"issue":"2\u20133","key":"215_CR37","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 WMP, Breutel S, Dumas M, ter Hofstede AHM (2007) Formal semantics and analysis of control flow in WS-BPEL. Sci Comput Program 67(2\u20133):162\u2013198","journal-title":"Sci Comput Program"},{"key":"215_CR38","unstructured":"Simmonds J (2011) Dynamic analysis of web services. Ph.D. thesis, University of Toronto, Toronto"},{"key":"215_CR39","doi-asserted-by":"crossref","unstructured":"Simmonds J, Ben-David S, Chechik M (2010) Guided recovery for web service applications. In: Proceedings of eighteenth international symposium on the foundations of, software engineering (FSE\u201910), pp 247\u2013256","DOI":"10.1145\/1882291.1882328"},{"key":"215_CR40","doi-asserted-by":"crossref","unstructured":"Simmonds J, Ben-David S, Chechik M (2010) Monitoring and recovery of web service applications. In: Ng JW, Chignell M, Cordy JR (eds) Smart internet. Lecture Notes in Computer Science, Springer, Berlin, pp 250\u2013288","DOI":"10.1007\/978-3-642-16599-3_17"},{"key":"215_CR41","doi-asserted-by":"crossref","unstructured":"Simmonds J, Ben-David S, Chechik M (2010) Optimizing computation of recovery plans for BPEL applications. In: Proceedings of 2010 workshop on testing, analysis and verification of web software (TAV-WEB\u201910), pp 3\u201314","DOI":"10.4204\/EPTCS.35.1"},{"key":"215_CR42","doi-asserted-by":"crossref","unstructured":"Simmonds J, Chechik M (2010) RuMoR: monitoring and recovery of BPEL applications. In: Proceedings of 25th IEEE\/ACM international conference on, automated software engineering (ASE\u201910), pp 345\u2013346","DOI":"10.1145\/1858996.1859068"},{"issue":"3","key":"215_CR43","doi-asserted-by":"crossref","first-page":"223","DOI":"10.1109\/TSC.2009.16","volume":"2","author":"J Simmonds","year":"2009","unstructured":"Simmonds J, Gan Y, Chechik M, Nejati S, O\u2019Farrell B, Litani E, Waterhouse J (2009) Runtime monitoring of web service conversations. IEEE Trans Service Comput 2(3):223\u2013244","journal-title":"IEEE Trans Service Comput"},{"key":"215_CR44","doi-asserted-by":"crossref","unstructured":"Traverso P, Pistore M (2004) Automated composition of semantic web services into executable processes. In: Proceedings of the international semantic web conference (ISWC \u201904), pp 380\u2013394","DOI":"10.1007\/978-3-540-30475-3_27"},{"key":"215_CR45","unstructured":"W3C (2012) Semantic Web. http:\/\/www.w3.org\/standards\/semanticweb\/"},{"key":"215_CR46","unstructured":"W3C (2012) Web Services Description Language (WSDL). http:\/\/www.w3.org\/TR\/wsdl"},{"key":"215_CR47","doi-asserted-by":"crossref","unstructured":"Yan Y, Poizat P, Zhao L (2010) Self-adaptive service composition through graphplan repair. In: IEEE international conference on web services (ICWS \u201910), pp 624\u2013627","DOI":"10.1109\/ICWS.2010.91"}],"container-title":["Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00607-012-0215-y.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00607-012-0215-y\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00607-012-0215-y","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,7,4]],"date-time":"2019-07-04T05:33:11Z","timestamp":1562218391000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s00607-012-0215-y"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,9,30]]},"references-count":47,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2013,3]]}},"alternative-id":["215"],"URL":"https:\/\/doi.org\/10.1007\/s00607-012-0215-y","relation":{},"ISSN":["0010-485X","1436-5057"],"issn-type":[{"value":"0010-485X","type":"print"},{"value":"1436-5057","type":"electronic"}],"subject":[],"published":{"date-parts":[[2012,9,30]]}}}