Formal description and analysis of Web services compatibility
GU Xi-wu,LU Zheng-ding
Computer Engineering and Applications . 2007, (27): 28 -33 .