Liang Bao Sheng Chen Xiyang Liu Shengming Hu Ping Chen Towards a Reversible BPEL Debugger. 832-833 2008 ICWS http://dx.doi.org/10.1109/ICWS.2008.48 conf/icws/2008 db/conf/icws/icws2008.html#BaoCLHC08