基于扩展CPN的OWL-S过程语义建模及分析方法研究

摘要：

OWL-S过程语义的建模与分析是语义Web服务相关领域需要重点研究的问题.分析了目前OWL-S过程语义研究中存在的问题,提出了一种扩展的着色Petri网PM_net(过程模型网,Process Model net)来对OWL-S的过程语义进行转化与分析.结合OWL-S过程模型元素的特点,PM_net对基本着色Petri网的变迁和触发规则进行了扩履,使OWL-S的原子过程、组合过程和数据流等核心元素能够等价映射到PM_net.同时说明了如何基于PM_net对OWL-S的过程语义一致性进行分析,为OWL-S本体演化、语义Web服务组合和验证提供了合理的理论基础.

关键词：过程语义、OWL-S、过程模型网、着色Petri网、本体演化、语义Web

所属期刊栏目：38

分类号：TP393(计算技术、计算机技术)

资助基金：国家863项目2007AA092202;国家高技术研究发展计划863计划2009AA12Z214;国家自然科学基金40801060

在线出版日期：2011-08-04（万方平台首次上网日期，不代表论文的发表时间）

页数：共6页

页码：203-208