Journal of Systems Engineering and Electronics ›› 2009, Vol. 31 ›› Issue (01): 241-245.

Previous Articles    

Research on static process slicing in BPEL

BAO Liang, SONG Sheng-li, CHEN Sheng, CHEN Ping, HU Sheng-ming, CUI Wei-yong   

  1. Software Engineering Inst., Xidian Univ., Xi’an 710071, China
  • Received:2007-07-17 Revised:2008-04-29 Online:2009-01-25 Published:2010-01-03

Abstract: The concept of process slicing in business process execution language(BPEL) and related static slicing algorithm are proposed.Given an activity and variables referenced by this activity(called slicing criterion),one can analyze and obtain the process segment which influences the slicing criterion during process slicing.Based on the slicing criterion,a BPEL control flow graph(BCFG) and related activity dependency graph(ADG) are constructed respectively,and then the sequence of activity(process segment) is identified through the analysis of the ADG.The result of such analysis has been proved valuable in process analysis,optimization and parallelization.

CLC Number: 

[an error occurred while processing this directive]