skip to main content
10.1145/1376916.1376948acmconferencesArticle/Chapter ViewAbstractPublication PagesmodConference Proceedingsconference-collections
research-article

Static analysis of active XML systems

Published:09 June 2008Publication History

ABSTRACT

Active XML is a high-level specification language tailored to data-intensive, distributed, dynamic Web services. Active XML is based on XML documents with embedded function calls. The state of a document evolves depending on the result of internal function calls (local computations) or external ones (interactions with users or other services). Function calls return documents that may be active, so may activate new subtasks. The focus of the paper is on the verification of temporal properties of runs of Active XML systems, specified in a tree-pattern based temporal logic, Tree-LTL, that allows expressing a rich class of semantic properties of the application. The main results establish the boundary of decidability and the complexity of automatic verification of Tree-LTL properties.

References

  1. S. Abiteboul, O. Benjelloun, and T. Milo. Positive Active XML. Proc. ACM PODS 2004: 35--45. Google ScholarGoogle ScholarDigital LibraryDigital Library
  2. S. Abiteboul, O. Benjelloun, and T. Milo. The Active XML project, an overview, VLDB journal. To appear, 2008. Google ScholarGoogle ScholarDigital LibraryDigital Library
  3. S. Abiteboul, R. Hull, and V. Vianu. Foundations of Databases, Addison-Wesley, 1995. Google ScholarGoogle ScholarDigital LibraryDigital Library
  4. Active XML homepage. http://activexml.ne.Google ScholarGoogle Scholar
  5. M. Benedikt, W. Fan, and F. Geerts. XPath satisfiability in the presence of DTDs. Proc. ACM PODS 2005: 25--36. Google ScholarGoogle ScholarDigital LibraryDigital Library
  6. W. Fan and L. Libkin, On XML Integrity Constraints in the Presence of DTDs. Proc. ACM PODS 2001: 114--125. Google ScholarGoogle ScholarDigital LibraryDigital Library
  7. M. Arenas, W. Fan and L. Libkin, On Verifying Consistency of XML Specifications. Proc. ACM PODS 2002: 259--270. Google ScholarGoogle ScholarDigital LibraryDigital Library
  8. N. Alon, T. Milo, F. Neven, D. Suciu, and V. Vianu. XML with Data Values: Typechecking Revisited. JCSS 66(4): 688--727 (2003). Also Proc. ACM PODS 2001: 138--149. Google ScholarGoogle ScholarDigital LibraryDigital Library
  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. Google ScholarGoogle ScholarDigital LibraryDigital Library
  10. E. Borger, E. Gradel and Y. Gurevich, The Classical Decision Problem, Springer 1997.Google ScholarGoogle Scholar
  11. C. David. Complexity of Data Tree Patterns over XML Documents, Manuscript.Google ScholarGoogle Scholar
  12. S. Demri and R. Lazic. LTL with the Freeze Quantifier and Register Automata. In LICS'06, pp. 17--26, IEEE 2006. Google ScholarGoogle ScholarDigital LibraryDigital Library
  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. Google ScholarGoogle ScholarDigital LibraryDigital Library
  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. Google ScholarGoogle ScholarDigital LibraryDigital Library
  15. A. Deutsch, L. Sui, V. Vianu, and D. Zhou. Verification of communicating data-driven web services. Proc. ACM PODS 2006: 90--99. Google ScholarGoogle ScholarDigital LibraryDigital Library
  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. Google ScholarGoogle ScholarDigital LibraryDigital Library
  17. R. Hull, M. Benedikt, V. Christophides and J. Su. E-Services: a look behind the curtain. Proc. ACM PODS 2003: 1--14. Google ScholarGoogle ScholarDigital LibraryDigital Library
  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. Google ScholarGoogle ScholarDigital LibraryDigital Library
  19. M. Minsky. Computation, Finite and Infinite Machines. Prentice Hall, 1967. Google ScholarGoogle ScholarDigital LibraryDigital Library
  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). Google ScholarGoogle ScholarDigital LibraryDigital Library
  21. A. Nigam, N.S. Caswell. Business Artifacts: An approach to operational specification. IBM Systems Journal, 2003. Google ScholarGoogle ScholarDigital LibraryDigital Library
  22. L. Segoufin. Static Analysis of XML Processing with Data Values. In Sigmod Record 36(1), 2007. Google ScholarGoogle ScholarDigital LibraryDigital Library
  23. The Extensible Markup Language (XML) 1.0 (2nd Edition). http://www.w3.org/TR/REC-xml.Google ScholarGoogle Scholar
  24. The W3C Web Services Activity. http://www.w3.org/2002/ws.Google ScholarGoogle Scholar

Index Terms

  1. Static analysis of active XML systems

          Recommendations

          Comments

          Login options

          Check if you have access through your login credentials or your institution to get full access on this article.

          Sign in
          • Published in

            cover image ACM Conferences
            PODS '08: Proceedings of the twenty-seventh ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
            June 2008
            330 pages
            ISBN:9781605581521
            DOI:10.1145/1376916

            Copyright © 2008 ACM

            Publisher

            Association for Computing Machinery

            New York, NY, United States

            Publication History

            • Published: 9 June 2008

            Permissions

            Request permissions about this article.

            Request Permissions

            Check for updates

            Qualifiers

            • research-article

            Acceptance Rates

            Overall Acceptance Rate476of1,835submissions,26%

          PDF Format

          View or Download as a PDF file.

          PDF

          eReader

          View online with eReader.

          eReader
          About Cookies On This Site

          We use cookies to ensure that we give you the best experience on our website.

          Learn more

          Got it!