Towards model-based testing of Web services

Complex interactions between Web Services involve coordinated sequences of operations. Clients of the provided services must be aware of the underlying coordination protocol to smoothly participate in such a coordinated setup. In this paper we discuss on a running example how such protocols may also serve as the input for Model-Based Testing of Web Services. We propose to use Symbolic Transition Systems and the rich underlying testing theory to approach modelling and testing the coordination. We further indicate where theoretical and technical gaps exist and point to several research issues.