A model for verification of web service maneuvering: A survey

The Internet is going through several major changes. It has become a vehicle of Web services rather than just a repository of information. Web Services are heterogeneously developed software components invoked over the network viz. the Internet, Web Services are the most famous implementation of service-oriented architectures (SOA) that has brought some challenging research issues related to security, Quality of service. Among all the challenges Web Service Composition turns out to be a major research, because it supports business-business enterprise application integration. Web services Maneuvering is the ability to create a new value-added service by integrating related Web services together. After Composing the Web Services, Only limited number verification techniques are available. The Correctness properties of the composed service will be effective if Muller Automata and Buchi Automata is used, because these automata are suitable both for deterministic and non-deterministic system. In this paper we have taken a survey report for verification of web service maneuvering, existing techniques are suitable only for deterministic system rather than non-deterministic system.