{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,18]],"date-time":"2025-11-18T12:09:34Z","timestamp":1763467774384},"publisher-location":"Berlin, Heidelberg","reference-count":32,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540490296"},{"type":"electronic","value":"9783540490555"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11926078_28","type":"book-chapter","created":{"date-parts":[[2006,11,3]],"date-time":"2006-11-03T01:46:02Z","timestamp":1162518362000},"page":"385-398","source":"Crossref","is-referenced-by-count":44,"title":["A Formal Model for Semantic Web Service Composition"],"prefix":"10.1007","author":[{"given":"Freddy","family":"L\u00e9cu\u00e9","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alain","family":"L\u00e9ger","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"28_CR1","volume-title":"Web Services: Concepts, Architectures and Applictions","author":"G. Alonso","year":"2004","unstructured":"Alonso, G., Casati, F., Kuno, H., Machiraju, V.: Web Services: Concepts, Architectures and Applictions. Springer, Heidelberg (2004)"},{"issue":"1","key":"28_CR2","doi-asserted-by":"crossref","first-page":"27","DOI":"10.1016\/j.websem.2003.07.002","volume":"1","author":"K.P. Sycara","year":"2003","unstructured":"Sycara, K.P., Paolucci, M., Ankolekar, A., Srinivasan, N.: Automated discovery, interaction and composition of semantic web services. J. Web Sem.\u00a01(1), 27\u201346 (2003)","journal-title":"J. Web Sem."},{"key":"28_CR3","unstructured":"Paolucci, M., Sycara, K.P., Kawamura, T.: Delivering semantic web services. In: Proceedings of the International Conference on WWW (Alternate Paper Tracks), pp. 829\u2013837 (2003)"},{"issue":"4","key":"28_CR4","doi-asserted-by":"publisher","first-page":"42","DOI":"10.1109\/MIS.2004.27","volume":"19","author":"E. Sirin","year":"2004","unstructured":"Sirin, E., Parsia, B., Hendler, J.A.: Filtering and selecting semantic web services with interactive composition techniques. IEEE Intelligent Systems\u00a019(4), 42\u201349 (2004)","journal-title":"IEEE Intelligent Systems"},{"key":"28_CR5","unstructured":"Klusch, M., Fries, B., Khalid, M., Sycara, K.: Owls-mx: Hybrid owl-s service matchmaking. In: AAAI Fall Symposium Series (2005)"},{"key":"28_CR6","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., Giacomo, G.D., 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":"28_CR7","doi-asserted-by":"crossref","unstructured":"Narayanan, S., McIlraith, S.: Simulation, verification and automated composition of web services. In: Eleventh International World Wide Web Conference, pp. 7\u201310 (2002)","DOI":"10.1145\/511446.511457"},{"key":"28_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"62","DOI":"10.1007\/11431053_5","volume-title":"The Semantic Web: Research and Applications","author":"M. Pistore","year":"2005","unstructured":"Pistore, M., Roberti, P., Traverso, P.: Process-Level Composition of Executable Web Services: \u201dOn-the-fly\u201d Versus \u201dOnce-for-all\u201d Composition. In: G\u00f3mez-P\u00e9rez, A., Euzenat, J. (eds.) ESWC 2005. LNCS, vol.\u00a03532, pp. 62\u201377. Springer, Heidelberg (2005)"},{"issue":"1","key":"28_CR9","doi-asserted-by":"publisher","first-page":"84","DOI":"10.1007\/s00778-003-0117-x","volume":"14","author":"B. Benatallah","year":"2005","unstructured":"Benatallah, B., Hacid, M.S., Leger, A., Rey, C., Toumani, F.: On automating web services discovery. VLDB J.\u00a014(1), 84\u201396 (2005)","journal-title":"VLDB J."},{"key":"28_CR10","unstructured":"Ankolenkar, A., Paolucci, M., Srinivasan, N., Sycara, K.: The owl services coalition, owl-s 1.1 beta release. Technical report (2004)"},{"key":"28_CR11","unstructured":"Fensel, D., Kifer, M., de Bruijn, J., Domingue, J.: Web service modeling ontology (wsmo) submission, w3c member submission (2005)"},{"key":"28_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-44613-3","volume-title":"Non-Standard Inferences in Description Logics","author":"R. K\u00fcsters","year":"2001","unstructured":"K\u00fcsters, R.: Non-Standard Inferences in Description Logics. LNCS, vol.\u00a02100. Springer, Heidelberg (2001)"},{"key":"28_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"333","DOI":"10.1007\/3-540-48005-6_26","volume-title":"The Semantic Web - ISWC 2002","author":"M. Paolucci","year":"2002","unstructured":"Paolucci, M., Kawamura, T., Payne, T., Sycara, K.: Semantic matching of web services capabilities. In: Horrocks, I., Hendler, J. (eds.) ISWC 2002. LNCS, vol.\u00a02342, pp. 333\u2013347. Springer, Heidelberg (2002)"},{"key":"28_CR14","doi-asserted-by":"crossref","unstructured":"Li, L., Horrocks, I.: A software framework for matchmaking based on semantic web technology. In: Proceedings of the Twelfth International Conference on WWW, pp. 331\u2013339 (2003)","DOI":"10.1145\/775152.775199"},{"key":"28_CR15","doi-asserted-by":"publisher","first-page":"41","DOI":"10.1145\/1052220.1052226","volume-title":"Proceedings of the 6th ICEC","author":"S. Colucci","year":"2004","unstructured":"Colucci, S., Noia, T.D., Sciascio, E.D., Mongiello, M., Donini, F.M.: Concept abduction and contraction for semantic-based discovery of matches and negotiation spaces in an e-marketplace. In: Proceedings of the 6th ICEC, pp. 41\u201350. ACM Press, New York (2004)"},{"key":"28_CR16","first-page":"634","volume-title":"Systematic nonlinear planning","author":"D. McAllester","year":"1991","unstructured":"McAllester, D., Rosenblitt, D.: Systematic nonlinear planning, pp. 634\u2013639. AAAI, Menlo Park (1991)"},{"key":"28_CR17","volume-title":"Artificial Intelligence: a modern approach","author":"S. Russell","year":"1995","unstructured":"Russell, S., Norvig, P.: Artificial Intelligence: a modern approach. Prentice-Hall, Englewood Cliffs (1995)"},{"key":"28_CR18","series-title":"Springer undergraduate mathematics series","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4471-0183-3","volume-title":"Matrix Groups: An Introduction to Lie Group Theory","author":"A. Baker","year":"2002","unstructured":"Baker, A.: Matrix Groups: An Introduction to Lie Group Theory. Springer undergraduate mathematics series. Springer, London (2002)"},{"key":"28_CR19","unstructured":"L\u00e9cu\u00e9, F., L\u00e9ger, A.: Semantic web service composition through a matchmaking of domain. In: 4th IEEE European Conference on Web Services (ECOWS) (to appear, 2006)"},{"key":"28_CR20","unstructured":"Desjardins, M., Sheshagiri, M., Finin, T.: A planner for composing services described in DAML-S. In: AAMAS Workshop on Web Services and Agent-based Engineering (2003)"},{"key":"28_CR21","unstructured":"Srivastava, B., Koehler, J.: Web service composition - current solutions and open problems. In: ICAPS 2003 Workshop on Planning for Web Services (2003)"},{"key":"28_CR22","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, San Francisco (2004)"},{"key":"28_CR23","unstructured":"Sacerdoti, E.: The nonlinear nature of plan. In: IJCAI-4, pp. 206\u2013214 (1975)"},{"key":"28_CR24","unstructured":"L\u00e9cu\u00e9, F., L\u00e9ger, A.: Semantic web service composition based on a closed world assumption. In: 4th IEEE European Conference on Web Services (ECOWS) (to appear, 2006)"},{"key":"28_CR25","doi-asserted-by":"crossref","unstructured":"Constantinescu, I., Faltings, B., Binder, W.: Type-based composition of information services in large scale environments. In: The International Conference on Web Intelligence (2004)","DOI":"10.1109\/WI.2004.10064"},{"key":"28_CR26","unstructured":"Claro, D.B., Albers, P., Hao, J.K.: Selecting web services for optimal composition. In: ICWS International Workshop on Semantic and Dynamic Web Processes, Orlando, USA (2005)"},{"key":"28_CR27","doi-asserted-by":"crossref","unstructured":"Constantinescu, I., Faltings, B., Binder, W.: Type based service composition. In: WWW (Alternate Track Papers & Posters), pp. 268\u2013269 (2004)","DOI":"10.1145\/1013367.1013429"},{"key":"28_CR28","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.A., Nau, D.S.: Automating DAML-S Web Services Composition Using SHOP2. In: Fensel, D., Sycara, K.P., Mylopoulos, J. (eds.) ISWC 2003. LNCS, vol.\u00a02870, pp. 195\u2013210. Springer, Heidelberg (2003)"},{"key":"28_CR29","unstructured":"Dermott, D.M.: PDDL - the planning domain definition language (1997)"},{"key":"28_CR30","doi-asserted-by":"crossref","unstructured":"Benatallah, B., Sheng, Q.Z., Ngu, A.H.H., Dumas, M.: Declarative composition and peer-to-peer provisioning of dynamic web services. In: ICDE, pp. 297\u2013308 (2002)","DOI":"10.1109\/ICDE.2002.994738"},{"key":"28_CR31","unstructured":"Mao, Z.M., Katz, R.H., Brewer, E.A.: Fault-tolerant, scalable, wide-area internet service composition. Technical report (2001)"},{"key":"28_CR32","unstructured":"Zhang, R., Arpinar, I.B., Aleman-Meza, B.: Automatic composition of semantic web services. In: ICWS, pp. 38\u201341 (2003)"}],"container-title":["Lecture Notes in Computer Science","The Semantic Web - ISWC 2006"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11926078_28.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T07:46:36Z","timestamp":1619509596000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11926078_28"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540490296","9783540490555"],"references-count":32,"URL":"https:\/\/doi.org\/10.1007\/11926078_28","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}