一种BPEL流程数据竞争检测方法  被引量:1

Data race detection approach for BPEL process

在线阅读下载全文

作  者:杨光超[1] 陈平[1] 鲍亮[1] 

机构地区:[1]西安电子科技大学软件工程研究所,西安710071

出  处:《计算机应用》2008年第S2期129-131,共3页journal of Computer Applications

基  金:"十一五"国防预研项目(513060601)

摘  要:对使用业务流程执行语言(BPEL)组织流程中存在的数据竞争问题进行了研究,根据BPEL特性提出了一个静态分析和动态监控相结合的有效检测方法。实验结果表明,该方法能够准确检测出流程中存在的数据竞争,提高了流程的可靠性。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.

关 键 词:业务流程执行语言 数据竞争 静态分析 动态监控 

分 类 号:TP311.11[自动化与计算机技术—计算机软件与理论]

 

参考文献:

正在载入数据...

 

二级参考文献:

正在载入数据...

 

耦合文献:

正在载入数据...

 

引证文献:

正在载入数据...

 

二级引证文献:

正在载入数据...

 

同被引文献:

正在载入数据...

 

相关期刊文献:

正在载入数据...

相关的主题
相关的作者对象
相关的机构对象