Xiaoyan Wang Shufen Liu Tongcheng Geng Jun Zhang Shuqiu Li An interface automata based model for web service composition. 945-950 2008 CSCWD http://dx.doi.org/10.1109/CSCWD.2008.4537107 conf/cscwd/2008 db/conf/cscwd/cscwd2008.html#WangLGZL08