{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,3]],"date-time":"2025-11-03T13:26:59Z","timestamp":1762176419670},"publisher-location":"Berlin, Heidelberg","reference-count":29,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642132728"},{"type":"electronic","value":"9783642132735"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-13273-5_2","type":"book-chapter","created":{"date-parts":[[2010,5,11]],"date-time":"2010-05-11T11:59:32Z","timestamp":1273579172000},"page":"17-36","source":"Crossref","is-referenced-by-count":7,"title":["Repairing Service Compositions in a Changing World"],"prefix":"10.1007","author":[{"given":"Yuhong","family":"Yan","sequence":"first","affiliation":[]},{"given":"Pascal","family":"Poizat","sequence":"additional","affiliation":[]},{"given":"Ludeng","family":"Zhao","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"2_CR1","unstructured":"Diamond project homepage, http:\/\/wsdiamond.di.unito.it\/"},{"key":"2_CR2","unstructured":"Web service challenge 2009 web site (2009), http:\/\/ws-challenge.georgetown.edu\/wsc09\/index.html"},{"key":"2_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"530","DOI":"10.1007\/978-3-540-89652-4_42","volume-title":"Service-Oriented Computing \u2013 ICSOC 2008","author":"S. Beauche","year":"2008","unstructured":"Beauche, S., Poizat, P.: Automated Service Composition with Adaptive Planning. In: Bouguettaya, A., Krueger, I., Margaria, T. (eds.) ICSOC 2008. LNCS, vol.\u00a05364, pp. 530\u2013537. Springer, Heidelberg (2008)"},{"key":"2_CR4","unstructured":"Bleul, S.: Web service challenge rules (2009), http:\/\/ws-challenge.georgetown.edu\/wsc09\/downloads\/WSC2009Rules-1.1.pdf"},{"key":"2_CR5","unstructured":"Drabble, B., Dalton, J., Tate, A.: Repairing Plans On-the-fly. In: NASA Workshop on Planning and Scheduling for Space (1997)"},{"issue":"3","key":"2_CR6","first-page":"40","volume":"31","author":"M. Dumas","year":"2008","unstructured":"Dumas, M., Benatallah, B., Motahari-Nezhad, H.R.: Web Service Protocols: Compatibility and Adaptation. Data Engineering Bulletin\u00a031(3), 40\u201344 (2008)","journal-title":"Data Engineering Bulletin"},{"key":"2_CR7","first-page":"212","volume-title":"Proc. of ICAPS","author":"M. Fox","year":"2006","unstructured":"Fox, M., Gerevini, A., Long, D., Serina, I.: Plan Stability: Replanning versus Plan Repair. In: Long, D., Smith, S.F., Borrajo, D., McCluskey, L. (eds.) Proc. of ICAPS, pp. 212\u2013221. AAAI, Menlo Park (2006)"},{"key":"2_CR8","unstructured":"Friedrich, G., Ivanchenko, V.: Model-based repair of web service processes. Technical Report 2008\/001, ISBI research group, Alpen-Adria-Universit\u00e4t Klagenfurt (2008), https:\/\/campus.uni-klu.ac.at\/fodok\/veroeffentlichung.do?pubid=67566"},{"key":"2_CR9","unstructured":"Gerevini, A., Serina, I.: Fast planning through greedy action graphs. In: AAAI\/IAAI, pp. 503\u2013510 (1999)"},{"key":"2_CR10","volume-title":"Automated Planning: Theory and Practice","author":"M. Ghallab","year":"2004","unstructured":"Ghallab, M., Nau, D., Traverso, P.: Automated Planning: Theory and Practice. Morgan Kaufmann Publishers, San Francisco (2004)"},{"key":"2_CR11","unstructured":"Gil, Y.: Description Logics and Planning. AI Magazine\u00a026(2) (2005)"},{"key":"2_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"175","DOI":"10.1007\/978-3-540-75698-9_12","volume-title":"International Symposium on Fundamentals of Software Engineering","author":"S.V. Hashemian","year":"2007","unstructured":"Hashemian, S.V., Mavaddat, F.: Automatic Composition of Stateless Components: A Logical Reasoning Approach. In: Arbab, F., Sirjani, M. (eds.) FSEN 2007. LNCS, vol.\u00a04767, pp. 175\u2013190. Springer, Heidelberg (2007)"},{"key":"2_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"260","DOI":"10.1007\/3-540-63912-8_91","volume-title":"Recent Advances in AI Planning","author":"S. Kambhampati","year":"1997","unstructured":"Kambhampati, S., Parker, E., Lambrecht, E.: Understanding and Extending Graphplan. In: Steel, S., Alami, R. (eds.) ECP 1997. LNCS, vol.\u00a01348, pp. 260\u2013272. Springer, Heidelberg (1997)"},{"key":"2_CR14","first-page":"294","volume-title":"Proc. of AIPS","author":"S. Koenig","year":"2002","unstructured":"Koenig, S., Furcy, D., Bauer, C.: Heuristic search-based replanning. In: Ghallab, M., Hertzberg, J., Traverso, P. (eds.) Proc. of AIPS, pp. 294\u2013301. AAAI, Menlo Park (2002)"},{"key":"2_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"89","DOI":"10.1007\/978-3-642-01918-0_3","volume-title":"Formal Methods for Web Services","author":"A. Marconi","year":"2009","unstructured":"Marconi, A., Pistore, M.: Synthesis and Composition of Web Services. In: Bernardo, M., Padovani, L., Zavattaro, G. (eds.) SFM 2009. LNCS, vol.\u00a05569, pp. 89\u2013157. Springer, Heidelberg (2009)"},{"key":"2_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"146","DOI":"10.1007\/978-3-540-78743-3_12","volume-title":"Fundamental Approaches to Software Engineering","author":"T. Melliti","year":"2008","unstructured":"Melliti, T., Poizat, P., Ben Mokhtar, S.: Distributed Behavioural Adaptation for the Automatic Composition of Semantic Services. In: Fiadeiro, J.L., Inverardi, P. (eds.) FASE 2008. LNCS, vol.\u00a04961, pp. 146\u2013162. Springer, Heidelberg (2008)"},{"issue":"1","key":"2_CR17","doi-asserted-by":"crossref","first-page":"1","DOI":"10.4018\/jwsr.2007010101","volume":"4","author":"S.-C. Oh","year":"2007","unstructured":"Oh, S.-C., Lee, D., Kumara, S.: Web Service Planner (WSPR): An Effective and Scalable Web Service Composition Algorithm. Int. J. Web Service Res.\u00a04(1), 1\u201322 (2007)","journal-title":"Int. J. Web Service Res."},{"key":"2_CR18","doi-asserted-by":"crossref","unstructured":"Oh, S.-C., Lee, D., Kumara, S.: Flexible Web Services Discovery and Composition using SATPlan and A* Algorithms. In: Proc. of MDAI (July 2005)","DOI":"10.1109\/ICWS.2006.148"},{"key":"2_CR19","unstructured":"Peer, J.: Web Service Composition as AI Planning \u2013 a Survey. Technical report, University of St.Gallen (2005)"},{"key":"2_CR20","unstructured":"Pistore, M., Traverso, P., Bertoli, P.: Automated Composition of Web Services by Planning in Asynchronous Domains. In: Proc. of ICAPS, pp. 2\u201311 (2005)"},{"key":"2_CR21","doi-asserted-by":"crossref","unstructured":"Seguel, R., Eshuis, R., Grefen, P.: An Overview on Protocol Adaptors for Service Component Integration. Technical report, Eindhoven University of Technology. BETA Working Paper Series WP 265 (2008)","DOI":"10.1145\/1645406.1645411"},{"key":"2_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"42","DOI":"10.1007\/978-3-642-01918-0_2","volume-title":"Formal Methods for Web Services","author":"W.M.P. Aalst van der","year":"2009","unstructured":"van der Aalst, W.M.P., Mooij, A.J., Stahl, C., Wolf, K.: Service Interaction: Patterns, Formalization, and Analysis. In: Bernardo, M., Padovani, L., Zavattaro, G. (eds.) SFM 2009. LNCS, vol.\u00a05569, pp. 42\u201388. Springer, Heidelberg (2009)"},{"key":"2_CR23","first-page":"161","volume-title":"Proc. of ICAPS","author":"R. Krogt van der","year":"2005","unstructured":"van der Krogt, R., de Weerdt, M.: Plan Repair as an Extension of Planning. In: Biundo, S., Myers, K.L., Rajan, K. (eds.) Proc. of ICAPS, pp. 161\u2013170. AAAI, Menlo Park (2005)"},{"key":"2_CR24","unstructured":"W3C. Owl web ontology language overview (2004), http:\/\/www.w3.org\/TR\/owl-features\/"},{"key":"2_CR25","unstructured":"W3C. Semantic annotations for wsdl and xml schema, sawsdl (2007), http:\/\/www.w3.org\/TR\/sawsdl\/"},{"key":"2_CR26","unstructured":"W3C. Web services description language (wsdl) version 2.0 (2007), http:\/\/www.w3.org\/TR\/wsdl20\/"},{"issue":"1","key":"2_CR27","doi-asserted-by":"crossref","first-page":"87","DOI":"10.4018\/jwsr.2009092205","volume":"6","author":"Y. Yan","year":"2009","unstructured":"Yan, Y., Dague, P., Pencol\u00e9, Y., Cordier, M.-O.: A Model-Based Approach for Diagnosing Fault in Web Service Processes. Int. J. Web Service Res.\u00a06(1), 87\u2013110 (2009)","journal-title":"Int. J. Web Service Res."},{"key":"2_CR28","first-page":"335","volume-title":"Proc. of CEC\/EEE","author":"Y. Yan","year":"2008","unstructured":"Yan, Y., Xu, B., Gu, Z.: Automatic Service Composition Using AND\/OR Graph. In: Proc. of CEC\/EEE, pp. 335\u2013338. IEEE, Los Alamitos (2008)"},{"key":"2_CR29","doi-asserted-by":"crossref","unstructured":"Yoo, J.-W., Kumara, S., Lee, D., Oh, S.-C.: A Web Service Composition Framework Using Integer Programming with Non-functional Objectives and Constraints. In: Proc. of CEC\/EEE, pp. 347\u2013350 (2008)","DOI":"10.1109\/CECandEEE.2008.144"}],"container-title":["Studies in Computational Intelligence","Software Engineering Research, Management and Applications 2010"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-13273-5_2.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,23]],"date-time":"2020-11-23T22:03:42Z","timestamp":1606169022000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-13273-5_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642132728","9783642132735"],"references-count":29,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-13273-5_2","relation":{},"ISSN":["1860-949X","1860-9503"],"issn-type":[{"type":"print","value":"1860-949X"},{"type":"electronic","value":"1860-9503"}],"subject":[],"published":{"date-parts":[[2010]]}}}