基于逻辑Petri网的服务流程结构演化研究
流程结构演化是实现服务流程重构的一种有效手段,可以充分利用已有流程资源快速定制满足新业务需求的服务流程.然而,当前服务演化研究多关注于流程局部组成服务以及接口参数的兼容替换,对于流程结构演化所提供的操作过于简单,难以应对复杂流程演化场景.针对上述问题,提出一种基于逻辑Petri网的服务流程结构演化形式化描述方法.利用逻辑Petri网将服务流程建模为服务网,在服务网的基础上,针对不同的演化需求构建相应的结构演化运算;引入结构范式概念评价服务流程的结构健壮性,并借助逻辑Petri网的结构性质来分析与验证所建立的演化运算对流程结构范式的级别保持问题.给出了基于流程结构演化的服务流程定制框架,并基于所提出结构演化运算设计开发了仿真验证平台,验证了方法的有效性.
Web服务、服务演化、结构范式、Petri网
29
TP311(计算技术、计算机技术)
国家自然科学基金61170078,61273180,61472228;山东省优秀中青年科学家科研奖励基金BS2015DX010,BS2015ZZ006;山东省重点研发项目2016GGX101031
2018-10-10(万方平台首次上网日期,不代表论文的发表时间)
共19页
2697-2715