基于本体的服务模型及方法研究

基于本体的服务模型及方法研究

论文摘要

服务计算(Service Computing)是标识分布式系统和软件集成领域技术进步的里程碑。服务作为一种自治、开放的以及平台无关的网络化构件,可使分布式应用具有更好的复用性、灵活性和可增长性。服务的发现是服务计算的重要内容,它在服务操作过程中具有举足轻重的作用。如果不能进行有效的服务发现,就不能为用户提供有效的服务。UDDI(Universal Description Discovery Integration)作为一个公共的服务注册中心,为服务的发布与发现提供了一种高效、灵活、可扩展的机制。有效的服务发现,应该是能够根据语义进行,这样用户才能获取满意的服务,使之成为服务发现与选择的目标。当用户面临多个服务可以选择的时候,究竟应该选择哪些服务,或者是怎样确定服务执行的先后次序以及对服务进行合理的调度等,对于用户获取满意的服务,对于整个系统获得满意的服务也尤为关键。本体(Ontology)是在当前知识描述与表示方法的基础上,继承并发展而来的知识表示和信息共享的重要工具,它广泛用在知识处理领域,把本体用在服务的发现和选择领域,以实现根据语义进行服务的发现与选择,具有重要的作用和意义。本文在研究过程中,从认知心理的角度来考虑并改进相关研究,研究了基于语义元的相似度计算方法SMBSU(Similarity Measure Based On Semantic Units)和基于本体的服务发现与获取模型SMBO(Service Model Based On Ontology),并着重研究了该模型基础上的协作和协商,以及基于市场机制与语义相结合的服务调度方法。论文的主要研究工作和创新点包括以下几个方面:(1)较为深入地研究了相似度计算方法,并在此基础上作了适当改进,得到了基于语义元的概念、关系和本体的相似度计算方法SMBSU。本体的相似性度量是根据语义进行服务发现与选择的基础。针对已有相似性度量方法的局限与不足,对属性进行语义扩展,在认知心理学相似度计算Tversky模型和Rodriguez-Egenhofer模型以及相关模型思想的基础上,提出了基于语义元的概念相似度计算方法(SMBSU)。该方法用语义元表示概念内涵,在语义元中引入支持度来表现不同语义元对概念内涵的贡献,综合考虑相关性、相似性、非对称性以及语义元的支持度差异,通过计算语义元的相似性,实现概念相似性的度量。另外,本文把关系作为一种特殊的概念,进行关系的比较,得到了基于语义元的关系相似性度量,由于概念和关系是本体的重要组成部分,由此实现了基于语义元的本体相似性度量。通过比较,验证了SMBSU方法的计算结果更具有合理性和有效性。(2)在深入分析服务模型的基础上,结合SMBSU,提出了基于本体的服务发现与获取模型SMBO。针对资源组织与服务匹配的缺点及不足,在SMBSU基础上,研究了把资源与请求组织为本体,以进行服务发现与获取的模型、过程与方法,提出了把资源与服务请求都表示为本体的构想,并对传统概念匹配方法进行了扩展,认为本体越相似,其表示的语义越接近,概念越匹配,其相似度越大。通过使用OWL(OntologyWeb Language)描述逻辑以及判断服务约束是否满足,研究了服务发现与获取的具体方法,为如何根据语义发现并获取服务提供了一个有效的途径。SMBO与当前模型相比,SMBO能更好地进行服务发现与选择。(3)在深入研究本体集成和服务冲突解决方法的基础上,提出了基于本体的增量式关系发现方法及基于SMBSU的冲突解决方法。针对本体静态集成的不足,以及由于单个本体之间缺少联系与沟通,单个本体容易成为“信息孤岛”,难以根据语义,让用户获取满意的服务这些问题,在SMBO模型中,引入数据挖掘技术,提出了服务发现过程中的增量式关系发现方法,据此可以发现潜在的关系,以更好地进行服务的发现。它可以更好地进行服务发现,从而为主动服务提供了保证。在服务的选择过程中,众多主体往往面临(需求)一个资源,而这个资源该为谁所用,就会出现了矛盾与冲突。本文借鉴Agent中协商的概念与思想,并把它与本文的SMBSU相结合,提出了基于SMBSU的冲突解决方法,研究了两种具体的解决方法:投票决定法和距离最短法。投票决定法的策略是由得票多的资源来提供服务,如果该资源与请求本体相似度达到给定的值,就增加一票,最后统计得票的多少,选择得票多的资源来提供服务。距离最短法的策略是计算资源对应的不同相似度值与最优值之间的距离,选择距离最短对应的资源来提供服务。本文还引入了惩罚值来帮助确定候选资源,研究了惩罚值的确定原则:如果选择的资源与请求的相似度值与最优值差别越大,得到的惩罚就会越大。(4)研究了基于市场机制的服务调度模式,提出了市场机制与本体相结合的服务调度方法。首先比较了当前资源调度的各种方法,研究了把市场机制与语义相结合的重要性和可行性。然后在SMBSU和SMBO基础上,提出了一种市场机制与本体相结合的服务调度方法SSBMO(Service Scheduling Based On Market and Ontology)。它包括本体相似度的计算、效用函数的确定、资源价格的确定、求约束条件下资源分配的最优解等。把服务的性价比作为效用函数,把追求性价比最大作为服务胡度的目标,实现了市场机制与语义的有效结合,为根据市场机制和语义进行服务调度提供了一个有效的方法与途径。试验比较表明SSBMO可以在兼顾系统效益的同时,让用户获取满意的服务。

