Author(s): YANG Guang-chao, CHEN Ping, BAO Liang
Pages: 129-131
Year: 2008 Issue:  z2
Journal: Journal of Computer Applications
Keyword:  业务流程执行语言; 数据竞争; 静态分析; 动态监控;
Abstract: 对使用业务流程执行语言(BPEL)组织流程中存在的数据竞争问题进行了研究,根据BPEL特性提出了一个静态分析和动态监控相结合的有效检测方法.实验结果表明,该方法能够准确检测出流程中存在的数据竞争,提高了流程的可靠性.