{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,21]],"date-time":"2026-02-21T20:17:09Z","timestamp":1771705029066,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":30,"publisher":"ACM","license":[{"start":{"date-parts":[[2008,3,16]],"date-time":"2008-03-16T00:00:00Z","timestamp":1205625600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2008,3,16]]},"DOI":"10.1145\/1363686.1364229","type":"proceedings-article","created":{"date-parts":[[2008,4,29]],"date-time":"2008-04-29T13:04:11Z","timestamp":1209474251000},"page":"2279-2285","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":3,"title":["Towards the composition of stateful and independent semantic web services"],"prefix":"10.1145","author":[{"given":"Freddy","family":"L\u00e9cu\u00e9","sequence":"first","affiliation":[{"name":"\u00c9cole Nationale Sup\u00e9rieure, Saint-\u00c9tienne cedex, France"}]},{"given":"Alexandre","family":"Delteil","sequence":"additional","affiliation":[{"name":"France Telecom R&D, Cesson S\u00e9vign\u00e9, France"}]},{"given":"Alain","family":"L\u00e9ger","sequence":"additional","affiliation":[{"name":"France Telecom R&D, Cesson S\u00e9vign\u00e9, France"}]}],"member":"320","published-online":{"date-parts":[[2008,3,16]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1038\/scientificamerican0501-34"},{"key":"e_1_3_2_1_2_1","volume-title":"Nutt","author":"Baader F.","year":"2003","unstructured":"Baader , F. , Nutt , W. : Basic description logics. In : The Description Logic Handbook: Theory, Implementation, and Applications. Cambridge University Press ( 2003 ) Baader, F., Nutt, W.: Basic description logics. In: The Description Logic Handbook: Theory, Implementation, and Applications. Cambridge University Press (2003)"},{"key":"e_1_3_2_1_3_1","volume-title":"McGuinness","author":"Smith M. K.","year":"2004","unstructured":"Smith , M. K. , Welty , C. , McGuinness , D. L. : Owl web ontology language guide. W3c recommendation, World Wide Web Consortium (February 2004 ) Smith, M. K., Welty, C., McGuinness, D. L.: Owl web ontology language guide. W3c recommendation, World Wide Web Consortium (February 2004)"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.websem.2003.07.002"},{"key":"e_1_3_2_1_5_1","volume-title":"Sycara","author":"Ankolenkar A.","year":"2004","unstructured":"Ankolenkar , A. , Paolucci , M. , Srinivasan , N. , Sycara , K. : The owl services coalition, owl-s 1.1 beta release. Technical report ( July 2004 ) Ankolenkar, A., Paolucci, M., Srinivasan, N., Sycara, K.: The owl services coalition, owl-s 1.1 beta release. Technical report (July 2004)"},{"key":"e_1_3_2_1_6_1","volume-title":"Domingue","author":"Fensel D.","year":"2005","unstructured":"Fensel , D. , Kifer , M. , de Bruijn , J. , Domingue , J. : Web service modeling ontology (wsmo) submission, w3c member submission. ( June 2005 ) Fensel, D., Kifer, M., de Bruijn, J., Domingue, J.: Web service modeling ontology (wsmo) submission, w3c member submission. (June 2005)"},{"key":"e_1_3_2_1_7_1","volume-title":"the 1st International Conference on Web Services. (2003)","author":"Sivashanmugam K.","unstructured":"Sivashanmugam , K. , Verma , K. , Sheth , A. , Miller , J. : Adding semantics to web services standards . In: the 1st International Conference on Web Services. (2003) 395--401 Sivashanmugam, K., Verma, K., Sheth, A., Miller, J.: Adding semantics to web services standards. In: the 1st International Conference on Web Services. (2003) 395--401"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1109\/MIS.2004.27"},{"key":"e_1_3_2_1_9_1","volume-title":"AAAI Fall Symposium Series. (November 2005)","author":"Klusch M.","unstructured":"Klusch , M. , Fries , B. , Khalid , M. , Sycara , K. : Owls-mx: Hybrid owl-s service matchmaking . In: AAAI Fall Symposium Series. (November 2005) Klusch, M., Fries, B., Khalid, M., Sycara, K.: Owls-mx: Hybrid owl-s service matchmaking. In: AAAI Fall Symposium Series. (November 2005)"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1142\/S0218843005001201"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/511446.511457"},{"key":"e_1_3_2_1_12_1","volume-title":"Bertoli","author":"Pistore M.","year":"2005","unstructured":"Pistore , M. , Traverso , P. , Bertoli , P. : Automated composition of web services by planning in asynchronous domains. In : ICAPS. ( 2005 ) 2--11 Pistore, M., Traverso, P., Bertoli, P.: Automated composition of web services by planning in asynchronous domains. In: ICAPS. (2005) 2--11"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1007\/11926078_28"},{"key":"e_1_3_2_1_14_1","volume-title":"International Semantic Web Conference. (2004)","author":"Traverso P.","unstructured":"Traverso , P. , Pistore , M. : Automated composition of semantic web services into executable processes . In: International Semantic Web Conference. (2004) 380--394 Traverso, P., Pistore, M.: Automated composition of semantic web services into executable processes. In: International Semantic Web Conference. (2004) 380--394"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1007\/11948148_40"},{"key":"e_1_3_2_1_16_1","volume-title":"Traverso","author":"Pistore M.","year":"2005","unstructured":"Pistore , M. , Marconi , A. , Bertoli , P. , Traverso , P. : Automated composition of web services by planning at the knowledge level. In : IJCAI. ( 2005 ) 1252--1259 Pistore, M., Marconi, A., Bertoli, P., Traverso, P.: Automated composition of web services by planning at the knowledge level. In: IJCAI. (2005) 1252--1259"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/773153.773154"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/988672.988756"},{"key":"e_1_3_2_1_19_1","volume-title":"Ullman","author":"Hopcroft J. E.","year":"1979","unstructured":"Hopcroft , J. E. , Ullman , J. D. : Introduction to Automata Theory, Languages, and Computation. Addison-Wesley , Reading, MA ( 1979 ) Hopcroft, J. E., Ullman, J. D.: Introduction to Automata Theory, Languages, and Computation. Addison-Wesley, Reading, MA (1979)"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/1035167.1035203"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/503209.503226"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF01768479"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/1060745.1060853"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1109\/ECOWS.2006.30"},{"key":"e_1_3_2_1_25_1","volume-title":"Grumberg","author":"Jr","year":"1999","unstructured":"Jr ., E. M. C. , Grumberg , O. : Model Checking. The MIT Press ( 1999 ) Jr., E. M. C., Grumberg, O.: Model Checking. The MIT Press (1999)"},{"key":"e_1_3_2_1_26_1","volume-title":"Pistore","author":"Bertoli P.","year":"2007","unstructured":"Bertoli , P. , Hoffmann , J. , L\u00e9cu\u00e9 , F. , Pistore , M. : Integrating discovery and automated composition: from semantic requirements to executable code. In : ICWS. ( 2007 ) Bertoli, P., Hoffmann, J., L\u00e9cu\u00e9, F., Pistore, M.: Integrating discovery and automated composition: from semantic requirements to executable code. In: ICWS. (2007)"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0168-0072(97)00039-0"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.websem.2004.06.005"},{"key":"e_1_3_2_1_29_1","volume-title":"Son","author":"McIlraith S. A.","year":"2002","unstructured":"McIlraith , S. A. , Son , T. C. : Adapting golog for composition of semantic web services. In : KR. ( 2002 ) 482--496 McIlraith, S. A., Son, T. C.: Adapting golog for composition of semantic web services. In: KR. (2002) 482--496"},{"key":"e_1_3_2_1_30_1","volume-title":"Aleman-Meza","author":"Zhang R.","year":"2003","unstructured":"Zhang , R. , Arpinar , I. B. , Aleman-Meza , B. : Automatic composition of semantic web services. In : ICWS. ( 2003 ) 38--41 Zhang, R., Arpinar, I. B., Aleman-Meza, B.: Automatic composition of semantic web services. In: ICWS. (2003) 38--41"}],"event":{"name":"SAC '08: The 2008 ACM Symposium on Applied Computing","location":"Fortaleza, Ceara Brazil","acronym":"SAC '08","sponsor":["SIGAPP ACM Special Interest Group on Applied Computing"]},"container-title":["Proceedings of the 2008 ACM symposium on Applied computing"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1363686.1364229","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1363686.1364229","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T13:39:03Z","timestamp":1750253943000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1363686.1364229"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,3,16]]},"references-count":30,"alternative-id":["10.1145\/1363686.1364229","10.1145\/1363686"],"URL":"https:\/\/doi.org\/10.1145\/1363686.1364229","relation":{},"subject":[],"published":{"date-parts":[[2008,3,16]]},"assertion":[{"value":"2008-03-16","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}