一种BPEL结构演化算法研究

摘要：

针对BPEL并发同步引发的数据竞争、流程阻塞等问题,提出了一种BPEL结构演化算法.该算法的基本思想是利用BPEL基于XML编写的事实,使用XML解析工具对BPEL的结构进行调整,达到规避失败的同步过程,删除冗余link结构的目的.利用自主开发的转换工具实现BPEL到形式化描述语言LOTOS的转换,通过对演化前后的BPEL流程作模型检测,来验证该演化方法的可行性.实验结果表明,BPEL结构演化算法能够有效缓解BPEL并发同步带来的数据竞争、流程阻塞问题.

关键词：服务演化、并发、BPEL结构

所属期刊栏目：33

分类号：TP311;TP301.6(计算技术、计算机技术)

资助基金：国家自然科学基金资助项目61370051

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

页数：共5页

页码：2637-2640,2668