An interface automata based model for web service composition. - Xiaoyan Wang 001; Shufen Liu; Tongcheng Geng; Jun Zhang; Shuqiu Li (CSCWD, 2008)