一种BPEL结构演化算法研究OA北大核心CSCDCSTPCD
Study of algorithm on evolution for BPEL structure
针对BPEL并发同步引发的数据竞争、流程阻塞等问题,提出了一种BPEL结构演化算法.该算法的基本思想是利用BPEL基于XML编写的事实,使用XML解析工具对BPEL的结构进行调整,达到规避失败的同步过程,删除冗余link结构的目的.利用自主开发的转换工具实现BPEL到形式化描述语言LOTOS的转换,通过对演化前后的BPEL流程作模型检测,来验证该演化方法的可行性.实验结果表明,BPEL结构演化算法能够有效缓解BPEL并发同步带来的数据竞争、流程阻塞问题.
孙晶;李东方
北方工业大学计算机学院,北京100144北方工业大学计算机学院,北京100144
信息技术与安全科学
服务演化并发BPEL结构
service evolutionconcurrentBPEL structure
《计算机应用研究》 2016 (9)
基于网构代数模型的网构软件体系结构可靠演化方法和技术研究
2637-2640,2668,5
国家自然科学基金资助项目(61370051)
评论