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

文献类型: 中文期刊

第一作者: 鲍爱华

作者: 鲍爱华;王晓璇;文艾;丁科;刘鹏

作者机构:

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

期刊名称: 计算机科学

ISSN: 1002-137X

年卷期: 2011 年 38 卷 04 期

页码: 209-214

收录情况: 北大核心 ; CSCD

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

分类号: TP393.09

  • 相关文献

[1]一种面向语义Web的组合服务演化方法研究. 王晓璇,鲍爱华,缪嘉嘉,丁科,王真. 2011

[2]着色Petri网在科技计划项目管理系统建模中的应用. 张方田,王开义,隋静,孙桂川. 2009

[3]基于语义Web的农业生产协同决策服务机制研究. 孙想,吴华瑞,朱华吉,顾静秋. 2011

[4]Web应用中起源信息的定位和查询机制研究. 倪静,孟宪学. 2014

[5]PROV数据溯源模型及Web应用. 倪静,孟宪学. 2014

[6]面向语义Web的农业知识表示研究. 谢能付. 2006

作者其他论文 更多>>