ECP '99 Proceedings of the 5th European Conference on Planning: Recent Advances in AI Planning
Testing Linear Temporal Logic Formulae on Finite Execution Traces
Testing Linear Temporal Logic Formulae on Finite Execution Traces
Analysis of interacting BPEL web services
Proceedings of the 13th international conference on World Wide Web
Safety-Liveness Semantics for UML 2.0 Sequence Diagrams
ACSD '05 Proceedings of the Fifth International Conference on Application of Concurrency to System Design
Case handling: a new paradigm for business process support
Data & Knowledge Engineering
LTSA-WS: a tool for model-based verification of web service compositions and choreography
Proceedings of the 28th international conference on Software engineering
A scenario based notation for specifying temporal properties
Proceedings of the 2006 international workshop on Scenarios and state machines: models, algorithms, and tools
Using WS-BPEL to Implement Software Fault Tolerance for Web Services
EUROMICRO '06 Proceedings of the 32nd EUROMICRO Conference on Software Engineering and Advanced Applications
Dynamo and Self-Healing BPEL Compositions
ICSE COMPANION '07 Companion to the proceedings of the 29th International Conference on Software Engineering
Modeling Interactions of Web Software
WWV '06 Proceedings of the 2nd Int'l. Workshop on Automated Specification and Verification of Web Systems
Formal semantics and analysis of control flow in WS-BPEL
Science of Computer Programming
Model checking service compositions under resource constraints
Proceedings of the the 6th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering
Healing Web applications through automatic workarounds
International Journal on Software Tools for Technology Transfer (STTT)
STRIPS: a new approach to the application of theorem proving to problem solving
IJCAI'71 Proceedings of the 2nd international joint conference on Artificial intelligence
Unifying SAT-based and graph-based planning
IJCAI'99 Proceedings of the 16th international joint conference on Artifical intelligence - Volume 1
Runtime Monitoring of Web Service Conversations
IEEE Transactions on Services Computing
RuMoR: monitoring and recovery for BPEL applications
Proceedings of the IEEE/ACM international conference on Automated software engineering
Monitoring and recovery of web service applications
The smart internet
Transforming BPEL to petri nets
BPM'05 Proceedings of the 3rd international conference on Business Process Management
Dynamic analysis of web services
Dynamic analysis of web services
RuMoR: monitoring and recovery for BPEL applications
Proceedings of the IEEE/ACM international conference on Automated software engineering
Monitoring and recovery of web service applications
The smart internet
Monitoring and recovery of web service applications
The smart internet
Run-time systems failure prediction via proactive monitoring
ASE '11 Proceedings of the 2011 26th IEEE/ACM International Conference on Automated Software Engineering
NOVA workflow: a workflow management tool targeting health services delivery
FHIES'11 Proceedings of the First international conference on Foundations of Health Informatics Engineering and Systems
Model checking workflow monitors and its application to a pain management process
FHIES'11 Proceedings of the First international conference on Foundations of Health Informatics Engineering and Systems
Specification and monitoring of data-centric temporal properties for service-based systems
Journal of Systems and Software
Dynamic synthesis of local time requirement for service composition
Proceedings of the 2013 International Conference on Software Engineering
Runtime verification of service-oriented systems: a well-rounded survey
International Journal of Web and Grid Services
Proceedings of the Twenty-Fourth ACM Symposium on Operating Systems Principles
ACM SIGOPS 24th Symposium on Operating Systems Principles
Asynchronous intrusion recovery for interconnected web services
Proceedings of the Twenty-Fourth ACM Symposium on Operating Systems Principles
Dynamic recovery decision during composite web services execution
Proceedings of the Fifth International Conference on Management of Emergent Digital EcoSystems
PWWM: a personal web workflow methodology
The Personal Web
Automated runtime recovery for QoS-based service composition
Proceedings of the 23rd international conference on World wide web
Hi-index | 0.00 |
Web service applications are dynamic, highly distributed, and loosely coupled orchestrations of services which are notoriously difficult to debug. In this paper, we describe a user-guided recovery framework for web services. When behavioural correctness properties (safety and bounded liveness) of an application are violated at runtime, we automatically propose and rank recovery plans which users can then select for execution. For safety violations, such plans essentially involve "going back" -- compensating the occurred actions until an alternative behavior of the application is possible. For bounded liveness violations, such plans include both "going back" and "re-planning" --guiding the application towards a desired behavior. We report on the implementation and our experience with the recovery system.