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

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

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

CLC Number: 

• TP311