Yujian Fu Zhijiang Dong Xudong He Modeling, validating and automating composition of web services. 217-224 2006 conf/icwe/2006 ICWE http://doi.acm.org/10.1145/1145581.1145626 db/conf/icwe/icwe2006.html#FuDH06