{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,27]],"date-time":"2025-10-27T20:33:55Z","timestamp":1761597235106},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540229599"},{"type":"electronic","value":"9783540301066"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-30106-6_11","type":"book-chapter","created":{"date-parts":[[2010,10,24]],"date-time":"2010-10-24T16:31:10Z","timestamp":1287937870000},"page":"106-115","source":"Crossref","is-referenced-by-count":81,"title":["Planning and Monitoring Web Service Composition"],"prefix":"10.1007","author":[{"given":"M.","family":"Pistore","sequence":"first","affiliation":[]},{"given":"F.","family":"Barbon","sequence":"additional","affiliation":[]},{"given":"P.","family":"Bertoli","sequence":"additional","affiliation":[]},{"given":"D.","family":"Shaparau","sequence":"additional","affiliation":[]},{"given":"P.","family":"Traverso","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"11_CR1","unstructured":"Andrews, T., Curbera, F., Dolakia, H., Goland, J., Klein, J., Leymann, F., Liu, K., Roller, D., Smith, D., Thatte, S., Trickovic, I., Weeravarana, S.: Business Process Execution Language for Web Services, Version 1.1 (2003)"},{"key":"11_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"348","DOI":"10.1007\/3-540-48005-6_27","volume-title":"The Semantic Web - ISWC 2002","author":"A. Ankolekar","year":"2002","unstructured":"Ankolekar, A.: DAML-S: Web Service Description for the Semantic Web. In: Horrocks, I., Hendler, J. (eds.) ISWC 2002. LNCS, vol.\u00a02342, p. 348. Springer, Heidelberg (2002)"},{"key":"11_CR3","unstructured":"Bertoli, P., Pistore, M.: Planning with Extended Goals and Partial Observability. In: Proc. of ICAPS 2004 (2004)"},{"key":"11_CR4","unstructured":"Bertoli, P., Cimatti, A., Roveri, M., Traverso, P.: Planning in Nondeterministic Domains under Partial Observability via Symbolic Model Checking. In: Nebel, B. (ed.) Proc. of IJCAI 2001 (2001)"},{"key":"11_CR5","unstructured":"Bertoli, P., Cimatti, A., Pistore, M., Traverso, P.: A Framework for Planning with Extended Goals under Partial Observability. In: Proc. ICAPS 2003 (2003)"},{"key":"11_CR6","unstructured":"Blythe, J., Deelman, E., Gil, Y.: Planning for Workflow Construction and Maintenance on the Grid. In: Proc. of ICAPS 2003 Workshop on Planning for Web Services (2003)"},{"key":"11_CR7","doi-asserted-by":"crossref","unstructured":"Bonet, B., Geffner, H.: Planning with Incomplete Information as Heuristic Search in Belief Space. In: Proc. AIPS 2000 (2000)","DOI":"10.1007\/10720246_28"},{"key":"11_CR8","unstructured":"Dal Lago, U., Pistore, M., Traverso, P.: Planning with a Language for Extended Goals. In: Proc. AAAI 2002 (2002)"},{"key":"11_CR9","unstructured":"McDermott, D.: The Planning Domain Definition Language Manual. Technical Report 1165,Yale Computer Science University. CVC Report 98-003 (1998)"},{"key":"11_CR10","series-title":"Formal Models and Semantics","volume-title":"Handbook of Theoretical Computer Science","author":"E.A. Emerson","year":"1990","unstructured":"Emerson, E.A.: In: van Leeuwen, J. (ed.) Handbook of Theoretical Computer Science. Formal Models and Semantics, vol.\u00a0B, Elsevier, Amsterdam (1990)"},{"key":"11_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"335","DOI":"10.1007\/978-3-540-24593-3_23","volume-title":"Service-Oriented Computing - ICSOC 2003","author":"A. Lazovik","year":"2003","unstructured":"Lazovik, A., Aiello, M., Papazoglou, M.: Planning and Monitoring the Execution of Web Service Requests. In: Orlowska, M.E., Weerawarana, S., Papazoglou, M.P., Yang, J. (eds.) ICSOC 2003. LNCS, vol.\u00a02910, pp. 335\u2013350. Springer, Heidelberg (2003)"},{"key":"11_CR12","doi-asserted-by":"crossref","unstructured":"Narayanan, S., McIlraith, S.: Simulation, Verification and Automated Composition of Web Services. In: Proc. of WWW-11 (2002)","DOI":"10.1145\/511446.511457"},{"key":"11_CR13","unstructured":"Pistore, M., Traverso, P.: Planning as Model Checking for Extended Goals in Non-deterministic Domains. In: Proc. IJCAI 2001 (2001)"},{"key":"11_CR14","unstructured":"Pistore, M., Bettin, R., Traverso, P.: Symbolic Techniques for Planning with Extended Goals in Non-Deterministic Domains. In: Proc. ECP 2001 (2001)"},{"key":"11_CR15","unstructured":"Thakkar, S., Knoblock, C., Ambite, J.L.: A View Integration Approach to Dynamic Composition of Web Services. In: Proc. of ICAPS 2003 Workshop on Planning for Web Services (2003)"},{"key":"11_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"195","DOI":"10.1007\/978-3-540-39718-2_13","volume-title":"The Semantic Web - ISWC 2003","author":"D. Wu","year":"2003","unstructured":"Wu, D., Parsia, B., Sirin, E., Hendler, J., Nau, D.: Automating DAML-S Web Services Composition using SHOP2. In: Fensel, D., Sycara, K., Mylopoulos, J. (eds.) ISWC 2003. LNCS, vol.\u00a02870, pp. 195\u2013210. Springer, Heidelberg (2003)"}],"container-title":["Lecture Notes in Computer Science","Artificial Intelligence: Methodology, Systems, and Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-30106-6_11.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,19]],"date-time":"2020-11-19T04:40:22Z","timestamp":1605760822000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-30106-6_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540229599","9783540301066"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-30106-6_11","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}