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