论文研究SOA下服务演化的方法研究.pdf

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