Web服务流程的结构范式及其判定算法

• 作者: 杜军威 杜玉越 胡强
• 来源期刊: 计算机学报
• 学科: 工学
• 关键词: Web服务 结构范式 逻辑Petri网 服务网 健壮性
• 年，卷（期）: 2015,（1）
• 所属期刊栏目: 云服务
• 页码范围: 178-190
• 页数: 13页
• 分类号: TP311
• 字数: 13130字
• 语种: 中文
• DOI: 10.3724/SP.J.1016.2015.00178

摘要

服务组合是一种利用已有Web服务构建新的增值服务的有效方法,然而当前缺乏对组合产生的服务流程进行结构健壮性层次划分和判定的准则.针对上述问题,提出Web服务流程结构范式,从路径的可达性和结构冗余性两个角度将结构范式划分为四个层次.基于逻辑Petri网建模服务流程为服务网,将服务流程结构范式的判定转化为对服务网组成结构的分析.在服务网的基础上构建控制流网,从而将服务流程中的控制流和数据流进行分离.定义了控制流网语言,并提出一种通过约简求解控制流网语言的方法.通过对控制流网语言中字符序列组成结构特征的分析,获取服务网的结构性质,完成对服务流程结构范式层次的判定.给出了服务流程结构范式的定义、判定定理以及算法,并通过实例验证了文中方法对流程结构范式进行判定的可行性和有效性.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	胡强	青岛科技大学信息科学技术学院	21	77	5.0	8.0
2	杜军威	青岛科技大学信息科学技术学院	50	341	9.0	17.0
3	杜玉越	山东科技大学信息科学与工程学院	51	313	9.0	15.0