Formal description and analysis of Web services compatibility
Xiwu Gu, LU Zheng-ding · Computer Engineering and Applications Journal · 2007
The analysis of Web services compatibility is the guarantee of correct interaction between Web services.The paper analyzes Web services compatibility using a formal method based on Pi-calculus and presents two formal definitions of compatibility between two Web services.The paper also defines the projection operation between two Web services then proposes the formal definitions of compatibility between multiple Web services on the base of projection operation.