Yi Qian Yuming Xu Zheng Wang Geguang Pu Huibiao Zhu Chao Cai Tool Support for BPEL Verification in ActiveBPEL Engine. 90-100 2007 ASWEC http://doi.ieeecomputersociety.org/10.1109/ASWEC.2007.50 conf/aswec/2007 db/conf/aswec/aswec2007.html#QianXWPZC07