Handbook of theoretical computer science (vol. B)
Tableaux for Quantified Hybrid Logic
TABLEAUX '02 Proceedings of the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
A framework for requirents monitoring of service based systems
Proceedings of the 2nd international conference on Service oriented computing
Monitoring business processes with queries
VLDB '07 Proceedings of the 33rd international conference on Very large data bases
XML Methods for Validation of Temporal Properties on Message Traces with Data
OTM '08 Proceedings of the OTM 2008 Confederated International Conferences, CoopIS, DOA, GADA, IS, and ODBASE 2008. Part I on On the Move to Meaningful Internet Systems:
Towards dynamic monitoring of WS-BPEL processes
ICSOC'05 Proceedings of the Third international conference on Service-Oriented Computing
| Hi-index | 0.00 |
Enterprise information systems allow more automation of tasks and complex interconnections, particularly with the emergence of new paradigms like Service Oriented Architecture (SOA). These new environments make checking correctness of systems at design-time as well as at run-time particularly challenging. In this paper, we propose a new monitoring framework that makes use of business protocols as a simple abstraction of business processes. We provide a monitoring language called BPath, which is an XPath-based language for both expressing and checking temporal and hybrid logical properties at run-time, making the execution of a business process visible by expressing and evaluating statistical queries over execution traces.