Modeling WS-BPEL Process under the Dead-Path-Elimination
XU Chunxiang,QU Wanling,WANG Hanpin,ZHU Meixia
Acta Scientiarum Naturalium Universitatis Pekinensis . 2010, (2): 162 -170 .