检索规则说明:AND代表“并且”;OR代表“或者”;NOT代表“不包含”;(注意必须大写,运算符两边需空一格)
检 索 范 例 :范例一: (K=图书馆学 OR K=情报学) AND A=范并思 范例二:J=计算机应用与软件 AND (U=C++ OR U=Basic) NOT M=Visual
机构地区:[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[自动化与计算机技术—计算机软件与理论]
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在链接到云南高校图书馆文献保障联盟下载...
云南高校图书馆联盟文献共享服务平台 版权所有©
您的IP:216.73.216.249