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

发布时间：2018-05-15 18:33

  本文选题：BPEL过程 + 数据流　； 参考：《计算机工程与设计》2017年12期

【摘要】：针对现有检测数据流反模式错误方法常采用枚举策略,存在路径爆炸和异常误报等问题,提出一种基于可满足性模理论(SMT)约束求解器的符号编码去检测所有可行路径中的数据流反模式错误的方法。进行符号编码,包括最常见的3种数据流反模式,根据SMT约束求解器进行数据流反模式错误的识别检测。使用工业界中真实的BPEL过程作为数据集进行实验,实验结果表明,所提方法能够高效无误地检测出BPEL过程中的数据流异常错误。
[Abstract]:Enumeration strategy is often used in existing anti-pattern error detection methods for data flow, and there are some problems such as path explosion and abnormal false positives. This paper presents a symbolic coding method based on satisfiability modulus theory (SMT) constraint solver to detect anti-pattern errors in data streams in all feasible paths. Symbolic coding is carried out, including the three most common data stream antipatterns, and the data stream anti-pattern error detection is performed according to the SMT constraint solver. The real BPEL process in industry is used as the data set. The experimental results show that the proposed method can detect the abnormal data flow errors in the BPEL process efficiently and unmistakably.
【作者单位】： 南京理工大学计算机科学与工程学院;
【基金】：国家自然科学基金项目(61202003;61572171)
【分类号】：TP311.1

【相似文献】

相关期刊论文 前10条

1 盛津芳;胡培培;王斌;;反模式检测研究综述[J];计算机应用研究;2013年12期

2 兰灵;黄罡;王玮琥;梅宏;;基于反模式的中间件应用系统性能优化[J];软件学报;2008年09期

3 潘丽;马如悦;刘士军;武蕾;;基于BPEL的网格工作流系统[J];华中科技大学学报(自然科学版);2007年S2期

4 魏子鹏;BPEL商业流程建模[J];科技情报开发与经济;2004年03期

5 黄小庆;周宇;吴含前;夏安邦;;基于BPEL的电厂竞价系统设计[J];电力系统自动化;2009年04期

6 邓式阳;;SOA服务设计原理研究[J];潍坊学院学报;2008年04期

7 韩兆刚;巩朋;张莉;吕方兴;;过程模型中控制流反模式的定义和检测方法[J];中国石油大学学报(自然科学版);2013年03期

8 冉崇善;张轼坤;高云鹏;;基于反模式的J2EE中间件重构模型[J];计算机工程与设计;2010年08期

9 张轼坤;冉崇善;;基于反模式的J2EE中间件优化模型[J];计算机工程;2010年10期

10 刘士喜;胡晓静;;BPEL到PNML文件转换框架的设计与实现[J];计算机应用与软件;2013年05期

相关硕士学位论文 前9条

1 何荣芳;SMT封装电路板缺陷三维在线检测技术[D];天津大学;2014年

2 尹哲;基于BPEL的移动支付处理系统构建[D];复旦大学;2010年

3 吉小伟;供应链全球化背景下SMT制造企业物料信息追溯系统的研究[D];天津大学;2012年

4 李新龙;软件性能反模式检测系统的研究与实现[D];中南大学;2014年

5 刘铁忠;SMT设备动态诊断维护策略的研究[D];上海交通大学;2009年

6 胡培培;基于组件的运行时系统的性能反模式检测研究[D];中南大学;2013年

7 郭蓉蓉;应用于移动支付的BPEL编译器的设计与实现[D];北京邮电大学;2010年

8 欧黎源;J2EE软件开发反模式的研究与应用[D];电子科技大学;2009年

9 曾志勇;基于局部搜索算法的#SMT问题求解[D];东北师范大学;2014年

，

本文编号：1893441