| 基于程序依赖图的静态BPEL程序切片技术 |
| |
| 引用本文： | 王洪达,邢建春,宋巍,杨启亮.基于程序依赖图的静态BPEL程序切片技术[J].计算机应用,2012,32(8):2338-2341. |
| |
| 作者姓名： | 王洪达 邢建春 宋巍 杨启亮 |
| |
| 作者单位： | 1. 解放军理工大学 工程兵工程学院，南京 2100072. 南京理工大学 计算机科学与技术学院，南京 210094 |
| |
| 基金项目： | 国家自然科学基金资助项目，高等学校博士学科点专项科研基金资助项目 |
| |
| 摘 要： | 传统程序切片技术在计算BPEL程序切片时会产生切片不完备问题，为此，提出一种基于程序依赖图的BPEL静态程序切片技术。该技术根据BPEL语言的特点，通过建立BPEL程序依赖图，计算BPEL程序切片。案例分析表明，该技术能够获得更加全面的程序切片，从而可以帮助软件工程人员更好地测试、调试和维护BPEL程序。
|
| 关 键 词： | Web服务组合 BPEL程序依赖图 静态程序切片 异步调用依赖 |
| 收稿时间： | 2012-02-27 |
| 修稿时间： | 2012-03-22 |
Static BPEL program slicing technique based on BPEL program dependence graphs |
| |
| WANG Hong-da
,
XING Jian-chun
,
SONG Wei
,
YANG Qi-liang.Static BPEL program slicing technique based on BPEL program dependence graphs[J].journal of Computer Applications,2012,32(8):2338-2341. |
| |
| Authors: | WANG Hong-da XING Jian-chun SONG Wei YANG Qi-liang |
| |
| Affiliation: | 1. Engineering Institute of Engineer Corps, PLA University of Science and Technology, Nanjing Jiangsu 210007, China2. School of Computer Science and Technology, Nanjing University of Science and Technology, Nanjing Jiangsu 210094, China |
| |
| Abstract: | 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. |
| |
| Keywords: | Web service composition BPEL program dependence graph static program slicing asyn-invocation dependence |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
| 点击此处可从《计算机应用》浏览原始摘要信息 |
|
点击此处可从《计算机应用》下载全文 |
