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