Model Checking Interactions of Composite Web Services
Xiang Fu, Tevfik Bultan, Jianwen Su · 2003
There are two main challenges in the verification of composite web services: 1) Asynchronous messaging makes most interesting problems undecidable, and 2) rich data representation (XML) and data manipulation (e.g. XPath query) forbids direct application of model checking tools. In this paper, we present a top-down specification and verification approach to tackle both of these problems. In our