{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:41:59Z","timestamp":1750308119453,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":33,"publisher":"ACM","license":[{"start":{"date-parts":[[2005,6,14]],"date-time":"2005-06-14T00:00:00Z","timestamp":1118707200000},"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":[[2005,6,14]]},"DOI":"10.1145\/1066157.1066219","type":"proceedings-article","created":{"date-parts":[[2005,8,3]],"date-time":"2005-08-03T08:31:47Z","timestamp":1123057907000},"page":"539-550","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":37,"title":["A verifier for interactive, data-driven web applications"],"prefix":"10.1145","author":[{"given":"Alin","family":"Deutsch","sequence":"first","affiliation":[{"name":"University of California, San Diego"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Monica","family":"Marcus","sequence":"additional","affiliation":[{"name":"University of California, San Diego"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Liying","family":"Sui","sequence":"additional","affiliation":[{"name":"University of California, San Diego"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Victor","family":"Vianu","sequence":"additional","affiliation":[{"name":"University of California, San Diego"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Dayou","family":"Zhou","sequence":"additional","affiliation":[{"name":"University of California, San Diego"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2005,6,14]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"Demo http:\/\/www.cs.ucsd.edu\/~Isui\/project\/index.html.  Demo http:\/\/www.cs.ucsd.edu\/~Isui\/project\/index.html."},{"key":"e_1_3_2_1_2_1","volume-title":"Foundations of Databases","author":"Abiteboul S.","year":"1995","unstructured":"S. Abiteboul , R. Hull , and V. Vianu . Foundations of Databases . Addison-Wesley , 1995 . S. Abiteboul, R. Hull, and V. Vianu. Foundations of Databases. Addison-Wesley, 1995."},{"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.1145\/503272.503274"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.5555\/647765.735848"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(94)90190-2"},{"key":"e_1_3_2_1_7_1","unstructured":"BPML.org. Business process modeling language. http:\/\/www.bpmi.org.  BPML.org. Business process modeling language. http:\/\/www.bpmi.org."},{"issue":"1","key":"e_1_3_2_1_8_1","article-title":"Specification and design of workflow-driven hypertexts","volume":"1","author":"Brambilla M.","year":"2002","unstructured":"M. Brambilla , S. Ceri , S. Comai , P. Fraternali , and I. Manolescu . Specification and design of workflow-driven hypertexts . Journal of Web Engineering , 1 ( 1 ), 2002 . M. Brambilla, S. Ceri, S. Comai, P. Fraternali, and I. Manolescu. Specification and design of workflow-driven hypertexts. Journal of Web Engineering, 1(1), 2002.","journal-title":"Journal of Web Engineering"},{"key":"e_1_3_2_1_9_1","volume-title":"Morgan-Kaufmann","author":"Ceri S.","year":"2002","unstructured":"S. Ceri , P. Fraternali , A. Bongio , M. Brambilla , S. Comai , and M. Matera . Designing data-intensive Web applications . Morgan-Kaufmann , 2002 . S. Ceri, P. Fraternali, A. Bongio, M. Brambilla, S. Comai, and M. Matera. Designing data-intensive Web applications. Morgan-Kaufmann, 2002."},{"key":"e_1_3_2_1_10_1","volume-title":"Computer Aided Verification (CAV)","author":"Courcoubetis C.","year":"1990","unstructured":"C. Courcoubetis , M. Vardi , P. Wolper , and M. Yannakakis . Memory-efficient algorithms for the verification of temporal properties . In Computer Aided Verification (CAV) , 1990 . C. Courcoubetis, M. Vardi, P. Wolper, and M. Yannakakis. Memory-efficient algorithms for the verification of temporal properties. In Computer Aided Verification (CAV), 1990."},{"key":"e_1_3_2_1_11_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_12_1","first-page":"348","volume-title":"The Semantic Web - ISWC","author":"DAML-S","year":"2002","unstructured":"DAML-S Coalition (A. Ankolekar et al).DAML-S: Web service description for the semantic Web . In The Semantic Web - ISWC , pages 348 -- 363 , 2002 . DAML-S Coalition (A. Ankolekar et al).DAML-S: Web service description for the semantic Web. In The Semantic Web - ISWC, pages 348--363, 2002."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/275487.275491"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/1055558.1055571"},{"key":"e_1_3_2_1_15_1","volume-title":"Specification and verification of data-driven web services. Invited to Journal of Computer Systems and Sciences","author":"Deutsch A.","year":"2005","unstructured":"A. Deutsch , L. Sui , and V. Vianu . Specification and verification of data-driven web services. Invited to Journal of Computer Systems and Sciences , 2005 (submitted). A. Deutsch, L. Sui, and V. Vianu. Specification and verification of data-driven web services. Invited to Journal of Computer Systems and Sciences, 2005 (submitted)."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1007\/s007780050082"},{"key":"e_1_3_2_1_17_1","volume-title":"(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 (EDBT) , 2000 . D. Florescu, K. Yagoub, P. Valduriez, and V. Issarny. WEAVE: A data-intensive web site management system(software demonstration). In (EDBT), 2000."},{"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","doi-asserted-by":"publisher","DOI":"10.1007\/BF01277643"},{"key":"e_1_3_2_1_20_1","volume-title":"Int. Conf. on Protocol Specification, Testing and Verification (PSTV)","author":"Gerth R.","year":"1995","unstructured":"R. Gerth , D. Peled , M. Vardi , and P. Wolper . Simple on-the-fly automatic verification of linear temporal logic . In Int. Conf. on Protocol Specification, Testing and Verification (PSTV) , 1995 . R. Gerth, D. Peled, M. Vardi, and P. Wolper. Simple on-the-fly automatic verification of linear temporal logic. In Int. Conf. on Protocol Specification, Testing and Verification (PSTV), 1995."},{"key":"e_1_3_2_1_21_1","unstructured":"G. Holzmann. The Spin Model Checker - Primer and Reference Manual. Addison-Wesley 2003.   G. Holzmann. The Spin Model Checker - Primer and Reference Manual. Addison-Wesley 2003."},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/773153.773154"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/1007568.1007722"},{"key":"e_1_3_2_1_24_1","volume-title":"The Temporal Logic of Reactive and Concurrent Systems","author":"Manna Z.","year":"1991","unstructured":"Z. Manna and A. Pnueli . The Temporal Logic of Reactive and Concurrent Systems . Springer Verlag , 1991 . Z. Manna and A. Pnueli. The Temporal Logic of Reactive and Concurrent Systems. Springer Verlag, 1991."},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.5555\/211468"},{"issue":"3","key":"e_1_3_2_1_26_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_27_1","volume-title":"Model checking: a tutorial overview","author":"Merz S.","year":"2001","unstructured":"S. Merz . Model checking: a tutorial overview . 2001 . S. Merz. Model checking: a tutorial overview. 2001."},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/511446.511457"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0022-0000(02)00029-6"},{"key":"e_1_3_2_1_31_1","volume-title":"Symp. on Logic in Computer Science","author":"Vardi M. Y.","year":"1986","unstructured":"M. Y. Vardi and P. Wolper . An automata-theoretic approach to automatic program verification . In Symp. on Logic in Computer Science , 1986 . M. Y. Vardi and P. Wolper. An automata-theoretic approach to automatic program verification. In Symp. on Logic in Computer Science, 1986."},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.5555\/645502.757730"},{"key":"e_1_3_2_1_33_1","unstructured":"Workflow management coalition 2001. http:\/\/www.wfmc.org.  Workflow management coalition 2001. http:\/\/www.wfmc.org."},{"key":"e_1_3_2_1_34_1","unstructured":"Web Services Flow Language(WSFL 1.0) 2001. http:\/\/www-3.ibm.com\/ software\/ solutions\/ webservices\/pdf\/WSFL.pdf.  Web Services Flow Language(WSFL 1.0) 2001. http:\/\/www-3.ibm.com\/ software\/ solutions\/ webservices\/pdf\/WSFL.pdf."}],"event":{"name":"SIGMOD\/PODS05: International Conference on Management of Data and Symposium on Principles Database and Systems","sponsor":["SIGMOD ACM Special Interest Group on Management of Data","ACM Association for Computing Machinery"],"location":"Baltimore Maryland","acronym":"SIGMOD\/PODS05"},"container-title":["Proceedings of the 2005 ACM SIGMOD international conference on Management of data"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1066157.1066219","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1066157.1066219","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T16:08:19Z","timestamp":1750262899000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1066157.1066219"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005,6,14]]},"references-count":33,"alternative-id":["10.1145\/1066157.1066219","10.1145\/1066157"],"URL":"https:\/\/doi.org\/10.1145\/1066157.1066219","relation":{},"subject":[],"published":{"date-parts":[[2005,6,14]]},"assertion":[{"value":"2005-06-14","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}