Sciweavers

Share
CASCON
2010

Monitoring and Recovery of Web Service Applications

8 years 8 months ago
Monitoring and Recovery of Web Service Applications
For a system of distributed processes, correctness can be ensured by (statically) checking whether their composition satisfies properties of interest. However, web services are distributed processes that dynamically discover properties of other web services. Since the overall system may not be available statically and since each business process is supposed to be relatively simple, we propose to use (on-line) runtime monitoring of conversations between partners as a means of checking behavioural correctness of the entire web service system. Our framework allows application developers to specify behavioural correctness properties. By transforming these properties to finite-state automata, we enable conformance checking of finite execution traces of web services described in BPEL against the specification. Moreover, when violations are discovered at runtime, we automatically propose and rank recovery plans which users of the system can then select for execution. For some of the violation...
Jocelyn Simmonds, Shoham Ben-David, Marsha Chechik
Added 21 Mar 2011
Updated 21 Mar 2011
Type Journal
Year 2010
Where CASCON
Authors Jocelyn Simmonds, Shoham Ben-David, Marsha Chechik
Comments (0)
books