基于SMT求解器的BPEL过程数据流错误检测

摘要：

针对现有检测数据流反模式错误方法常采用枚举策略,存在路径爆炸和异常误报等问题,提出一种基于可满足性模理论(SMT)约束求解器的符号编码去检测所有可行路径中的数据流反模式错误的方法.进行符号编码,包括最常见的3种数据流反模式,根据SMT约束求解器进行数据流反模式错误的识别检测.使用工业界中真实的BPEL过程作为数据集进行实验,实验结果表明,所提方法能够高效无误地检测出BPEL过程中的数据流异常错误.

关键词：BPEL过程、数据流、反模式、符号编码、SMT求解器

所属期刊栏目：38

分类号：TP311.5(计算技术、计算机技术)

资助基金：国家自然科学基金项目61202003、61572171

在线出版日期：2018-04-02（万方平台首次上网日期，不代表论文的发表时间）

页数：共5页

页码：3311-3315