A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf
.
Optimizing Computation of Recovery Plans for BPEL Applications
2010
Electronic Proceedings in Theoretical Computer Science
Web service applications are distributed processes that are composed of dynamically bounded services. In our previous work [15], we have described a framework for performing runtime monitoring of web service against behavioural correctness properties (described using property patterns and converted into finite state automata). These specify forbidden behavior (safety properties) and desired behavior (bounded liveness properties). Finite execution traces of web services described in BPEL are
doi:10.4204/eptcs.35.1
fatcat:5kcznmc5hbgsrpesditpl4b72q