%0 Journal Article
%T Modeling and Analysis for the Process Formal Semantics of OWL-S Based on Extended CPN<br>基于扩展CPN的OWL-S过程语义建模及分析方法研究
%A BAO Ai-hu
%A WANG Xiao-xuan
%A WEN Ai
%A DING Ke
%A LIU Peng
%A <br>鲍爱华
%A 王晓璇
%A 文艾
%A 丁科
%A 刘鹏
%J 计算机科学
%D 2011
%I 
%X The process formal semantics of OWI-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 modcl,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 ofOWL-S, semantic Web service composition and verification.
%K Process formal semantics
%K OWL-S
%K Process model net
%K Colored Petri net
%K Ontology evolution
%K Semantic Web<br>过程语义，OWL-S，过程模型网，着色Petri网，本体演化，语义Web
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=64A12D73428C8B8DBFB978D04DFEB3C1&aid=E074C13E0D962600949795F0C0292A21&yid=9377ED8094509821&vid=16D8618C6164A3ED&iid=E158A972A605785F&sid=38685BC770C663F2&eid=3D9746C06EC12B45&journal_id=1002-137X&journal_name=计算机科学&referenced_num=0&reference_num=11