Runtime monitoring of web service choreographies using streaming XML

Proceedings of the ACM Symposium on Applied Computing

Volumn , Issue , 2009, Pages 2118-2125

  Hallé, Sylvain ^a   Villemaire, Roger ^b  

^a University of California   (United States)

^b UNIVERSITÉ DU QUÉBEC À MONTRÉAL   (Canada)

Author keywords

Runtime monitoring; Streaming XML; Web services

Indexed keywords

LINEAR TEMPORAL LOGIC; RUNTIME MONITORING; RUNTIMES; SEQUENTIALITY; STREAMING ENGINES; STREAMING XML; WEB SERVICE CHOREOGRAPHY; XQUERY EXPRESSIONS;

COMPUTER SCIENCE; MARKUP LANGUAGES; NETWORK COMPONENTS; TEMPORAL LOGIC; XML;

WEB SERVICES;

EID: 72949090350     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1529282.1529752     Document Type: Conference Paper

References (28)

1. L. Afanasiev and M. Marx. An analysis of XQuery benchmarks. Inf. Syst., 33(2):155-181, 2008.
2. 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/.
3. C. Artho, D. Drusinsky, A. Goldberg, K. Havelund, M. R. Lowry, C. S. Pasareanu, G. Rosu, and W. Visser. Experiments with test case generation and runtime analysis. In Abstract State Machines, volume 2589 of Lecture Notes in Computer Science, pages 87-107. Springer, 2003.
4. Z. Bar-Yossef, M. Fontoura, and V. Josifovski. On the memory requirements of XPath evaluation over XML streams. In PODS, pages 177-188. ACM, 2004..
5. F. Barbon, P. Traverso, M. Pistore, and M. Trainotti. Run-time monitoring of instances and classes of web service compositions. In ICWS, pages 63-71. IEEE Computer Society, 2006.
6. C. Barton, P. Charles, D. Goyal, M. Raghavachari, M. Fontoura, and V. Josifovski. Streaming XPath processing with forward and backward axes. In ICDE, pages 455-466. IEEE Computer Society, 2003.
7. 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.
8. D. Cacciagrano, F. Corradini, R. Culmone, and L. Vito. Dynamic constraint-based invocation of web services. In WS-FM, volume 4184 of Lecture Notes in Computer Science, pages 138-147. Springer, 2006.
9. M. Caporuscio, P. Inverardi, and P. Pelliccione. Compositional verification of middleware-based software architecture descriptions. In ICSE, pages 221-230. IEEE Computer Society, 2004.
10. Y. Chen, S. B. Davidson, and Y. Zheng. An efficient XPath query processor for XML streams. In ICDE, page 79. IEEE Computer Society, 2006.
11. E. M. Clarke, O. Grumberg, and D. A. Peled. Model Checking. MIT Press, 2000.
12. 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.
13. A. Deutsch, L. Sui, V. Vianu, and D. Zhou. Verification of communicating data-driven web services. In PODS, pages 90-99. ACM, 2006.
14. L. Fegaras, R. K. Dash, and Y. Wang. A fully pipelined XQuery processor. In XIME-P, 2006.
15. X. Fu, T. Bultan, and J. Su. Synchronizability of conversations among web services. IEEE Trans. Software Eng., 31(12):1042-1055, 2005.
16. Y. Gan, M. Chechik, S. Nejati, J. Bennett, B. O'Farrell, and J. Waterhouse. Runtime monitoring of web service conversations. In CASCON, pages 42-57. ACM, 2007.
17. G. Gottlob, C. Koch, and R. Pichler. Efficient algorithms for processing XPath queries. In VLDB, pages 95-106. Morgan Kaufmann, 2002.
18. G. Governatori, Z. Milosevic, and S. W. Sadiq. Compliance checking between business processes and business contracts. In EDOC, pages 221-232. IEEE Computer Society, 2006.
19. S. Hallé and R. Villemaire. XML methods for validation of temporal properties on message traces with data. In CoopIS/DOA/ODBASE, volume 5331 of Lecture Notes in Computer Science, pages 337-353. Springer, 2008.
20. S. Hallé, 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.
21. 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.
22. X. Li and G. Agrawal. Efficient evaluation of XQuery over streaming data. In VLDB, pages 265-276, ACM, 2005.
23. S. Parastatidis, J. Webber, S. Woodman, D. Kuo, and P. Greenfield. SOAP service description language (SSDL). Technical Report CS-TR-899, University of Newcastle, Newcastle upon Tyne, 2005.
24. J. H. Park and J.-H. Kang. Optimization of XQuery queries including for clauses. In ICIW, page 37. IEEE Computer Society, 2007.
25. F. Peng and S. S. Chawathe. XPath queries on streaming data. In SIGMOD Conference, pages 431-442. ACM, 2003.
26. M. Schmidt, S. Scherzinger, and C. Koch. Combined static and dynamic analysis for effective buffer minimization in streaming xquery evaluation. In ICDE, pages 236-245. IEEE, 2007.
27. M. F. J. Siméon, C. Chen, B. Choi, V. Gapeyev, A. Marian, P. Michiels, N. Onose, D. Petkanics, C. Rath, C. Ré, M. Stark, G. Sur, A. Vyas, and P. Wadler. Galax, an XQuery implementation. http://www.galaxquery.org.
28. M. Venzke. Specifications using XQuery expressions on traces. Electr. Notes Theor. Comput. Sci., 105:109-118, 2004.