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
Runtime monitoring of web service conversations
CASCON '07 Proceedings of the 2007 conference of the center for advanced studies on Collaborative research
Healing Web applications through automatic workarounds
International Journal on Software Tools for Technology Transfer (STTT)
Unifying SAT-based and graph-based planning
IJCAI'99 Proceedings of the 16th international joint conference on Artifical intelligence - Volume 1
Guided recovery for web service applications
Proceedings of the eighteenth ACM SIGSOFT international symposium on Foundations of software engineering
Guided recovery for web service applications
Proceedings of the eighteenth ACM SIGSOFT international symposium on Foundations of software engineering
Automated runtime recovery for QoS-based service composition
Proceedings of the 23rd international conference on World wide web
Hi-index | 0.00 |
We describe a RUntime MOnitoring and Recovery framework (RuMoR) for BPEL applications. Our tool checks for behavioral conformance with respect to a set of user-specified properties. When runtime violations are discovered, RuMoR automatically proposes and ranks recovery plans which users can then select for execution. These plans are generated using an adaptation of a SAT-based planning technique.