Application of Typed Pi Calculus in Web Service Choreography
Jiang Meng-zhi · Journal of Shanghai University of Engineering Science · 2009
The Pi calculus and Z language were integrated to describ web service choreography.Pi calculus has some advantages in describing web service,but it has some shortages in data definition and operation description,and also it can not do some data checking.The technique which integrates the Pi calculus and Z language may make up for the shortages of Pi calculus.