文件名称：论文研究-SOA下服务演化的方法研究.pdf
文件大小：733KB
文件格式：PDF
更新时间：2022-08-11 11:38:57
网构软件,面向服务的体系,自动演化
在验证网构软件模型代数性质等价的理论基础上，为了进一步优化代数性质的性能，针对SOA下BPEL程序结构的自动演化方法进行了研究。通过网构软件分析BPEL结构的等价演化代数性质，提出一种BPEL等价自动演化算法。结合编译技术对BPEL结构进行分析，验证该算法的可靠性。运用形式化描述语言LOTOS，对演化前后的BPEL结构进行仿真验证与模型检测，验证该演化方法的可行性。