%0 Journal Article
%T 基于扩展cpn的owl-s过程语义建模及分析方法研究
%A 鲍爱华
%A 王晓璇
%A 文艾
%A 丁科
%A 刘鹏？
%J 计算机科学
%D 2011
%X owl-s过程语义的建模与分析是语义web服务相关领域需要重点研究的问题。分析了目前owl-s过程语义研究中存在的问题，提出了一种扩展的着色petri网pm_net(过程模型网，processmodelnet)来对owl-s的过程语义进行转化与分析。结合owl-s过程模型元素的特点，pm_nct对基本着色pctri网的变迁和触发规则进行了扩展，使owl-s的原子过程、组合过程和数据流等核心元素能够等价映射到pmnet。同时说明了如何基于pm_net对owl-s的过程语义一致性进行分析，为owl-s本体演化、语义web服务组合和验证提供了合理的理论基础。
%K 过程语义
%K owl-s
%K 过程模型网
%K 着色petri网
%K 本体演化
%K 语义web
%U http://www.jsjkx.com/jsjkx/ch/reader/view_abstract.aspx?file_no=110444&flag=1