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...

Full description

Saved in:
Bibliographic Details
Main Authors: Danapaquiame, N., Ilavarasan, E., Kumar, Neeraj, Dwivedi, Sanjeev Kumar
Format: Conference Proceeding
Language:English
Subjects:
CPN
LTL
model checking
state space explosion
Web Services composition
Online Access:Request full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary: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.
DOI:10.1109/ICCIC.2013.6724254