首页> 中文会议>第四届全国逻辑系统、智能科学与信息科学学术会议 >OWL-S服务的Petri网自动建模方法研究

OWL-S服务的Petri网自动建模方法研究

页面导航

摘要
著录项
相似文献
相关主题

摘要

对语义Web服务的操作语义进行恰当的形式化描述和有效建模是语义Web服务得到实际应用必须解决的基础问题,尤其是机器如何自动得到语义Web服务的逻辑模型.该文在对语义Web服务操作语义的Petri网描述方法的基础上,通过对原子语义Web服务的OWL -S进程描述进行解析,得到语义Web服务原子进程动态执行相应的Petri网关联矩阵,进一步通过Petri网的自动共享合成操作,得到语义Web服务操作语义的Petri网描述,解决了语义Web服务自动建模的问题,为语义Web服务的动态组合提供了有效的技术依据.

著录项

来源
《第四届全国逻辑系统、智能科学与信息科学学术会议》|2008年|70-76|共7页
会议地点贵州
作者
Wang Sujuan; 王夙娟; Ma Bingxian; 马炳先; Qu Shouning; 曲守宁;
展开▼
作者单位

贵州省科协;

贵州省社会科学界联合会;

贵州制约逻辑学会;

展开▼
会议组织
正文语种
原文格式 PDF
中图分类 TP393.09;
关键词
Web服务; 操作语义; 逻辑模型; 自动建模;

相似文献

中文文献
外文文献
专利

1. OWL-S服务操作语义的Petri网描述新方法 [J] . 马炳先 ,杜玉越 . 系统仿真学报 . 2007,第A01期
2. 一种基于OWL-S领域本体的Web服务语义标注方法研究 [J] . 李建新 ,柯钢 ,杨怀德 . 现代计算机（专业版） . 2013,第003期
3. 基于OWL-S的Web服务测试用例自动生成方法研究 [J] . 苏士瀚 ,韩柯 . 电脑知识与技术 . 2012,第010期
4. 基于OWL-S的Web服务测试用例自动生成方法研究 [J] . 苏士瀚 ,韩柯 . 电脑知识与技术：学术交流 . 2012,第004期
5. 扩展OWL-S的Web服务质量属性描述方法研究 [J] . 贾晖 . 现代电子技术 . 2007,第016期
6. OWL-S服务操作语义的Petri网描述新方法 [C] . 马炳先 ,杜玉越 . 第十一届全国Petri网理论与应用学术年会 . 2007
7. 基于OWl-S提高语义精确度的Web服务匹配方法研究 [A] . 臧芳 . 2015

OWL-S服务的Petri网自动建模方法研究

摘要

著录项

相似文献

相关主题

期刊订阅