| 一种BPEL流程数据竞争检测方法 |
| |
| 引用本文： | 杨光超,陈平,鲍亮. 一种BPEL流程数据竞争检测方法[J]. 计算机应用, 2008, 28(Z2) |
| |
| 作者姓名： | 杨光超 陈平 鲍亮 |
| |
| 作者单位： | 西安电子科技大学软件工程研究所,西安,710071 |
| |
| 基金项目： | "十一五"国防预研项目 |
| |
| 摘 要： | 对使用业务流程执行语言(BPEL)组织流程中存在的数据竞争问题进行了研究,根据BPEL特性提出了一个静态分析和动态监控相结合的有效检测方法.实验结果表明,该方法能够准确检测出流程中存在的数据竞争,提高了流程的可靠性.
|
| 关 键 词： | 业务流程执行语言 数据竞争 静态分析 动态监控 |
Data race detection approach for BPEL process |
| |
| YANG Guang-chao,CHEN Ping,BAO Liang. Data race detection approach for BPEL process[J]. Journal of Computer Applications, 2008, 28(Z2) |
| |
| Authors: | YANG Guang-chao CHEN Ping BAO Liang |
| |
| Affiliation: | YANG Guang-chao,CHEN Ping,BAO Liang(Software Engineering Institute,Xidian University,Xi'an Shaanxi 710071,China) |
| |
| Abstract: | As to the potential data race problem when composing business processes with Business Process Execution Language(BPEL),an efficient detection method was proposed according to the characteristics of BPEL,which combined static analysis and dynamic monitor techniques.Experimental results show that the proposed method can detect data race in business processes precisely,which also raises the reliability of business processes. |
| |
| Keywords: | Business Process Execution Language(BPEL) data race static analysis dynamic monitor |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
|
