Consistence Verification of Semantic Web Service Process Based on Petri Net
Hui Wang · Jisuanji gongcheng · 2010
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.