{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,4]],"date-time":"2026-06-04T18:14:03Z","timestamp":1780596843451,"version":"3.54.1"},"publisher-location":"Berlin, Heidelberg","reference-count":23,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540237983","type":"print"},{"value":"9783540304753","type":"electronic"}],"license":[{"start":{"date-parts":[[2004,1,1]],"date-time":"2004-01-01T00:00:00Z","timestamp":1072915200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-30475-3_27","type":"book-chapter","created":{"date-parts":[[2010,9,23]],"date-time":"2010-09-23T21:22:54Z","timestamp":1285276974000},"page":"380-394","source":"Crossref","is-referenced-by-count":127,"title":["Automated Composition of Semantic Web Services into Executable Processes"],"prefix":"10.1007","author":[{"given":"Paolo","family":"Traverso","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Marco","family":"Pistore","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"key":"27_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":"27_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":"27_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"43","DOI":"10.1007\/978-3-540-24593-3_4","volume-title":"Service-Oriented Computing - ICSOC 2003","author":"D. Berardi","year":"2003","unstructured":"Berardi, D., Calvanese, D., De Giacomo, G., Lenzerini, M., Mecella, M.: Automatic Composition of E-services That Export Their Behavior. In: Orlowska, M.E., Weerawarana, S., Papazoglou, M.P., Yang, J. (eds.) ICSOC 2003. LNCS, vol.\u00a02910, pp. 43\u201358. Springer, Heidelberg (2003)"},{"key":"27_CR4","unstructured":"Bertoli, P., Cimatti, A., Pistore, M., Roveri, M., Traverso, P.: MBP: a Model Based Planner. In: Proc. IJCAI 2001 Workshop on Planning under Uncertainty and Incomplete Information (2001)"},{"key":"27_CR5","unstructured":"Bertoli, P., Cimatti, A., Pistore, M., Traverso, P.: A Framework for Planning with Extended Goals under Partial Observability. In: Proc. 13th Int. Conf. on Automated Planning and Scheduling, ICAPS 2003 (2003)"},{"key":"27_CR6","unstructured":"Bertoli, P., Cimatti, A., Roveri, M., Traverso, P.: Planning in Nondeterministic Domains under Partial Observability via Symbolic Model Checking. In: Proc. 17th Int. Joint Conference on Artificial Intelligence, IJCAI 2001 (2001)"},{"key":"27_CR7","unstructured":"Bertoli, P., Pistore, M.: Planning with Extended Goals and Partial Observability. In: Proc. 14th Int. Conf. on Automated Planning and Scheduling, ICAPS 2004 (2004)"},{"key":"27_CR8","doi-asserted-by":"crossref","unstructured":"Bonet, B., Geffner, H.: Planning with Incomplete Information as Heuristic Search in Belief Space. In: Proc. 5th Int. Conf. on Artificial Intelligence Planning and Scheduling, AIPS 2000 (2000)","DOI":"10.1016\/S0004-3702(01)00108-4"},{"issue":"1-2","key":"27_CR9","doi-asserted-by":"crossref","first-page":"35","DOI":"10.1016\/S0004-3702(02)00374-0","volume":"147","author":"A. Cimatti","year":"2003","unstructured":"Cimatti, A., Pistore, M., Roveri, M., Traverso, P.: Weak, Strong, and Strong Cyclic Planning via Symbolic Model Checking. Artificial Intelligence\u00a0147(1-2), 35\u201384 (2003)","journal-title":"Artificial Intelligence"},{"key":"27_CR10","unstructured":"The OWL Services Coalition. OWL-S: Semantic Markup for Web Services \u2014 Technical White paper (OWL-S version 1.0) (2003)"},{"key":"27_CR11","unstructured":"Dal Lago, U., Pistore, M., Traverso, P.: Planning with a Language for Extended Goals. In: Proc. 18tn National Conference on Artificial Intelligence, AAAI 2002 (2002)"},{"key":"27_CR12","unstructured":"Mc Dermott, D.: The Planning Domain Definition Language Manual. Technical Report 1165, Yale Computer Science University (1998) CVC Report 98-003"},{"key":"27_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/10720246_1","volume-title":"Recent Advances in AI Planning","author":"F. Giunchiglia","year":"2000","unstructured":"Giunchiglia, F., Traverso, P.: Planning as Model Checking. In: Biundo, S., Fox, M. (eds.) ECP 1999. LNCS, vol.\u00a01809, Springer, Heidelberg (2000)"},{"key":"27_CR14","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.: 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":"27_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"227","DOI":"10.1007\/978-3-540-39718-2_15","volume-title":"The Semantic Web - ISWC 2003","author":"D. Mandell","year":"2003","unstructured":"Mandell, D., McIlraith, S.: Adapting BPEL4WS for the Semantic Web: The Bottom-Up Approach to Web Service Interoperation. In: Fensel, D., Sycara, K., Mylopoulos, J. (eds.) ISWC 2003. LNCS, vol.\u00a02870, pp. 227\u2013241. Springer, Heidelberg (2003)"},{"key":"27_CR16","unstructured":"McIlraith, S., Fadel, R.: Planning with Complex Actions. In: Proc. 9th Int. Workshop on Non-Monotonic Reasoning, NMR 2002 (2002)"},{"key":"27_CR17","unstructured":"McIlraith, S., Son, S.: Adapting Golog for composition of semantic web Services. In: Proc. 8th Int. Conf. on Principles of Knowledge Representation and Reasoning, KR 2002 (2002)"},{"issue":"2","key":"27_CR18","doi-asserted-by":"publisher","first-page":"46","DOI":"10.1109\/5254.920599","volume":"16","author":"S. McIlraith","year":"2001","unstructured":"McIlraith, S., Son, S., Zeng, H.: Semantic Web Services. IEEE Intelligent Systems\u00a016(2), 46\u201353 (2001)","journal-title":"IEEE Intelligent Systems"},{"key":"27_CR19","doi-asserted-by":"crossref","unstructured":"Narayanan, S., McIlraith, S.: Simulation, Verification and Automated Composition of Web Services. In: Proc. 11th Int. World Wide Web Conference, WWW 2002 (2002)","DOI":"10.1145\/511446.511457"},{"key":"27_CR20","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"106","DOI":"10.1007\/978-3-540-30106-6_11","volume-title":"Artificial Intelligence: Methodology, Systems, and Applications","author":"M. Pistore","year":"2004","unstructured":"Pistore, M., Bertoli, P., Barbon, F., Shaparau, D., Traverso, P.: Planning and Monitoring Web Service Composition. In: Bussler, C.J., Fensel, D. (eds.) AIMSA 2004. LNCS (LNAI), vol.\u00a03192, pp. 106\u2013115. Springer, Heidelberg (2004)"},{"key":"27_CR21","unstructured":"Sheshagiri, M.M.: A Planner for Composing Services Described in DAML-S. In: Proc. AAMAS 2003 Workshop on Web Services and Agent-based Engineering (2003)"},{"key":"27_CR22","unstructured":"Thakkar, S., Knoblock, C., Ambite, J.L.: A View Integration Approach to Dynamic Composition ofWeb Services. In: Proc. ICAPS 2003 Workshop on Planning for Web Services (2003)"},{"key":"27_CR23","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","The Semantic Web \u2013 ISWC 2004"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-30475-3_27","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T22:56:28Z","timestamp":1558306588000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-30475-3_27"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540237983","9783540304753"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-30475-3_27","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2004]]}}}