基于逻辑Petri网的服务流程结构演化研究  

Study on Structure Evolution for Service Processes Base on Logic Petri Net

作　　者：胡强[1] 任志考[1] 赵振[1] 杜军威[1] 杜玉越 HU Qiang;REN Zhi-Kao;ZHAO Zhen;DU Jun-Wei;DU Yu-Yue(School of Information Science and Technology,Qingdao University of Science and Technology,Qingdao 266061,China;School of Computer Science and Engineering,Shandong University of Science and Technology,Qingdao 266590,China)

机构地区：[1]青岛科技大学信息科学技术学院,山东青岛266061 [2]山东科技大学计算机科学与工程学院,山东青岛266590

出　　处：《软件学报》2018年第9期2697-2715,共19页Journal of Software

基　　金：国家自然科学基金(61170078;61273180;61472228);山东省优秀中青年科学家科研奖励基金(BS2015DX010;BS2015ZZ006);山东省重点研发项目(2016GGX101031)~~

摘　　要：流程结构演化是实现服务流程重构的一种有效手段,可以充分利用已有流程资源快速定制满足新业务需求的服务流程.然而,当前服务演化研究多关注于流程局部组成服务以及接口参数的兼容替换,对于流程结构演化所提供的操作过于简单,难以应对复杂流程演化场景.针对上述问题,提出一种基于逻辑Petri网的服务流程结构演化形式化描述方法.利用逻辑Petri网将服务流程建模为服务网,在服务网的基础上,针对不同的演化需求构建相应的结构演化运算;引入结构范式概念评价服务流程的结构健壮性,并借助逻辑Petri网的结构性质来分析与验证所建立的演化运算对流程结构范式的级别保持问题.给出了基于流程结构演化的服务流程定制框架,并基于所提出结构演化运算设计开发了仿真验证平台,验证了方法的有效性.Structure evolution is an efficient way for service processes to perform process reconstruction. It can make good use of the existing service processes to build a new value-added service process. However,the traditional research methods of service evolution focus more on compatible substitution of the partial component services or interface parameters in the service processes. Meanwhile,the operations of structure evolution are too simple in the existing theoretical methods and fail to cope with the complex evolutionary requirements. To solve these problems,a formal method is proposed to achieve structure evolution for service processes based on logic Petri net in this paper. The service process is modeled as a service net based on logic Petri net. Several structure evolution operations are defined to deal with different evolutionary requirements. Structure normal form is introduced to evaluate the soundness of service processes. Property preservation based on the soundness of service process is also investigated by using the structure analysis and validation methods of Petri net. Finally,a framework for customization of service processes based on structure evolution is proposed and the simulation platform where evolution operations can be performed is also designed to illustrate the effectiveness of the proposed method.

关 键 词：WEB服务 服务演化 结构范式 PETRI网 

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