10.3969/j.issn.1001-3695.2018.09.056
SOA下服务演化的方法研究
在验证网构软件模型代数性质等价的理论基础上,为了进一步优化代数性质的性能,针对SOA下BPEL程序结构的自动演化方法进行了研究.通过网构软件分析BPEL结构的等价演化代数性质,提出一种BPEL等价自动演化算法.结合编译技术对BPEL结构进行分析,验证该算法的可靠性.运用形式化描述语言LOTOS,对演化前后的BPEL结构进行仿真验证与模型检测,验证该演化方法的可行性.
网构软件、面向服务的体系、自动演化
35
TP311(计算技术、计算机技术)
国家自然科学基金资助项目61370051
2018-12-05(万方平台首次上网日期,不代表论文的发表时间)
共5页
2802-2805,2810