公开(公告)号：CN104572445B

公开(公告)日：2017-10-27

申请号：CN201410787154.X

申请日：2014-12-17

Applicant: 南京大学

Inventor： 许蕾 ,  胡友来 ,  李言辉 ,  陈林 ,  徐宝文

IPC: G06F11/36 ,  G06F9/44

Abstract: 本发明为一种Web服务组合中BPEL流程数据竞争的检测方法：首先基于BPEL设计规则构造BPEL活动间的先后序关系集，并通过BPEL执行引擎插桩收集BEPL流程的执行轨迹；然后分析轨迹中对变量读写操作的活动是否满足先后序约束条件，从而判断是否存在数据竞争；最后再通过预测性分析方法检测隐藏的数据竞争，完成数据竞争的检测。本发明能有效降低数据竞争的误报率，召回率显著提升；并且能够提升检测效率，只需收集少量的运行轨迹，大大降低了人工成本。

公开(公告)号：CN104572445A

公开(公告)日：2015-04-29

申请号：CN201410787154.X

申请日：2014-12-17

Applicant: 南京大学

Inventor： 许蕾 ,  胡友来 ,  李言辉 ,  陈林 ,  徐宝文

IPC: G06F11/36 ,  G06F9/44

Abstract: 本发明为一种Web服务组合中BPEL流程数据竞争的检测方法：首先基于BPEL设计规则构造BPEL活动间的先后序关系集，并通过BPEL执行引擎插桩收集BEPL流程的执行轨迹；然后分析轨迹中对变量读写操作的活动是否满足先后序约束条件，从而判断是否存在数据竞争；最后再通过预测性分析方法检测隐藏的数据竞争，完成数据竞争的检测。本发明能有效降低数据竞争的误报率，召回率显著提升；并且能够提升检测效率，只需收集少量的运行轨迹，大大降低了人工成本。