基于程序依赖图的静态BPEL程序切片技术 |
| |
作者姓名: | 王洪达 邢建春 宋巍 杨启亮 |
| |
作者单位: | 1. 解放军理工大学 工程兵工程学院,南京 2100072. 南京理工大学 计算机科学与技术学院,南京 210094 |
| |
基金项目: | 国家自然科学基金资助项目,高等学校博士学科点专项科研基金资助项目 |
| |
摘 要: | 传统程序切片技术在计算BPEL程序切片时会产生切片不完备问题,为此,提出一种基于程序依赖图的BPEL静态程序切片技术。该技术根据BPEL语言的特点,通过建立BPEL程序依赖图,计算BPEL程序切片。案例分析表明,该技术能够获得更加全面的程序切片,从而可以帮助软件工程人员更好地测试、调试和维护BPEL程序。
|
关 键 词: | Web服务组合 BPEL程序依赖图 静态程序切片 异步调用依赖 |
收稿时间: | 2012-02-27 |
修稿时间: | 2012-03-22 |
本文献已被 CNKI 万方数据 等数据库收录! |
| 点击此处可从《计算机应用》浏览原始摘要信息 |
|
点击此处可从《计算机应用》下载全文 |
|