摘要:流程结构演化是实现服务流程重构的一种有效手段，可以充分利用已有流程资源快速定制满足新业务需求的服务流程.然而，当前服务演化研究多关注于流程局部组成服务以及接口参数的兼容替换，对于流程结构演化所提供的操作过于简单，难以应对复杂流程演化场景.针对上述问题，提出一种基于逻辑Petri网的服务流程结构演化形式化描述方法.利用逻辑Petri网将服务流程建模为服务网，在服务网的基础上，针对不同的演化需求构建相应的结构演化运算；引入结构范式概念评价服务流程的结构健壮性，并借助逻辑Petri网的结构性质来分析与验证所建立的演化运算对流程结构范式的级别保持问题.给出了基于流程结构演化的服务流程定制框架，并基于所提出结构演化运算设计开发了仿真验证平台，验证了方法的有效性.



Abstract: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.



PDF全文下载地址:

http://jos.org.cn/jos/article/pdf/5279