作者投稿和查稿 主编审稿 专家审稿 编委审稿 远程编辑

计算机工程 ›› 2010, Vol. 36 ›› Issue (19): 27-30. doi: 10.3969/j.issn.1000-3428.2010.19.009

• 博士论文 • 上一篇    下一篇

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

胡 佳,冯志勇,徐 超,王 辉   

  1. (天津大学计算机科学与技术学院,天津 300072)
  • 出版日期:2010-10-05 发布日期:2010-09-27
  • 作者简介:胡 佳(1981-),男,博士研究生,主研方向:智能规划,服务计算,企业应用集成;冯志勇,教授、博士生导师;徐 超、王 辉,博士研究生
  • 基金资助:
    国家“863”计划基金资助项目(2007AA01Z130);天津市应用基础研究基金资助重点项目(08JCZDJC19800)

Consistence Verification of Semantic Web Service Process Based on Petri Net

HU Jia, FENG Zhi-yong, XU Chao, WANG Hui   

  1. (College of Computer Science and Technology, Tianjin University, Tianjin 300072, China)
  • Online:2010-10-05 Published:2010-09-27

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

关键词: 语义Web服务, Web服务流程验证, 业务流程建模, Petri网

Abstract: This paper proposes a consistence verification approach of semantic Web Service process based on Petri net. It converts the Web Service process into Petri net model, obtains the parallelizable service pairs by analyzing reach ability graph of the Petri net model, and determines whether the conflicts exist between any two parallelizable services according to domain ontology and the semantic functionality of both services. It computes the possible states before the execution of each service, on the basis of which it decides the enforceability of each service. Correctness and validity of the approach is verified through a practical case.

Key words: semantic Web Service, Web Service process verification, business process modeling, Petri net

中图分类号: