| BPEL静态流程切片技术研究 |
| |
| 引用本文： | 鲍亮,宋胜利,陈胜,陈平,胡圣明,崔伟勇. BPEL静态流程切片技术研究[J]. 系统工程与电子技术, 2009, 31(1): 241-245 |
| |
| 作者姓名： | 鲍亮 宋胜利 陈胜 陈平 胡圣明 崔伟勇 |
| |
| 作者单位： | 西安电子科技大学软件工程研究所, 陕西, 西安, 710071 |
| |
| 摘 要： | 提出了业务流程切片的概念和对应的静态切片算法。流程切片是根据给定的活动和活动引用的变量(称为切片准则),分析出在整个流程中能够影响切片准则的流程片段。介绍了静态切片算法在给定切片准则的前提下,首先构造BPEL控制流图,在此基础上生成活动依赖图,并对活动依赖图进行分析,从而确定流程中影响切片准则的活动序列(流程片段)。其结果已经在流程分析、优化和并行化等方面起到了重要作用,效果较好。
|
| 关 键 词： | 流程切片 流程片段 静态切片算法 |
| 收稿时间： | 2007-07-17 |
| 修稿时间： | 2008-04-29 |
Research on static process slicing in BPEL |
| |
| BAO Liang,SONG Sheng-li,CHEN Sheng,CHEN Ping,HU Sheng-ming,CUI Wei-yong. Research on static process slicing in BPEL[J]. System Engineering and Electronics, 2009, 31(1): 241-245 |
| |
| Authors: | BAO Liang SONG Sheng-li CHEN Sheng CHEN Ping HU Sheng-ming CUI Wei-yong |
| |
| Affiliation: | Software Engineering Inst., Xidian Univ., Xi’an 710071, China |
| |
| Abstract: | The concept of process slicing in business process execution language(BPEL) and related static slicing algorithm are proposed.Given an activity and variables referenced by this activity(called slicing criterion),one can analyze and obtain the process segment which influences the slicing criterion during process slicing.Based on the slicing criterion,a BPEL control flow graph(BCFG) and related activity dependency graph(ADG) are constructed respectively,and then the sequence of activity(process segment) is identified through the analysis of the ADG.The result of such analysis has been proved valuable in process analysis,optimization and parallelization. |
| |
| Keywords: | BPEL |
| 本文献已被 万方数据 等数据库收录！ |
| 点击此处可从《系统工程与电子技术》浏览原始摘要信息 |
|
点击此处可从《系统工程与电子技术》下载全文 |
|
