Min Zhang Ling Shi Longfei Zhu Yifei Wang Libo Feng Geguang Pu A Bigraphical Model of WSBPEL. 117-120 2008 TASE http://doi.ieeecomputersociety.org/10.1109/TASE.2008.47 conf/tase/2008 db/conf/tase/tase2008.html#ZhangSZWFP08