论文目录

  • 摘要
  • Abstract
  • 第一章 前言
  • 1.1 研究背景
  • 1.2 研究现状
  • 1.2.1 服务描述与发现
  • 1.2.2 服务匹配
  • 1.2.3 相似度计算
  • 1.3 本文的主要工作和意义
  • 1.4 论文结构
  • 第二章 相关理论基础
  • 2.1 普适计算与Agent技术
  • 2.1.1 普适计算
  • 2.1.2 普适计算的特征与特点
  • 2.1.3 普适计算中的服务发现
  • 2.1.4 普适场景
  • 2.1.5 Agent定义与性质
  • 2.1.6 移动agent与Multi-Agent
  • 2.1.7 Agent的交互
  • 2.2 本体(Ontology)
  • 2.2.1 本体的概念
  • 2.2.2 语义与本体
  • 2.2.3 本体的形式化描述
  • 2.2.4 本体描述语言
  • 2.2.5 本体的构造
  • 2.2.6 描述逻辑
  • 2.3 语义Web、网格、语义网格
  • 2.3.1 语义Web
  • 2.3.2 网格
  • 2.3.3 语义网格
  • 2.4 Web服务
  • 2.4.1 Web服务
  • 2.4.2 Web服务的实现
  • 2.4.3 Open Grid Services Architecture
  • 2.5 小结
  • 第三章 一个基于语义元的相似度计算方法(SMBSU)
  • 3.1 相似性、语义元及其支持度
  • 3.2 相似度计算
  • 3.3 本体相似度计算
  • 3.4 本体相似与语义相似的关系
  • 3.5 实验及比较
  • 3.6 小结
  • 第四章 基于本体的服务发现与获取模型(SMBO)
  • 4.1 基于本体的Web服务发现与获取
  • 4.1.1 结构模型
  • 4.1.2 概念表,关系表,服务
  • 4.2 服务的发现与获取
  • 4.2.1 服务发现
  • 4.2.2 获取指定服务
  • 4.3 关系的增量式发现方法
  • 4.4 示例
  • 4.4.1 示例1
  • 4.4.2 示例2
  • 4.5 SMBO模型与其它模型的比较
  • 4.6 小结
  • 第五章 冲突及解决方法
  • 5.1 冲突的产生
  • 5.2 交互的分类
  • 5.3 协商的过程
  • 5.4 投票决定法
  • 5.5 最短距离决定法
  • 5.6 惩罚函数的确定
  • 5.7 示例及比较
  • 5.8 小结
  • 第六章 市场机制和语义相结合的服务调度(SSBMO)
  • 6.1 一般均衡的定义及存在性
  • 6.1.1 市场机制与一般均衡
  • 6.1.2 求消费者需求的最优解
  • 6.1.3 求一般均衡价格
  • 6.2 帕累托最优与福利经济第一定理
  • 6.2.1 帕累托最优
  • 6.2.2 福利经济第一定理
  • 6.3 市场机制和语义相结合的服务调度
  • 6.3.1 调度的框架
  • 6.3.2 SSBMO的服务调度
  • 6.4 分析与比较
  • 6.4.1 语义相似度最大调度算法Max-Semantic
  • 6.4.2 Semantic-Cost-Max-Min算法
  • 6.5 小结
  • 第七章 总结及未来工作计划
  • 7.1 研究总结
  • 7.2 未来工作计划
  • 主要参考文献
  • 读博期间发表的论文
  • 参加的科研项目
  • 致谢
  • 相关论文文献

    标签:;  ;  ;  ;  ;  ;  

    基于本体的服务模型及方法研究
    下载Doc文档

    猜你喜欢