Yanping Yang QingPing Tan Yong Xiao Model Transformation Based Verification of Web Services Composition. 71-76 2005 conf/gcc/2005 GCC http://dx.doi.org/10.1007/11590354_8 db/conf/gcc/gcc2005.html#YangTX05