Static inter-BPEL program slicing for web services
Static inter-BPEL program slicing for web services
复制标题
DOI：
10.1504/ijspm.2012.049152
复制
发表时间：
2012-09
期刊：
影响因子：
--
通讯作者：
Chengying Mao
中科院分区：
文献类型：
--
作者：
Chengying Mao
Web服务程序的分析和维护对于保证Web服务软件的质量起着至关重要的作用。本文提出了服务间控制流图的概念来表示服务单元之间的交互行为。同时，将传统的数据流分析方法扩展到可重用程序中变量的组合结构分析。然后，根据上述控制和数据依赖表示，提出了一种构建BPEL程序依赖图（BPDG）的方法。最后，提出了一种面向Web服务组合的静态跨平台程序切片算法，并通过一个实际的Web服务应用进行了验证。
Analysis and maintenance of BPEL programs play a vital role in assuring the quality of Web service software. In the paper, the concept of inter-service control flow graph (ISCFG) is proposed to represent the interaction behaviours between service units. Meanwhile, the traditional data flow analysis is extended to handle combinatorial structure of variables in BPEL program. Then, a method for constructing BPEL program dependence graph (BPDG) is addressed according to the above control and data dependence representations. Finally, a static inter-BPEL program slicing algorithm for Web service compositions is proposed, and has been validated via a real-world Web service application.