Date Added: Nov 2010
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, the authors propose to use (On-line) runtime monitoring of conversations between partners as a means of checking behavioural correctness of the entire web service system. The framework allows application developers to specify behavioural correctness properties.