基于扩展cpn的owl-s过程语义建模及分析方法研究

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服务组合和验证提供了合理的理论基础。