SOA下服务演化的方法研究

摘要：

在验证网构软件模型代数性质等价的理论基础上,为了进一步优化代数性质的性能,针对SOA下BPEL程序结构的自动演化方法进行了研究.通过网构软件分析BPEL结构的等价演化代数性质,提出一种BPEL等价自动演化算法.结合编译技术对BPEL结构进行分析,验证该算法的可靠性.运用形式化描述语言LOTOS,对演化前后的BPEL结构进行仿真验证与模型检测,验证该演化方法的可行性.

关键词：网构软件、面向服务的体系、自动演化

所属期刊栏目：35

分类号：TP311(计算技术、计算机技术)

资助基金：国家自然科学基金资助项目61370051

在线出版日期：2018-12-05（万方平台首次上网日期，不代表论文的发表时间）

页数：共5页

页码：2802-2805,2810