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.
- }}A. Carzaniga, A. Gorla, and M. Pezze. "Healing Web Applications through Automatic Workarounds". STTT, 10(6):493--502, 2008. Google ScholarDigital Library
- }}H. Foster, S. Uchitel, J. Magee, and J. Kramer. "LTSA-WS: a Tool for Model-Based Verification of Web Service Compositions and Choreography". In Proc. of ICSE'06, pages 771--774, 2006. Google ScholarDigital Library
- }}Y. Gan, M. Chechik, S. Nejati, J. Bennett, B. O'Farrell, and J. Waterhouse. "Runtime Monitoring of Web Service Conversations". In Proc. of CASCON'07, pages 42--57, 2007. Google ScholarDigital Library
- }}H. A. Kautz and B. Selman. Unifying SAT-based and Graph-based Planning. In IJCAI'99, pages 318--325, 1999. Google ScholarDigital Library
- }}J. Simmonds, S. Ben-David, and M. Chechik. Guided Recovery for Web Service Applications. In Proc. of FSE'10, 2010. To appear. Google ScholarDigital Library
- }}W. M. P. van der Aalst and M. Weske. "Case Handling: a New Paradigm for Business Process Support" Data Knowledge Engineering, 53(2):129--162, 2005. Google ScholarDigital Library
Index Terms
- RuMoR: monitoring and recovery for BPEL applications
Recommendations
Guided recovery for web service applications
FSE '10: Proceedings of the eighteenth ACM SIGSOFT international symposium on Foundations of software engineeringWeb 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 ...
Monitoring and recovery for web service applications
Web service applications are distributed processes that are composed of dynamically bounded services. In this paper, we give a definitive description of a framework for performing runtime monitoring of web service applications against behavioural ...
Runtime Enforcement of Data-centric Properties for Concurrent Service-Based Applications
ICWS '14: Proceedings of the 2014 IEEE International Conference on Web ServicesFor service-based applications which are composed of multiple independent third-parties, continuous monitoring is required to assure that runtime behavior of the systems complies with specified properties. However, most existing work only detects the ...
Comments