基于Petri网的语义Web服务流程一致性验证

• 作者: 冯志勇 徐超 王辉 胡佳
• 来源期刊: 计算机工程
• 学科: 工学
• 关键词: 语义Web服务 Web服务流程验证 业务流程建模 Petri网
• 年，卷（期）: 2010,（19）
• 页码范围: 27-30
• 分类号: TP311
• 字数: 3381字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-3428.2010.19.009

摘要

提出一种基于Petri 网的语义Web 服务流程一致性验证方法.该方法将语义Web 服务流程转换为Petri 网模型,通过分析Petri 网的可达标识图,得到所有可并行执行的服务对,根据领域本体和服务功能的语义描述判断2 个并行服务对之间是否存在冲突,并计算每个服务在执行前可能处于的状态,以判断服务的可执行性.通过一个实际案例验证了该方法的正确性和有效性.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	王辉	天津大学计算机科学与技术学院	80	590	15.0	20.0
2	冯志勇	天津大学计算机科学与技术学院	146	1072	17.0	24.0
3	徐超	天津大学计算机科学与技术学院	24	134	6.0	11.0
4	胡佳	天津大学计算机科学与技术学院	6	53	2.0	6.0