Automatic Service Composition Verification Based on Pi-Calculus

Yanbin Peng,Lv Ye,Zhijun Zheng,Jian Xiang,Xueqin Jiang,Ji Gao,Jieqing Ai,Zhenyu Lu,Yu Jin
DOI: https://doi.org/10.1109/ebiss.2009.5137943
2009-01-01
Abstract: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.
What problem does this paper attempt to address?