SOA下服务演化的方法研究  

Evolution of SOA service method research

作　　者：孙晶 王欣悦 Sun Jing;Wang Xinyue(College of Computer Science,North China University of Technology,Beijing 100144,China)

机构地区：[1]北方工业大学计算机学院,北京100144

出　　处：《计算机应用研究》2018年第9期2802-2805,2810,共5页Application Research of Computers

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

摘　　要：在验证网构软件模型代数性质等价的理论基础上,为了进一步优化代数性质的性能,针对SOA下BPEL程序结构的自动演化方法进行了研究。通过网构软件分析BPEL结构的等价演化代数性质,提出一种BPEL等价自动演化算法。结合编译技术对BPEL结构进行分析,验证该算法的可靠性。运用形式化描述语言LOTOS,对演化前后的BPEL结构进行仿真验证与模型检测,验证该演化方法的可行性。Verified the theory based on the algebraic properties equivalence of network structure software model,in order to further optimize the performance of the algebraic properties,this paper studied SOA of BPEL program structure of the automa-tic evolution method.By means of equivalent evolution of reticulated structure analyzed BPEL algebraic properties,it put forward a BPEL equivalent automatic evolution algorithm.Combined with the compilation technology,it analyzed the structure of the BPEL and validated the reliability of the algorithm.The formal description language LOTOS verifies the feasibility of the evolution method of the BPEL structure before and after the evolution simulation and model test.

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

分 类 号：TP311[自动化与计算机技术—计算机软件与理论]