Static analysis of active XML systems

ACM Transactions on Database Systems

Volumn 34, Issue 4, 2009, Pages

  Abiteboul, Serge ^a   Segoufin, Luc ^b   Vianu, Victor ^c  

^a INRIA SACLAY   (France)

^b CNRS   (France)

^c UNIVERSITY OF CALIFORNIA   (United States)

Author keywords

Automatic verification; Web services; Workflows; XML

Indexed keywords

AUTOMATIC VERIFICATION; BASED ON XML DOCUMENTS; EMBEDDED FUNCTION; FUNCTION CALLS; HIGH LEVEL SPECIFICATION; INTERNAL FUNCTION; LOCAL COMPUTATION; LTL PROPERTY; SEMANTIC PROPERTIES; SUBTASKS; TEMPORAL PROPERTY; WORK-FLOWS; XML SYSTEM;

COMPUTABILITY AND DECIDABILITY; GENE EXPRESSION; HIGH LEVEL LANGUAGES; MANAGEMENT; MARKUP LANGUAGES; SPECIFICATION LANGUAGES; TEMPORAL LOGIC; WEB SERVICES;

XML;

EID: 76149136072     PISSN: 03625915     EISSN: 15574644     Source Type: Journal    
DOI: 10.1145/1620585.1620590     Document Type: Conference Paper

References (32)

1. ABDULLA, P. AND JONSSON, B. 1993. Verifying programs with unreliable channels. In Proceedings of the 8th IEEE International Symposium on Logic in Computer Science. 160-170.
2. ABDULLA, P. A. AND JONSSON, B. 1994. Undecidable verification problems for programs with unreliable channels. In Proceedings of the International Coloquium on Automata, Languages, and Programming. 316-327.
3. ABITEBOUL, S., BENJELLOUN, O., ANDMILO, T. 2004. Positive active XML. In Proceedings of the 23rd ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems.
4. ABITEBOUL, S., BENJELLOUN, O., AND MILO, T. 2008a. The Active XML project: An overview. VLDB J. 17, 5, 1019-1040.
5. ABITEBOUL, S., HULL, R., AND VIANU, V. 1995. Foundations of Databases. Addison-Wesley.
6. ABITEBOUL, S., SEGOUFIN, L., AND VIANU, V. 2008b. Static analysis of active XML systems. In Proceedings of the 27th ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems. 221-230.
7. ALON, N., MILO, T., NEVEN, F., SUCIU, D., AND VIANU, V. 2003. XML with data values: Typechecking revisited. J. Comput. Syst. Sci. 66, 4, 688-727.
8. ARENAS, M., FAN, W., AND LIBKIN, L. 2002. Consistency of XML specifications. In Proceedings of the 21st ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems. 259-270.
9. BENEDIKT, M., FAN, W., AND GEERTS, F. 2008. Xpath satisfiability in the presence of DTDs. J. ACM 55, 2, 1-79.
10. BENVENISTE, A. AND HELOUET, L. 2008. Composition of GAXML services. Private communication.
11. BERARDI, D., CALVANESE, D., DE GIACOMO, G., HULL, R., AND MECELLA, M. 2005. Automatic composition of transition-based semantic Web services with messaging. In Proceedings of the 31st International Conference on Very Large Data Bases. 613-624.
12. BOJANCZYK, M., MUSCHOLL, A., SCHWENTICK, T., SEGOUFIN, L., AND DAVID, C. 2006. Two-variable logic on words with data. In Proceedings of the 21st IEEE Symposium on Logic in Computer Science. 7-16.
13. BORGER, E., GRADEL, E., AND GUREVICH, Y. 1997. The Classical Decision Problem. Springer.
14. BRAND, D. AND ZAFIROPULO, P. 1983. On communicating finite-state machines. J. ACM 30, 2, 323-342.
15. DAVID, C. 2008. Complexity of data tree patterns over XML documents. In Proceedings of the 33rd International Symposium on Mathematical Foundations of Computer Science. 278-289.
16. DEMRI, S. AND LAZÍC, R. 2009. LTL with the freeze quantifier and register automata. ACM Trans. Comput. Logic 10, 3, 1-30.
17. DEUTSCH, A., MARCUS, M., SUI, L., VIANU, V., AND ZHOU, D. 2005. A verifier for interactive, datadriven Web applications. In Proceedings of the ACM SIGMOD International Conference on Management of Data. 539-550.
18. DEUTSCH, A., SUI, L., AND VIANU, V. 2007. Specification and verification of data-driven Web applications. J. Comput. Syst. Sci. 73, 3, 442-474.
19. DEUTSCH, A., SUI, L., VIANU, V., AND ZHOU, D. 2006. Verification of communicating data-drivenWeb services. In Proceedings of the 25th ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems. 90-99.
20. EMERSON, E. A. 1990. Temporal and Modal Logic. Elsevier.
21. FAN, W. AND LIBKIN, L. 2001. OnXMLintegrity constraints in the presence of DTDs. In Proceedings of the 20th ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems.
22. GENEST, B., MUSCHOLL, A., SERRE, O., AND ZEITOUN, M. 2008. Tree pattern rewriting systems. In Proceedings of the International Symposium on Automated Technology for Verification and Analysis.
23. Lecture Notes in Computer Science, vol.5311. Springer, 332-346.
24. HULL, R. 2005. Web services composition: A story of models, automata, and logics. In Proceedings of the IEEE International Conference on Services Computing.
25. HULL, R., BENEDIKT, M., CHRISTOPHIDES, V., AND SU, J. 2003. E-services: A look behind the curtain. In Proceedings of the 22nd ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems. 1-14.
26. HULL, R. AND SU, J. 2004. Tools for design of composite Web services. In Proceedings of the ACM SIGMOD International Conference on Management of Data. 958-961.
27. HULL, R. AND SU, J. 2005. Tools for composite Web services: A short overview. SIGMOD Record 34, 2, 86-95.
28. KHALAF, R., KELLER, A., AND LEYMANN, F. 2006. Business processes for Web services: Principles and applications. IBM Syst. J. 45, 2.
29. MINSKY, M. L. 1967. Computation: Finite and Infinite Machines. Prentice-Hall.
30. NEVEN, F., SCHWENTICK, T., AND VIANU, V. 2004. Finite state machines for strings over infinite alphabets. ACM Trans. Comput. Logic 5, 3, 403-435.
31. NIGAML, A. AND CASWELL, N. 2003. Business artifacts: An approach to operational specification. IBM Syst. J.
32. SEGOUFIN, L. 2007. Static analysis of XML processing with data values. SIGMOD Record 36, 1, 31-38.