{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:31:33Z","timestamp":1750307493737,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":15,"publisher":"ACM","license":[{"start":{"date-parts":[[2010,6,14]],"date-time":"2010-06-14T00:00:00Z","timestamp":1276473600000},"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":[[2010,6,14]]},"DOI":"10.1145\/1874590.1874605","type":"proceedings-article","created":{"date-parts":[[2010,11,3]],"date-time":"2010-11-03T14:04:01Z","timestamp":1288793041000},"page":"1-6","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":3,"title":["Towards formalizing web service composition in Maude's strategy language"],"prefix":"10.1145","author":[{"given":"Hamza","family":"Merouani","sequence":"first","affiliation":[{"name":"Larbi Ben M'hidi University, Oum El Bouaghi, Algeria"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Farid","family":"Mokhati","sequence":"additional","affiliation":[{"name":"Larbi Ben M'hidi University, Oum El Bouaghi, Algeria"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hassina","family":"Seridi-Bouchelaghem","sequence":"additional","affiliation":[{"name":"Badji Mokhtar University, Annaba, Algeria"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2010,6,14]]},"reference":[{"doi-asserted-by":"publisher","key":"e_1_3_2_1_1_1","DOI":"10.1504\/IJWGS.2005.007545"},{"unstructured":"OASIS 2007 Web Services Business Process Execution Language (WS-BPEL) Version 2.0.  OASIS 2007 Web Services Business Process Execution Language (WS-BPEL) Version 2.0.","key":"e_1_3_2_1_2_1"},{"unstructured":"W3C 2007 Web Services Description Language (WSDL) Version 2.0.  W3C 2007 Web Services Description Language (WSDL) Version 2.0.","key":"e_1_3_2_1_3_1"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_4_1","DOI":"10.1504\/IJBPIM.2009.026986"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_5_1","DOI":"10.1109\/QSIC.2009.20"},{"key":"e_1_3_2_1_6_1","first-page":"77","volume-title":"Forth International Workshop, LNCS","volume":"4937","author":"Lohmann N.","year":"2008","unstructured":"Lohmann N. 2008 , A Feature-Complete Petri Net Semantics for WS-BPEL 2.0. In Web Services and Formal Methods , Forth International Workshop, LNCS vol. 4937 , pages 77 -- 91 , Springer-Verlag. Lohmann N. 2008, A Feature-Complete Petri Net Semantics for WS-BPEL 2.0. In Web Services and Formal Methods, Forth International Workshop, LNCS vol. 4937, pages 77--91, Springer-Verlag."},{"unstructured":"OMG 2009 Business Process Model and Notation (BPMN) Version 1.2.  OMG 2009 Business Process Model and Notation (BPMN) Version 1.2.","key":"e_1_3_2_1_7_1"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_8_1","DOI":"10.1109\/ICWS.2006.67"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_11_1","DOI":"10.1504\/IJWET.2006.010419"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_12_1","DOI":"10.1109\/NWeSP.2008.17"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_13_1","DOI":"10.1145\/1497308.1497379"},{"volume-title":"IEEE GLOBECOM Workshops.","author":"Dumez C.","unstructured":"Dumez C. , Nait-Sidi-Moh A. , Gaber J. and Wack M ., 2008, Web services composition using UML-S: a case study , IEEE GLOBECOM Workshops. Dumez C., Nait-Sidi-Moh A., Gaber J. and Wack M., 2008, Web services composition using UML-S: a case study, IEEE GLOBECOM Workshops.","key":"e_1_3_2_1_14_1"},{"volume-title":"All About Maude - A High-Performance Logical Framework. LNCS","author":"Clavel M.","unstructured":"Clavel M. , Duran F. , Eker S. , Lincoln P. , Marti-Oliet N. , Meseguer J. , Talcott C , 2007 , All About Maude - A High-Performance Logical Framework. LNCS , vol. 4350 . Springer , Heidelberg . Clavel M., Duran F., Eker S., Lincoln P., Marti-Oliet N., Meseguer J., Talcott C, 2007, All About Maude - A High-Performance Logical Framework. LNCS, vol. 4350. Springer, Heidelberg.","key":"e_1_3_2_1_15_1"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_16_1","DOI":"10.1016\/j.entcs.2006.03.017"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_17_1","DOI":"10.1016\/S0304-3975(01)00357-7"}],"event":{"sponsor":["Jordan Chapter of ACM ISWSA","The Isra University"],"acronym":"ISWSA '10","name":"ISWSA '10: The 2010 International Conference on Intelligent Semantic Web Services and Applications","location":"Amman Jordan"},"container-title":["Proceedings of the 1st International Conference on Intelligent Semantic Web-Services and Applications"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1874590.1874605","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1874590.1874605","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T12:17:36Z","timestamp":1750249056000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1874590.1874605"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,6,14]]},"references-count":15,"alternative-id":["10.1145\/1874590.1874605","10.1145\/1874590"],"URL":"https:\/\/doi.org\/10.1145\/1874590.1874605","relation":{},"subject":[],"published":{"date-parts":[[2010,6,14]]},"assertion":[{"value":"2010-06-14","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}