{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:34:22Z","timestamp":1750307662362,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":27,"publisher":"ACM","license":[{"start":{"date-parts":[[2009,3,8]],"date-time":"2009-03-08T00:00:00Z","timestamp":1236470400000},"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":[[2009,3,8]]},"DOI":"10.1145\/1529282.1529752","type":"proceedings-article","created":{"date-parts":[[2009,4,15]],"date-time":"2009-04-15T13:37:11Z","timestamp":1239802631000},"page":"2118-2125","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":11,"title":["Runtime monitoring of web service choreographies using streaming XML"],"prefix":"10.1145","author":[{"given":"Sylvain","family":"Hall\u00e9","sequence":"first","affiliation":[{"name":"University of California, Santa Barbara, CA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Roger","family":"Villemaire","sequence":"additional","affiliation":[{"name":"Universit\u00e9 du Qu\u00e9bec \u00e0 Montr\u00e9al, Montreal, Canada"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2009,3,8]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.is.2007.05.002"},{"key":"e_1_3_2_1_2_1","first-page":"w3","article-title":"Document object model (DOM)","author":"Apparao V.","year":"1998","unstructured":"V. Apparao , S. Byrne , M. Champion , S. Isaacs , I. Jacobs , A. L. Hors , G. Nicol , J. Robie , R. Sutor , C. Wilson , and L. Wood . Document object model (DOM) , W3C Recommendation , 1998 . http:\/\/www. w3 .org\/TR\/REC-DOM-Level-1\/. V. Apparao, S. Byrne, M. Champion, S. Isaacs, I. Jacobs, A. L. Hors, G. Nicol, J. Robie, R. Sutor, C. Wilson, and L. Wood. Document object model (DOM), W3C Recommendation, 1998. http:\/\/www.w3.org\/TR\/REC-DOM-Level-1\/.","journal-title":"W3C Recommendation"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.5555\/1754749.1754755"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/1055558.1055584"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICWS.2006.113"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICDE.2003.1260813"},{"key":"e_1_3_2_1_7_1","first-page":"75","volume-title":"VLDB","author":"Botan I.","year":"2007","unstructured":"I. Botan , P. M. Fischer , D. Florescu , D. Kossmann , T. Kraska , and R. Tamosevicius . Extending XQuery with window functions . In VLDB , pages 75 -- 86 . ACM, 2007 . I. Botan, P. M. Fischer, D. Florescu, D. Kossmann, T. Kraska, and R. Tamosevicius. Extending XQuery with window functions. In VLDB, pages 75--86. ACM, 2007."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1007\/11841197_9"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.5555\/998675.999427"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICDE.2006.18"},{"key":"e_1_3_2_1_11_1","volume-title":"Model Checking","author":"Clarke E. M.","year":"2000","unstructured":"E. M. Clarke , O. Grumberg , and D. A. Peled . Model Checking . MIT Press , 2000 . E. M. Clarke, O. Grumberg, and D. A. Peled. Model Checking. MIT Press, 2000."},{"key":"e_1_3_2_1_12_1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"163","DOI":"10.1007\/11841197_11","volume-title":"WS-FM","author":"Decker G.","year":"2006","unstructured":"G. Decker , J. M. Zaha , and M. Dumas . Execution semantics for service choreographies . In WS-FM , volume 4184 of Lecture Notes in Computer Science , pages 163 -- 177 . Springer , 2006 . G. Decker, J. M. Zaha, and M. Dumas. Execution semantics for service choreographies. In WS-FM, volume 4184 of Lecture Notes in Computer Science, pages 163--177. Springer, 2006."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/1142351.1142364"},{"key":"e_1_3_2_1_14_1","volume-title":"XIME-P","author":"Fegaras L.","year":"2006","unstructured":"L. Fegaras , R. K. Dash , and Y. Wang . A fully pipelined XQuery processor . In XIME-P , 2006 . L. Fegaras, R. K. Dash, and Y. Wang. A fully pipelined XQuery processor. In XIME-P, 2006."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2005.141"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/1321211.1321217"},{"key":"e_1_3_2_1_17_1","first-page":"95","volume-title":"VLDB","author":"Gottlob G.","year":"2002","unstructured":"G. Gottlob , C. Koch , and R. Pichler . Efficient algorithms for processing XPath queries . In VLDB , pages 95 -- 106 . Morgan Kaufmann , 2002 . G. Gottlob, C. Koch, and R. Pichler. Efficient algorithms for processing XPath queries. In VLDB, pages 95--106. Morgan Kaufmann, 2002."},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1109\/EDOC.2006.22"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-88871-0_23"},{"key":"e_1_3_2_1_20_1","first-page":"267","volume-title":"EDOC","author":"Hall\u00e9 S.","year":"2007","unstructured":"S. Hall\u00e9 , R. Villemaire , O. Cherkaoui , and B. Ghandour . Model-checking data-aware temporal workflow properties with CTL-FO+ . In EDOC , pages 267 -- 278 . IEEE Computer Society , 2007 . S. Hall\u00e9, R. Villemaire, O. Cherkaoui, and B. Ghandour. Model-checking data-aware temporal workflow properties with CTL-FO+. In EDOC, pages 267--278. IEEE Computer Society, 2007."},{"key":"e_1_3_2_1_21_1","first-page":"1309","volume-title":"VLDB","author":"Koch C.","year":"2004","unstructured":"C. Koch , S. Scherzinger , N. Schweikardt , and B. Stegmaier . FluXQuery: An optimizing XQuery processor for streaming XML data . In VLDB , pages 1309 -- 1312 . Morgan Kaufmann , 2004 . C. Koch, S. Scherzinger, N. Schweikardt, and B. Stegmaier. FluXQuery: An optimizing XQuery processor for streaming XML data. In VLDB, pages 1309--1312. Morgan Kaufmann, 2004."},{"key":"e_1_3_2_1_22_1","first-page":"265","volume-title":"VLDB","author":"Li X.","year":"2005","unstructured":"X. Li and G. Agrawal . Efficient evaluation of XQuery over streaming data . In VLDB , pages 265 -- 276 , ACM, 2005 . X. Li and G. Agrawal. Efficient evaluation of XQuery over streaming data. In VLDB, pages 265--276, ACM, 2005."},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICIW.2007.44"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/872757.872810"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICDE.2007.367869"},{"key":"e_1_3_2_1_27_1","unstructured":"M. F. J. Sim\u00e9on C. Chen B. Choi V. Gapeyev A. Marian P. Michiels N. Onose D. Petkanics C. Rath C. R\u00e9 M. Stark G. Sur A. Vyas and P. Wadler. Galax an XQuery implementation. http:\/\/www.galaxquery.org.  M. F. J. Sim\u00e9on C. Chen B. Choi V. Gapeyev A. Marian P. Michiels N. Onose D. Petkanics C. Rath C. R\u00e9 M. Stark G. Sur A. Vyas and P. Wadler. Galax an XQuery implementation. http:\/\/www.galaxquery.org."},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2004.05.004"}],"event":{"name":"SAC09: The 2009 ACM Symposium on Applied Computing","sponsor":["SIGAPP ACM Special Interest Group on Applied Computing"],"location":"Honolulu Hawaii","acronym":"SAC09"},"container-title":["Proceedings of the 2009 ACM symposium on Applied Computing"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1529282.1529752","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1529282.1529752","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T13:29:30Z","timestamp":1750253370000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1529282.1529752"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,3,8]]},"references-count":27,"alternative-id":["10.1145\/1529282.1529752","10.1145\/1529282"],"URL":"https:\/\/doi.org\/10.1145\/1529282.1529752","relation":{},"subject":[],"published":{"date-parts":[[2009,3,8]]},"assertion":[{"value":"2009-03-08","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}