精细化的BPEL程序数据竞争动态检测方法

来源：计算机集成制造系统杂志2022年第10期北京时间：

作者：鲁伟娜, 鲁法明, 包云霞, 曾庆田, 段华

单位：1.山东科技大学计算机科学与工程学院2.山东科技大学数学与系统科学学院

摘要：鉴于传统的数据竞争动态检测方法对因果关系的建模不够准确,且将互斥关系处理为因果约束,导致多种误报或漏报,对业务流程执行语言(BPEL)活动间的因果关系进行精细划分,提出一种基于新型逻辑时钟的因果关系精细化识别方法,并联合向量时钟和全局互斥锁对BPEL程序中活动间的互斥关系进行准确处理,由此提出一种更为精细的BPEL程序数据竞争动态检测和预测方法,该方法在一定程度上既能保证较低的数据竞争误报率,又能降低数据竞争的漏报率,但会牺牲更多空间和时间。最后通过BPEL流程实例验证了所提方法的优越性。

关键词：数据竞争,并发缺陷,Web服务组合,业务过程管理,逻辑时钟

基金资助：国家自然科学基金资助项目(61602279);山东省泰山学者工程专项基金资助项目(ts20190936);山东省高等学校青创科技支持计划资助项目(2019KJN024);国家海洋局海洋遥测工程技术研究中心开放基金资助项目(2018002);山东科技大学领军人才与优秀科研创新团队资助项目(2015TDJH102)。