首页 | 本学科首页   官方微博 | 高级检索  
     

基于程序依赖图的静态BPEL程序切片技术
作者姓名:王洪达  邢建春  宋巍  杨启亮
作者单位:1. 解放军理工大学 工程兵工程学院,南京 2100072. 南京理工大学 计算机科学与技术学院,南京 210094
基金项目:国家自然科学基金资助项目,高等学校博士学科点专项科研基金资助项目
摘    要:传统程序切片技术在计算BPEL程序切片时会产生切片不完备问题,为此,提出一种基于程序依赖图的BPEL静态程序切片技术。该技术根据BPEL语言的特点,通过建立BPEL程序依赖图,计算BPEL程序切片。案例分析表明,该技术能够获得更加全面的程序切片,从而可以帮助软件工程人员更好地测试、调试和维护BPEL程序。

关 键 词:Web服务组合  BPEL程序依赖图  静态程序切片  异步调用依赖  
收稿时间:2012-02-27
修稿时间:2012-03-22
本文献已被 CNKI 万方数据 等数据库收录!
点击此处可从《计算机应用》浏览原始摘要信息
点击此处可从《计算机应用》下载全文
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号