On Communicating Finite-State Machines
Journal of the ACM (JACM)
On XML integrity constraints in the presence of DTDs
PODS '01 Proceedings of the twentieth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
On verifying consistency of XML specifications
Proceedings of the twenty-first ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Foundations of Databases: The Logical Level
Foundations of Databases: The Logical Level
Undecidable Verification Problems for Programs with Unreliable Channels
ICALP '94 Proceedings of the 21st International Colloquium on Automata, Languages and Programming
E-services: a look behind the curtain
Proceedings of the twenty-second ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
XML with data values: typechecking revisited
Journal of Computer and System Sciences - Special issu on PODS 2001
Tools for design of composite Web services
SIGMOD '04 Proceedings of the 2004 ACM SIGMOD international conference on Management of data
Finite state machines for strings over infinite alphabets
ACM Transactions on Computational Logic (TOCL)
Business artifacts: An approach to operational specification
IBM Systems Journal
PODS '04 Proceedings of the twenty-third ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
A verifier for interactive, data-driven web applications
Proceedings of the 2005 ACM SIGMOD international conference on Management of data
Automatic composition of transition-based semantic web services with messaging
VLDB '05 Proceedings of the 31st international conference on Very large data bases
Tools for composite web services: a short overview
ACM SIGMOD Record
Computation: finite and infinite machines
Computation: finite and infinite machines
Web Services Composition: A Story of Models, Automata, and Logics
SCC '05 Proceedings of the 2005 IEEE International Conference on Services Computing - Volume 01
Verification of communicating data-driven web services
Proceedings of the twenty-fifth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Business processes for web services: principles and applications
IBM Systems Journal
Two-Variable Logic on Words with Data
LICS '06 Proceedings of the 21st Annual IEEE Symposium on Logic in Computer Science
Specification and verification of data-driven Web applications
Journal of Computer and System Sciences
Static analysis of XML processing with data values
ACM SIGMOD Record
XPath satisfiability in the presence of DTDs
Journal of the ACM (JACM)
Static analysis of active XML systems
Proceedings of the twenty-seventh ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
The Active XML project: an overview
The VLDB Journal — The International Journal on Very Large Data Bases
LTL with the freeze quantifier and register automata
ACM Transactions on Computational Logic (TOCL)
Artifact systems with data dependencies and arithmetic
Proceedings of the 14th International Conference on Database Theory
A quest for beauty and wealth (or, business processes for database researchers)
Proceedings of the thirtieth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Automatic verification of data-centric business processes
BPM'11 Proceedings of the 9th international conference on Business process management
The ERC webdam on foundations of web data management
Proceedings of the 21st international conference companion on World Wide Web
Comparing workflow specification languages: A matter of views
ACM Transactions on Database Systems (TODS)
Highly expressive query languages for unordered data trees
Proceedings of the 15th International Conference on Database Theory
Artifact systems with data dependencies and arithmetic
ACM Transactions on Database Systems (TODS)
Foundations of data-aware process analysis: a database theory perspective
Proceedings of the 32nd symposium on Principles of database systems
Hi-index | 0.00 |
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, and so may activate new subtasks. The focus of this article is on the verification of temporal properties of runs of Active XML systems, specified in a tree-pattern-based temporal logic, Tree-LTL, which 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.