SOA下服务演化的方法研究

• 作者: 孙晶 王欣悦
• 来源期刊: 计算机应用研究
• 关键词: 网构软件 面向服务的体系 自动演化
• 年，卷（期）: 2018,（9）
• 所属期刊栏目: 软件技术研究
• 页码范围: 2802-2805,2810
• 页数: 5页
• 分类号: TP311
• 语种: 中文
• DOI: 10.3969/j.issn.1001-3695.2018.09.056

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	孙晶	北方工业大学计算机学院	54	408	9.0	19.0
2	王欣悦	北方工业大学计算机学院	1	4	1.0	1.0