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.
- S. Abiteboul, O. Benjelloun, and T. Milo. Positive Active XML. Proc. ACM PODS 2004: 35--45. Google Scholar
Digital Library
- S. Abiteboul, O. Benjelloun, and T. Milo. The Active XML project, an overview, VLDB journal. To appear, 2008. Google Scholar
Digital Library
- S. Abiteboul, R. Hull, and V. Vianu. Foundations of Databases, Addison-Wesley, 1995. Google Scholar
Digital Library
- Active XML homepage. http://activexml.ne.Google Scholar
- M. Benedikt, W. Fan, and F. Geerts. XPath satisfiability in the presence of DTDs. Proc. ACM PODS 2005: 25--36. Google Scholar
Digital Library
- W. Fan and L. Libkin, On XML Integrity Constraints in the Presence of DTDs. Proc. ACM PODS 2001: 114--125. Google Scholar
Digital Library
- M. Arenas, W. Fan and L. Libkin, On Verifying Consistency of XML Specifications. Proc. ACM PODS 2002: 259--270. Google Scholar
Digital Library
- 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 Scholar
Digital Library
- 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 Scholar
Digital Library
- E. Borger, E. Gradel and Y. Gurevich, The Classical Decision Problem, Springer 1997.Google Scholar
- C. David. Complexity of Data Tree Patterns over XML Documents, Manuscript.Google Scholar
- S. Demri and R. Lazic. LTL with the Freeze Quantifier and Register Automata. In LICS'06, pp. 17--26, IEEE 2006. Google Scholar
Digital Library
- 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 Scholar
Digital Library
- 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 Scholar
Digital Library
- A. Deutsch, L. Sui, V. Vianu, and D. Zhou. Verification of communicating data-driven web services. Proc. ACM PODS 2006: 90--99. Google Scholar
Digital Library
- 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 Scholar
Digital Library
- R. Hull, M. Benedikt, V. Christophides and J. Su. E-Services: a look behind the curtain. Proc. ACM PODS 2003: 1--14. Google Scholar
Digital Library
- 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 Scholar
Digital Library
- M. Minsky. Computation, Finite and Infinite Machines. Prentice Hall, 1967. Google Scholar
Digital Library
- 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 Scholar
Digital Library
- A. Nigam, N.S. Caswell. Business Artifacts: An approach to operational specification. IBM Systems Journal, 2003. Google Scholar
Digital Library
- L. Segoufin. Static Analysis of XML Processing with Data Values. In Sigmod Record 36(1), 2007. Google Scholar
Digital Library
- The Extensible Markup Language (XML) 1.0 (2nd Edition). http://www.w3.org/TR/REC-xml.Google Scholar
- The W3C Web Services Activity. http://www.w3.org/2002/ws.Google Scholar
Index Terms
Static analysis of active XML systems
Recommendations
Static analysis of active XML systems
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 ...
Towards Improvement of Active XML Representation
WAINA '11: Proceedings of the 2011 IEEE Workshops of International Conference on Advanced Information Networking and ApplicationsActive XML (AXML) as an intensional XML Data aims to exploit potential computing power of XML, Web services and P2P architecture. It is considered as a powerful extension of XML to deal with dynamic XML data from autonomous and heterogeneous data ...
Active XML (AXML) intensional data exchange
iiWAS '11: Proceedings of the 13th International Conference on Information Integration and Web-based Applications and ServicesCurrently, the rapid development of XML databases, peer-to-peer architecture and Web services has encouraged changes in distributed computing and databases. AXML systems, which are extensions of XML, have been developed to exploit the computation powers ...






Comments