Guided recovery for web service applications
Proceedings of the eighteenth ACM SIGSOFT international symposium on Foundations of software engineering
Towards run-time monitoring of web services conformance to business-level agreements
TAIC PART'10 Proceedings of the 5th international academic and industrial conference on Testing - practice and research techniques
An extensible architecture for run-time monitoring of conversational web services
Proceedings of the 3rd International Workshop on Monitoring, Adaptation and Beyond
A monitoring approach for runtime service discovery
Automated Software Engineering
Monitoring and recovery of web service applications
The smart internet
Monitoring and recovery of web service applications
The smart internet
Assessing fault occurrence likelihood for service-oriented systems
ICWE'11 Proceedings of the 11th international conference on Web engineering
Measures and mechanisms for process monitoring in evolving business networks
Data & Knowledge Engineering
WSCMon: runtime monitoring of web service orchestration based on refinement checking
Service Oriented Computing and Applications
Statistical detection of QoS violations based on CUSUM control charts
ICPE '12 Proceedings of the 3rd ACM/SPEC International Conference on Performance Engineering
Passive conformance testing of service choreographies
Proceedings of the 27th Annual ACM Symposium on Applied Computing
Runtime verification of data-centric properties in service based systems
RV'11 Proceedings of the Second international conference on Runtime verification
Proceedings of the 27th IEEE/ACM International Conference on Automated Software Engineering
A model-based synthesis process for choreography realizability enforcement
FASE'13 Proceedings of the 16th international conference on Fundamental Approaches to Software Engineering
Runtime verification of service-oriented systems: a well-rounded survey
International Journal of Web and Grid Services
Challenges in service mining: record, check, discover
ICWE'13 Proceedings of the 13th international conference on Web Engineering
Proceedings of the 5th IBM Collaborative Academia Research Exchange Workshop
PWWM: a personal web workflow methodology
The Personal Web
Behavior modeling and automated verification of Web services
Information Sciences: an International Journal
Hi-index | 0.00 |
For a system of distributed processes, correctness can be ensured by (statically) checking whether their composition satisfies properties of interest. However, Web services are distributed processes that dynamically discover properties of other Web services. Since the overall system may not be available statically and since each business process is supposed to be relatively simple, we propose to use runtime monitoring of conversations between partners as a means of checking behavioral correctness of the entire Web service system. Specifically, we identify a subset of UML 2.0 Sequence Diagrams as a property specification language and show that it is sufficiently expressive for capturing safety and liveness properties. By transforming these diagrams to automata, we enable conformance checking of finite execution traces against the specification. We show how our language can be used to specify the Specification Property System (SPS) [1]. We describe an implementation of our approach as part of an industrial system. Finally, we discuss our experience of specifying and monitoring a number of properties from three existing applications.