Static analysis of active XML systems

Proceedings of the ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems

Volumn , Issue , 2008, Pages 221-230

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

^a UNIVERSITÉ PARIS SACLAY   (France)

^b INRIA   (France)

^c UNIVERSITY OF CALIFORNIA   (United States)

Author keywords

Active xml; Automatic verification; Temporal logic

Indexed keywords

COMPUTABILITY AND DECIDABILITY; HIGH LEVEL LANGUAGES; INFORMATION THEORY; MARKUP LANGUAGES; PROBABILITY DENSITY FUNCTION; TEMPORAL LOGIC; XML;

ACTIVE XML; AUTOMATIC VERIFICATION; AUTOMATIC VERIFICATIONS; BASED ON XML DOCUMENTS; EMBEDDED FUNCTIONS; EXTERNAL-; FUNCTION CALLS; INTERNAL FUNCTIONS; LOCAL COMPUTATIONS; LTL PROPERTIES; SEMANTIC PROPERTIES; TEMPORAL PROPERTIES; XML SYSTEMS;

DATABASE SYSTEMS;

EID: 57349131047     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1376916.1376948     Document Type: Conference Paper

References (24)

1. S. Abiteboul, O. Benjelloun, and T. Milo. Positive Active XML. Proc. ACM PODS 2004: 35-45.
2. S. Abiteboul, O. Benjelloun, and T. Milo. The Active XML project, an overview, VLDB journal. To appear, 2008.
3. S. Abiteboul, R. Hull, and V. Vianu. Foundations of Databases, Addison-Wesley, 1995.
4. Active XML homepage. http://activexml.net
5. M. Benedikt, W. Fan, and F. Geerts. XPath satisfiability in the presence of DTDs. Proc. ACM PODS 2005: 25-36.
6. W. Fan and L. Libkin, On XML Integrity Constraints in the Presence of DTDs. Proc. ACM PODS 2001: 114-125.
7. M. Arenas, W. Fan and L. Libkin, On Verifying Consistency of XML Specifications. Proc. ACM PODS 2002: 259-270.
8. N. Alon, T. Milo, F. Neven, D. Suciu, and V. Vianu. XML with Data Values: Typeehecking Revisited. JCSS 66(4): 688-727 (2003). Also Proc. ACM PODS 2001: 138-149.
9. M. Bojańczyk, C. David, A. Muscholl, T. Schwentick, and L. Segoufin. Two-variable logic on words with data. In LICS'06, pp. 7-16, 2006.
10. E. Borger, E. Gradel and Y. Gurevich, The Classical Decision Problem, Springer 1997.
11. C. David. Complexity of Data Tree Patterns over XML Documents, Manuscript.
12. S. Demri and R. Lazic. LTL with the Freeze Quantifier and Register Automata. In LICS'06, pp. 17-26, IEEE 2006.
13. A. Deutsch, L. Sui, and V. Vianu. Specification and verification of data-driven Web applications. J. Comput. Syst. Sci. 73(3): 442-474 (2007). Also Proc. ACM PODS 2004.
14. A. Deutsch, M. Marcus, L. Sui, V. Vianu, and D. Zhou. A Verifier for Interactive, Data-Driven Web Applications. Proc. ACM SIGMOD 2005: 539-550.
15. A. Deutsch, L. Sui, V. Vianu, and D. Zhou. Verification of communicating data-driven web services. Proc. ACM PODS 2006: 90-99.
16. E. Allen Emerson, Temporal and Modal Logic, in Handbook of Theoretical Computer Science, Vol. B: Formal Models and Sematics, (ed. J. Van Leeuwen), North-Holland/MIT Press, 1990.
17. R. Hull, M. Benedikt, V. Christophides and J. Su. E-Services: a look behind the curtain. Proc. ACM PODS 2003: 1-14.
18. R. Khalaf, A. Keller, and F. Leymann, Business Processes for Web Services: Principles and Applications. IBM Systems Journal, Volume 45, Number 2, IBM Corp., 2006.
19. M. Minsky. Computation, Finite and Infinite Machines. Prentice Hall, 1967.
20. F. Neven, T. Schwentick, and V. Vianu. Finite state machines for strings over infinite alphabets. ACM Transactions on Computational Logic 15(3): 403-435 (2004).
21. A. Nigam, N.S. Caswell. Business Artifacts: An approach to operational specification. IBM Systems Journal, 2003.
22. L. Segoufin. Static Analysis of XML Processing with Data Values. In Sigmod Record 36(1), 2007.
23. The Extensible Markup Language (XML) 1.0 (2nd Edition). http://www.w3.org/TR/REC-xml.
24. The W3C Web Services Activity. http://www.w3.org/2002/ws.