XPath queries on streaming data
Proceedings of the 2003 ACM SIGMOD international conference on Management of data
Compositional Verification of Middleware-Based Software Architecture Descriptions
Proceedings of the 26th International Conference on Software Engineering
On the memory requirements of XPath evaluation over XML streams
PODS '04 Proceedings of the twenty-third ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Efficient evaluation of XQuery over streaming data
VLDB '05 Proceedings of the 31st international conference on Very large data bases
Synchronizability of Conversations among Web Services
IEEE Transactions on Software Engineering
An Efficient XPath Query Processor for XML Streams
ICDE '06 Proceedings of the 22nd International Conference on Data Engineering
Verification of communicating data-driven web services
Proceedings of the twenty-fifth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Compliance checking between business processes and business contracts
EDOC '06 Proceedings of the 10th IEEE International Enterprise Distributed Object Computing Conference
Run-Time Monitoring of Instances and Classes of Web Service Compositions
ICWS '06 Proceedings of the IEEE International Conference on Web Services
Optimization of XQuery Queries Including FOR Clauses
ICIW '07 Proceedings of the Second International Conference on Internet and Web Applications and Services
Efficient algorithms for processing XPath queries
VLDB '02 Proceedings of the 28th international conference on Very Large Data Bases
FluXQuery: an optimizing XQuery processor for streaming XML data
VLDB '04 Proceedings of the Thirtieth international conference on Very large data bases - Volume 30
Model Checking Data-Aware Workflow Properties with CTL-FO+
EDOC '07 Proceedings of the 11th IEEE International Enterprise Distributed Object Computing Conference
Runtime monitoring of web service conversations
CASCON '07 Proceedings of the 2007 conference of the center for advanced studies on Collaborative research
An analysis of XQuery benchmarks
Information Systems
Extending XQuery with window functions
VLDB '07 Proceedings of the 33rd international conference on Very large data bases
Specifications using XQuery Expressions on Traces
Electronic Notes in Theoretical Computer Science (ENTCS)
Experiments with test case generation and runtime analysis
ASM'03 Proceedings of the abstract state machines 10th international conference on Advances in theory and practice
Dynamic constraint-based invocation of web services
WS-FM'06 Proceedings of the Third international conference on Web Services and Formal Methods
Execution semantics for service choreographies
WS-FM'06 Proceedings of the Third international conference on Web Services and Formal Methods
Declarative specification and verification of service choreographiess
ACM Transactions on the Web (TWEB)
Runtime verification for the web: a tutorial introduction to interface contracts in web applications
RV'10 Proceedings of the First international conference on Runtime verification
A monitoring approach for runtime service discovery
Automated Software Engineering
Passive conformance testing of service choreographies
Proceedings of the 27th Annual ACM Symposium on Applied Computing
Runtime verification of service-oriented systems: a well-rounded survey
International Journal of Web and Grid Services
Hi-index | 0.01 |
A wide range of web service choreography constraints on the content and sequentiality of messages can be translated into Linear Temporal Logic (LTL). Although they can be checked statically on abstractions of actual services, it is desirable that violations of these specifications be also detected at runtime. In this paper, we show that, given a suitable translation of LTL formulæ into XQuery expressions, such runtime monitoring of choreography constraints is possible by feeding the trace of messages to a streaming XQuery processor. The forward-only fragment of LTL is introduced; it represents the fragment of LTL supported by available streaming engines.