Protocol Compatibility Verification for Web Services Interaction. - Yanping Yang; Ming-an Zhang; Xiqing Ye; Houwu Chen 002; Xinke Lian (SKG, 2009)