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

来源：软件学报杂志2018年第9期北京时间：

作者：胡强,任志考,赵振,杜军威,杜玉越

单位：胡强，青岛科技大学 信息科学技术学院, 山东 青岛 26606111,任志考，青岛科技大学 信息科学技术学院, 山东 青岛 26606102,赵振，青岛科技大学 信息科学技术学院, 山东 青岛 26606103,杜军威，青岛科技大学 信息科学技术学院, 山东 青岛 26606104,杜玉越，山东科技大学 计算机科学与工程学院, 山东 青岛 26659005

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

关键词：Web服务;服务演化;结构范式;Petri网

基金资助：国家自然科学基金（61170078，61273180，61472228）；山东省优秀中青年科学家科研奖励基金（BS2015DX010，BS2015ZZ006）；山东省重点研发项目（2016GGX101031）