论文信息 - RuMoR: monitoring and recovery for BPEL applications

RuMoR: monitoring and recovery for BPEL applications

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.

Marsha Chechik | Jocelyn Simmonds

[1] Yaron Goland,et al. Web Services Business Process Execution Language , 2009, Encyclopedia of Database Systems.

[2] Jocelyn Simmonds,et al. Guided recovery for web service applications , 2010, FSE '10.

[3] Alessandra Gorla,et al. Healing Web applications through automatic workarounds , 2008, International Journal on Software Tools for Technology Transfer.

[4] Sebastián Uchitel,et al. LTSA-WS: a tool for model-based verification of web service compositions and choreography , 2006, ICSE.

[5] Richard Fikes,et al. STRIPS: A New Approach to the Application of Theorem Proving to Problem Solving , 1971, IJCAI.

[6] Mathias Weske,et al. Case handling: a new paradigm for business process support , 2005, Data Knowl. Eng..

[7] Bart Selman,et al. Unifying SAT-based and Graph-based Planning , 1999, IJCAI.

[8] Julie Waterhouse,et al. Runtime monitoring of web service conversations , 2007, CASCON.

[9] George S. Avrunin,et al. Patterns in property specifications for finite-state verification , 1999, Proceedings of the 1999 International Conference on Software Engineering (IEEE Cat. No.99CB37002).

[10] Francisco Curbera,et al. Web Services Business Process Execution Language Version 2.0 , 2007 .