Formal Analysis of Services Compatibility. - Xueqiang Gong; Jing Liu 012; Miaomiao Zhang 003; Jueliang Hu (COMPSAC (2), 2009)