计算机应用 ›› 2012, Vol. 32 ›› Issue (08): 2338-2341.DOI: 10.3724/SP.J.1087.2012.02338

• 典型应用 • 上一篇    下一篇

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

王洪达1,邢建春1,宋巍2,杨启亮1   

  1. 1. 解放军理工大学 工程兵工程学院,南京 210007
    2. 南京理工大学 计算机科学与技术学院,南京 210094
  • 收稿日期:2012-02-27 修回日期:2012-03-22 发布日期:2012-08-28 出版日期:2012-08-01
  • 通讯作者: 王洪达
  • 作者简介:王洪达(1987-),男,河北沧州人,硕士,CCF会员,主要研究方向:服务计算、软件测试;
    邢建春(1964-),男,河北石家庄人,教授,博士生导师,博士,CCF高级会员,主要研究方向:计算机测量控制;
    宋巍(1981-),男,山东日照人,讲师,博士,CCF会员,主要研究方向:软件工程与方法学、程序分析、服务计算;
    杨启亮(1975-),男,河南信阳人,讲师,硕士,CCF会员,主要研究方向:计算机软件与理论、分布式控制系统。
  • 基金资助:
    国家自然科学基金资助项目(61003019,61073031);高等学校博士学科点专项科研基金资助项目(20113219120021)

Static BPEL program slicing technique based on BPEL program dependence graphs

WANG Hong-da1,XING Jian-chun1,SONG Wei2,YANG Qi-liang1   

  1. 1. Engineering Institute of Engineer Corps, PLA University of Science and Technology, Nanjing Jiangsu 210007, China
    2. School of Computer Science and Technology, Nanjing University of Science and Technology, Nanjing Jiangsu 210094, China
  • Received:2012-02-27 Revised:2012-03-22 Online:2012-08-28 Published:2012-08-01
  • Contact: WANG Hong-da

摘要: 传统程序切片技术在计算BPEL程序切片时会产生切片不完备问题,为此,提出一种基于程序依赖图的BPEL静态程序切片技术。该技术根据BPEL语言的特点,通过建立BPEL程序依赖图,计算BPEL程序切片。案例分析表明,该技术能够获得更加全面的程序切片,从而可以帮助软件工程人员更好地测试、调试和维护BPEL程序。

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

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.

Key words: Web service composition, BPEL program dependence graph, Static program slicing, Asyn-invocation dependence

中图分类号: