文件名称：论文研究-一种BPEL结构演化算法研究.pdf
文件大小：1.05MB
文件格式：PDF
更新时间：2022-08-11 16:06:46
服务演化,并发,BPEL结构
针对BPEL并发同步引发的数据竞争、流程阻塞等问题，提出了一种BPEL结构演化算法。该算法的基本思想是利用BPEL基于XML编写的事实，使用XML 解析工具对BPEL的结构进行调整，达到规避失败的同步过程，删除冗余link结构的目的。利用自主开发的转换工具实现BPEL到形式化描述语言LOTOS的转换，通过对演化前后的BPEL流程作模型检测，来验证该演化方法的可行性。实验结果表明，BPEL结构演化算法能够有效缓解BPEL并发同步带来的数据竞争、流程阻塞问题。