摘要
针对BPEL并发同步引发的数据竞争、流程阻塞等问题,提出了一种BPEL结构演化算法。该算法的基本思想是利用BPEL基于XML编写的事实,使用XML解析工具对BPEL的结构进行调整,达到规避失败的同步过程,删除冗余link结构的目的。利用自主开发的转换工具实现BPEL到形式化描述语言LOTOS的转换,通过对演化前后的BPEL流程作模型检测,来验证该演化方法的可行性。实验结果表明,BPEL结构演化算法能够有效缓解BPEL并发同步带来的数据竞争、流程阻塞问题。
For the problems of the BPEL process blockage and data competition caused by concurrent and synchronization, the thesis proposed an algorithm about BPEL structure evolution. The basic idea of this algorithm was intended to adjust BPEL structure via XML parsing tools to avoid the synchronization failure and deleted the redundant link structure, based on the fact that BPEL is coded with XML language. Then using self-developed conversion tool to implement the transformation from the BPEL to the formal description language LOTOS, verifying the feasibility of the algorithm by conducting the model checking onthe BPEL. Experimental results show that this algorithm can relieve the problems of the BPEL process blockage and the data competition caused by concurrent and synchronization.
作者
孙晶
李东方
Sun Jing;Li Dongfang(College of Computer Science, North China University of Technology, Beijing 100144 , China)
出处
《计算机应用研究》
CSCD
北大核心
2016年第9期2637-2640,2668,共5页
Application Research of Computers
基金
国家自然科学基金资助项目(61370051)
关键词
服务演化
并发
BPEL结构
service evolution
concurrent
BPEL structure
