Patterns in property specifications for finite-state verification
Proceedings of the 21st international conference on Software engineering
Path sharing and predicate evaluation for high-performance XML filtering
ACM Transactions on Database Systems (TODS)
A framework for requirents monitoring of service based systems
Proceedings of the 2nd international conference on Service oriented computing
Consistency for web services applications
VLDB '05 Proceedings of the 31st international conference on Very large data bases
Run-Time Monitoring of Instances and Classes of Web Service Compositions
ICWS '06 Proceedings of the IEEE International Conference on Web Services
Detection and resolution of atomicity violation in service composition
Proceedings of the the 6th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering
Mop: an efficient and generic runtime verification framework
Proceedings of the 22nd annual ACM SIGPLAN conference on Object-oriented programming systems and applications
Making trace monitors feasible
Proceedings of the 22nd annual ACM SIGPLAN conference on Object-oriented programming systems and applications
Monitoring business processes with queries
VLDB '07 Proceedings of the 33rd international conference on Very large data bases
Runtime Monitoring of Message-Based Workflows with Data
EDOC '08 Proceedings of the 2008 12th International IEEE Enterprise Distributed Object Computing Conference
Flexible Pattern Monitoring for WS-BPEL through Stateful Aspect Extension
ICWS '08 Proceedings of the 2008 IEEE International Conference on Web Services
Developing a Concurrent Service Orchestration Engine Based on Event-Driven Architecture
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:
Parametric Trace Slicing and Monitoring
TACAS '09 Proceedings of the 15th International Conference on Tools and Algorithms for the Construction and Analysis of Systems: Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009,
Runtime Monitoring of Web Service Conversations
IEEE Transactions on Services Computing
Specifying and Validating Data-Aware Temporal Web Service Properties
IEEE Transactions on Software Engineering
An Online Monitoring Approach for Web Service Requirements
IEEE Transactions on Services Computing
Efficient Formalism-Independent Monitoring of Parametric Properties
ASE '09 Proceedings of the 2009 IEEE/ACM International Conference on Automated Software Engineering
Runtime Monitoring of Data-centric Temporal Properties for Web Services
ICWS '11 Proceedings of the 2011 IEEE International Conference on Web Services
Pattern-Based specification and validation of web services interaction properties
ICSOC'05 Proceedings of the Third international conference on Service-Oriented Computing
Towards dynamic monitoring of WS-BPEL processes
ICSOC'05 Proceedings of the Third international conference on Service-Oriented Computing
Runtime Enforcement of Web Service Message Contracts with Data
IEEE Transactions on Services Computing
Hi-index | 0.00 |
For service-based systems which are composed of multiple independent stakeholders, correctness cannot be ascertained statically. Continuous monitoring is required to assure that runtime behavior of the systems complies with specified properties. However, most existing work considers only the temporal constraints of messages exchanged between services, ignoring the actual data contents inside the messages. As a result, it is difficult to validate some dynamic properties such as how message data of interest is processed between different participants. To address this issue, this paper proposes an efficient, online monitoring approach to dynamically analyze data-centric properties in service-based systems. By introducing Par -BCL - a Parametric Behavior Constraint Language for Web services - various data-centric properties can be specified and monitored. To keep runtime overhead low, we statically analyze the monitored properties to generate parameter state machine, and combine two different indexing mechanisms to optimize the monitoring. The experiments show that the proposed approach is efficient.