Automata, Languages, and Machines
Automata, Languages, and Machines
A Runtime Monitoring and Validation Framework for Web Service Interactions
ASWEC '06 Proceedings of the Australian Software Engineering Conference
A Middleware Solution to Monitoring Composite Web Services-Based Processes
SERVICES-2 '08 Proceedings of the 2008 IEEE Congress on Services Part II
Leveraging Semantic Web Service Descriptions for Validation by Automated Functional Testing
ESWC 2009 Heraklion Proceedings of the 6th European Semantic Web Conference on The Semantic Web: Research and Applications
Dynamo + Astro: An Integrated Approach for BPEL Monitoring
ICWS '09 Proceedings of the 2009 IEEE International Conference on Web Services
Runtime Monitoring of Web Service Conversations
IEEE Transactions on Services Computing
A Model-Based Approach to Fault Diagnosis in Service Oriented Architectures
ECOWS '09 Proceedings of the 2009 Seventh IEEE European Conference on Web Services
Run-time Verification of Behavioural Conformance for Conversational Web Services
ECOWS '09 Proceedings of the 2009 Seventh IEEE European Conference on Web Services
Cross-organizational process monitoring based on service choreographies
Proceedings of the 2010 ACM Symposium on Applied Computing
Comprehensive Monitoring of BPEL Processes
IEEE Internet Computing
SLAs for cross-layer adaptation and monitoring of service-based applications: a case study
Proceedings of the International Workshop on Quality Assurance for Service-Based Applications
JSXM: a tool for automated test generation
SEFM'12 Proceedings of the 10th international conference on Software Engineering and Formal Methods
Runtime verification of service-oriented systems: a well-rounded survey
International Journal of Web and Grid Services
Web Service Diagnoser Model for managing faults in web services
Computer Standards & Interfaces
Hi-index | 0.01 |
Trust in Web services will be greatly enhanced if these are subject to run-time verification, even if they were previously tested, since their context of execution is subject to continuous change; and services may also be upgraded without notifying their consumers in advance. Conversational Web services introduce added complexity when it comes to run-time verification, since they follow a conversation protocol and they have a state bound to the session of each consumer accessing them. Furthermore, conversational Web services have different policies on how they maintain their state. Access to states can be private or shared; and states may be transient or persistent. These differences must be taken into account when building a scalable architecture for run-time verification through monitoring. This paper, building on a previously proposed theoretical framework for run-time verification of conversational Web services, presents the design, implementation and validation of a novel run-time monitoring architecture for conversational services, which aims to provide a holistic monitoring framework enabling the integration of different verification tools. The architecture is validated by running a sequence of test scenarios, based on a realistic example. The experimental results revealed that the monitoring activities have a tolerable overhead on the operation of a Web service.