原文服务方: 计算机应用研究       
摘要:
提出了一个基于描述逻辑规则的自动服务交互的模型框架,将服务抽象成基于消息的服务模型.该服务模型将在服务之间传递的面向对象的服务消息作为服务交互的主要手段,使用描述逻辑的概念对服务之间传递的消息数据进行语义分析,在服务内部数据模式与描述逻辑知识库间建立对应关系.在交互规则方面,使用基于描述逻辑和Horn子句进行描述;在描述逻辑的Tableau算法的支持下,对知识库概念和规则进行有效性、一致性和可满足性的验证,实现数据异构模式下服务间基于语义的自动交互.
推荐文章
一种利用描述逻辑的语义Web服务前提/效果匹配方法
语义Web服务
前提/效果
服务匹配
服务的业务级描述及其语义标注方法
业务级的服务描述
领域业务应用本体
业务级的语义标注
基于扩展投影时序逻辑的组合Web服务描述与验证
组合Web服务
投影时序逻辑
形式化验证
基于本体描述的语义服务发现改进算法
语义发现
网络服务
改进算法
服务发现机制
内容分析
关键词云
关键词热度
相关文献总数  
(/次)
(/年)
文献信息
篇名 描述逻辑在基于语义的服务消息交互中的应用
来源期刊 计算机应用研究 学科
关键词 描述逻辑 服务交互 语义服务 数据集成
年,卷(期) 2009,(1) 所属期刊栏目 网络与通信技术
研究方向 页码范围 289-293,298
页数 6页 分类号 TP391
字数 语种 中文
DOI 10.3969/j.issn.1001-3695.2009.01.090
五维指标
作者信息
序号 姓名 单位 发文数 被引次数 H指数 G指数
1 王申康 浙江大学计算机学院 48 775 15.0 26.0
2 王玥 浙江大学计算机学院 29 245 8.0 15.0
3 马勤勇 浙江大学计算机学院 2 32 2.0 2.0
4 邱剑锋 浙江大学计算机学院 3 32 2.0 3.0
5 徐海长 浙江大学计算机学院 1 3 1.0 1.0
传播情况
(/次)
(/年)
引文网络
引文网络
二级参考文献  (0)
共引文献  (0)
参考文献  (3)
节点文献
引证文献  (3)
同被引文献  (0)
二级引证文献  (0)
1991(1)
  • 参考文献(1)
  • 二级参考文献(0)
1995(1)
  • 参考文献(1)
  • 二级参考文献(0)
1996(1)
  • 参考文献(1)
  • 二级参考文献(0)
2009(0)
  • 参考文献(0)
  • 二级参考文献(0)
  • 引证文献(0)
  • 二级引证文献(0)
2010(2)
  • 引证文献(2)
  • 二级引证文献(0)
2011(1)
  • 引证文献(1)
  • 二级引证文献(0)
研究主题发展历程
节点文献
描述逻辑
服务交互
语义服务
数据集成
研究起点
研究来源
研究分支
研究去脉
引文网络交叉学科
相关学者/机构
期刊影响力
计算机应用研究
月刊
1001-3695
51-1196/TP
大16开
1984-01-01
chi
出版文献量(篇)
21004
总下载数(次)
0
总被引数(次)
238385
论文1v1指导