Petri-Net Based Verification and Analysis of OWL-S Process Model
Xun William Xu · Computer Knowledge and Technology · 2008
Wildly used Web Services interaction specification—OWL-S,is not a completely formal description language,which can not verify composition of Web Services.However,Petri-Net is a kind of system model,which especially suitable for describing concurrent system.So modeling the Web Services interaction protocol with Petri-Net and converting OWL-S process information to Petri-Net de-scription,is potential approach of verifying safeness and liveness.Additional,by analyzing and optimizing Petri-Net model,it is possible to optimize the process model of OWL-S and make it more reasonable.