基于程序依赖图的静态BPEL程序切片技术  

Static BPEL program slicing technique based on BPEL program dependence graphs

作　　者：王洪达[1] 邢建春[1] 宋巍[2] 杨启亮[1] 

机构地区：[1]解放军理工大学工程兵工程学院,南京210007 [2]南京理工大学计算机科学与技术学院,南京210094

出　　处：《计算机应用》2012年第8期2338-2341,共4页journal of Computer Applications

基　　金：国家自然科学基金资助项目(61003019;61073031);高等学校博士学科点专项科研基金资助项目(20113219120021)

摘　　要：传统程序切片技术在计算BPEL程序切片时会产生切片不完备问题,为此,提出一种基于程序依赖图的BPEL静态程序切片技术。该技术根据BPEL语言的特点,通过建立BPEL程序依赖图,计算BPEL程序切片。案例分析表明,该技术能够获得更加全面的程序切片,从而可以帮助软件工程人员更好地测试、调试和维护BPEL程序。The slices of BPEL obtained are not complete if traditional program slicing technique is used. Therefore, a static BPEL program slicing technique based on BPEL program dependence graphs was proposed. This technique computed slices based on BPEL program dependence graphs, which were created according to the characteristics of BPEL. The results of case analysis prove that the technique based on BPEL program dependence graphs can obtain more complete slices, and thus giving software engineers more help to test, debug and maintain BPEL programs.

关 键 词：WEB服务组合 BPEL程序依赖图 静态程序切片 异步调用依赖 

分 类 号：TP311.5[自动化与计算机技术—计算机软件与理论]