Modeling and Analysis for the Process Formal Semantics of OWL-S Based on Extended CPN
Peng Liu · 2011
The process formal semantics of OWL-S is a key issue in the research on semantic Web service.This paper analyzed the current work and existing problem of research on OWL-S process formal semantics,and proposed an extended Colored Petri net,which is called Process Model net(PM_net),to model and analyze the process formal semantics of OWL-S.According to the characteristic of OWL-S process model,PM_net extended the transition and fire rule of basic CPN,so that,the atomic process,composite process and data flow of OWL-S process model can be mapped to PM_net equally.The method to check consistency of OWL-S process formal semantics based on PM_net was also introduced.The work of this paper provided reasonable theroy foundation for the evolution of OWL-S,semantic Web service composition and verification.