Automatic Service Composition Verification Based on Pi-Calculus

With the number of services increasing in a rapid speed in the Internet, it becomes a research hotspot to discover target service according to the service requirement. When single service can not satisfy the service requirement, services can be composed to provide complex function. There are already a lot of service composition methods, so it is crucial to provide a method to verify the correctness of composite service. This paper proposes a pi-calculus based automatic method to verify it. Experiment data shows that with the importing of the new verification method, the precision of service discovery process has been improved.