{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,28]],"date-time":"2026-04-28T22:36:38Z","timestamp":1777415798469,"version":"3.51.4"},"publisher-location":"New York, NY, USA","reference-count":31,"publisher":"ACM","license":[{"start":{"date-parts":[[2004,6,14]],"date-time":"2004-06-14T00:00:00Z","timestamp":1087171200000},"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":[[2004,6,14]]},"DOI":"10.1145\/1055558.1055571","type":"proceedings-article","created":{"date-parts":[[2005,8,3]],"date-time":"2005-08-03T08:31:47Z","timestamp":1123057907000},"page":"71-82","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":49,"title":["Specification and verification of data-driven web services"],"prefix":"10.1145","author":[{"given":"Alin","family":"Deutsch","sequence":"first","affiliation":[{"name":"University of California San Diego, La Jolla, CA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Liying","family":"Sui","sequence":"additional","affiliation":[{"name":"University of California San Diego, La Jolla, CA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Victor","family":"Vianu","sequence":"additional","affiliation":[{"name":"University of California San Diego, La Jolla, CA"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2004,6,14]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/237661.237674"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.5555\/551350"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1006\/jcss.2000.1708"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(94)90190-2"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-59207-2"},{"key":"e_1_3_2_1_6_1","unstructured":"BPML. org. Business process modeling language. http:\/\/www.bpmi.org.]]  BPML. org. Business process modeling language. http:\/\/www.bpmi.org.]]"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.5555\/2011107.2011112"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.5555\/599829"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1137\/0214049"},{"key":"e_1_3_2_1_10_1","unstructured":"F. Curbera Y. Goland J. Klein F. Leymann D. Roller S. Thatte and S. Weerawarana. Business process execution language for Web services. http:\/\/dev2dev.bea.com\/techtrack\/BPEL4WS.jsp.]]  F. Curbera Y. Goland J. Klein F. Leymann D. Roller S. Thatte and S. Weerawarana. Business process execution language for Web services. http:\/\/dev2dev.bea.com\/techtrack\/BPEL4WS.jsp.]]"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.5555\/646996.711291"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/275487.275491"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.5555\/114891.114907"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1007\/s007780050082"},{"key":"e_1_3_2_1_15_1","volume-title":"Proc. of the Conf. on Extending Database Technology (EDBT)","author":"Florescu D.","year":"2000","unstructured":"D. Florescu , K. Yagoub , P. Valduriez , and V. Issarny . WEAVE: A data-intensive web site management system (software demonstration) . In Proc. of the Conf. on Extending Database Technology (EDBT) , 2000 .]] D. Florescu, K. Yagoub, P. Valduriez, and V. Issarny. WEAVE: A data-intensive web site management system (software demonstration). In Proc. of the Conf. on Extending Database Technology (EDBT), 2000.]]"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.5555\/578533"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF01277643"},{"key":"e_1_3_2_1_18_1","first-page":"54","volume-title":"Proc. LICS","author":"Harel D.","year":"1987","unstructured":"D. Harel . On the formal semantics of statecharts . In Proc. LICS , pages 54 -- 64 , 1987 .]] D. Harel. On the formal semantics of statecharts. In Proc. LICS, pages 54--64, 1987.]]"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/773153.773154"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/333979.333987"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.5555\/128869"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.5555\/211468"},{"issue":"3","key":"e_1_3_2_1_23_1","first-page":"19","article-title":"Araneus in the era of XML","volume":"22","author":"Mecca G.","year":"1999","unstructured":"G. Mecca , P. Merialdo , and P. Atzeni . Araneus in the era of XML . IEEE Data Engineering Bulletin , 22 ( 3 ): 19 -- 26 , 1999 .]] G. Mecca, P. Merialdo, and P. Atzeni. Araneus in the era of XML. IEEE Data Engineering Bulletin, 22(3):19--26, 1999.]]","journal-title":"IEEE Data Engineering Bulletin"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/511446.511457"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.5555\/501599"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.5555\/647768.733801"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0022-0000(02)00029-6"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.5555\/645502.757730"},{"key":"e_1_3_2_1_30_1","unstructured":"Workflow management coalition 2001. http:\/\/www.wfmc.org.]]  Workflow management coalition 2001. http:\/\/www.wfmc.org.]]"},{"key":"e_1_3_2_1_31_1","unstructured":"Web Services Description Language(WSFL 1.0) 2001. http:\/\/www.w3.org\/TR\/2001\/NOTE-wsdl-20010315.]]  Web Services Description Language(WSFL 1.0) 2001. http:\/\/www.w3.org\/TR\/2001\/NOTE-wsdl-20010315.]]"},{"key":"e_1_3_2_1_32_1","unstructured":"Web Services Flow Language(WSDL 1.1) 2001. http:\/\/www-3.ibm.com\/ software\/ solutions \/webservices\/pdf\/WSFL.pdf.]]  Web Services Flow Language(WSDL 1.1) 2001. http:\/\/www-3.ibm.com\/ software\/ solutions \/webservices\/pdf\/WSFL.pdf.]]"}],"event":{"name":"SIGMOD\/PODS04: International Conference on Management of Data and Symposium on Principles Database and Systems","location":"Paris France","acronym":"SIGMOD\/PODS04","sponsor":["SIGMOD ACM Special Interest Group on Management of Data","SIGAI ACM Special Interest Group on Artificial Intelligence","SIGACT ACM Special Interest Group on Algorithms and Computation Theory"]},"container-title":["Proceedings of the twenty-third ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1055558.1055571","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1055558.1055571","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T16:31:27Z","timestamp":1750264287000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1055558.1055571"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004,6,14]]},"references-count":31,"alternative-id":["10.1145\/1055558.1055571","10.1145\/1055558"],"URL":"https:\/\/doi.org\/10.1145\/1055558.1055571","relation":{},"subject":[],"published":{"date-parts":[[2004,6,14]]},"assertion":[{"value":"2004-06-14","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}