RuMoR: Monitoring and Recovery of BPEL Applications
Web service applications are distributed processes that are composed of dynamically bounded services. Since the overall system may only be available at runtime, static analysis is difficult to perform in this setting. Instead, these systems are many times checked dynamically, by monitoring their behavior during runtime. The tool performs monitoring of web service applications, and, when violations are discovered, the authors automatically propose and rank recovery plans which users can then select for execution.