kirancodes.me
To Proof Maintenance & Beyond!

RuMoR: monitoring and recovery for BPEL applications

Jocelyn Simmonds, Marsha Chechik

Abstract

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.

BibTeX
@inproceedings{Simmonds-Chechik:ASE10,
  author    = {Jocelyn Simmonds and
               Marsha Chechik},
  title     = {{RuMoR:} monitoring and recovery for {BPEL} applications},
  booktitle = {ASE},
  pages     = {345--346},
  publisher = {{ACM}},
  year      = {2010},
}

Related papers