Ratification strategy for web service composition using CPN: A survey

Web services have become the technology of choice for service-oriented computing implementation, where web services can be composed in retort to some user´s necessities. It is grave to substantiate the compatibility of component web services to ensure the correctness of the whole composition in which these components partake. Model checking is an automatic verification technique for finite state contemporaneous systems. Current services composition proposals provide limited mechanisms or tool to support the verification of services composition in the design, when portraying the control and message gushes in service collaboration. The Correctness properties of the composed service will be effective if Muller Automata (MA) is used through CPN, because this automata is suitable both for deterministic and non-deterministic system. This may avoid state space explosion problem perfectly. In this paper we have taken a survey report for verification of web service composition.