Abstract:
A web service composition is a procedure of bringing together several web services to accomplish the business process. Colored Petri Nets (CPN) model has been widely used...Show MoreMetadata
Abstract:
A web service composition is a procedure of bringing together several web services to accomplish the business process. Colored Petri Nets (CPN) model has been widely used in both model based testing and verification of design correctness of web service composition. In this paper the existing approaches that uses CPN model for design verification of the web service composition are analyzed.
Published in: 2017 International Conference on Technical Advancements in Computers and Communications (ICTACC)
Date of Conference: 10-11 April 2017
Date Added to IEEE Xplore: 16 October 2017
ISBN Information: