基于动态描述逻辑的语义Web服务匹配研究

动态描述逻辑(dynamic description logic,DDL)是描述逻辑(description logic,DL)的一种动态扩展,它支持语义Web环境下对动作的描述和推理.提出了一种基于动态描述逻辑的语义Web服务描述与服务匹配方法:将服务需求方的目标服务以及服务发布方的原子服务用动态描述逻辑的动作进行描述,解决了语义Web服务的一致的形式化表述问题;将目标服务和原子服务的匹配问题归结为动态描述逻辑的公式可满足性判定问题,利用动态描述逻辑对动作的推理功能,发现与目标服务相匹配的原子服务组合.动态描述逻辑的公式可满足性问题是可判定的,解决了利用一阶谓词逻辑进行逻辑推理时的不可判定性.

云制造环境下基于动态描述逻辑的制造服务匹配研究

为解决云制造环境下制造服务显著的异构性、动态性给云制造服务匹配带来的难题,提出了一种基于动态描述逻辑的制造服务匹配方法。建立了基于动态描述逻辑的动作描述理论,给出了复杂动作在描述、拆解、组合过程中需要遵循的原则,提出了"五层三阶段"的云制造匹配策略。用基于DDL的六元组对云制造服务进行建模,该模型能够准确地描述云制造服务的输入、控制和输出,为云制造服务匹配提供语义表达基础,同时,给出了匹配策略下的制造服务匹配规则及初步匹配算法实现。最后,通过对已有锻造系统的云化改造,证明了该方法能够有效地完成云制造环境下制造服务匹配工作。

一种基于描述逻辑的Web服务动态组合算法

针对W eb服务组合,给出了输出分解匹配度、服务关联图等概念,并提出一种基于描述逻辑的W eb服务动态组合算法.该算法综合考虑了服务的语义、服务组合的质量和效率等因素,可以自动地根据用户的服务请求实现服务的动态组合.

基于扩展接口语义的Web服务匹配模型研究

分析了Web服务组合的类型以及其中的接口匹配关系,通过对WSDL标准接口描述语言进行语义扩展,提出了一种轻量级的Web服务语义描述模型。该模型从服务接口的消息参数层、消息层和操作层分别扩展语义描述,将服务接口的描述从语法层提升到语义层,从而能够全方位地描述Web服务的功能、行为约束等属性。在此基础上,从这三个层次计算Web服务接口的语义匹配度,提出了多层次Web服务接口语义匹配模型。

支持约束声明的服务描述技术

现有的研究仅关注描述服务的属性,而未描述服务的行为属性,如属性的取值范围以及属性取值之间的关系。为此,将约束声明引入到服务描述中,将属性的取值范围及其间的关联关系看作服务的约束条件,定义了约束的表达形式和分类,从而有效地描述Web服务的功能和行为特性。在此基础上给出基于约束的匹配算法来度量服务与请求之间的匹配程度。讨论了该模型的体系结构和实现机制,并在实际项目中得到了应用。

网络化协同产品开发资源集成服务机制研究

针对网络化协同产品开发资源的特点和集成需求,提出了一种能促进资源快速共享和高效利用的基于资源池模型的网络化协同产品开发资源集成服务框架,并探讨了其中基于Web本体语言的网络化协同产品开发资源描述机制,以及基于扩展的统一描述、发现和集成协议的网络化协同产品开发资源集成服务机制;研究了采用双层过滤机制的语法级与语义级相结合的三层搜索匹配算法等关键技术。最后,通过一个典型应用实例,验证了以上模型及方法的实用性和有效性。

基于语义的服务发现技术研究综述

语义Web服务是Web服务的语义扩展,它能够有效地提高服务发现的效率,并使得实现服务发现自动化成为可能。基于语义的服务发现是语义Web服务技术的核心,其关键技术包括标识语义的Web服务描述语言、基于语义的服务发现体系结构和基于语义的服务匹配算法。本文分别从这三个方面对目前基于语义的服务发现技术进行了详细的分析比较。文章最后对基于语义的Web服务发现技术进行了总结与展望。

基于本体和QoS的面向敏捷供应链知识服务匹配研究

为了加强面向敏捷供应链的知识服务的服务描述信息的机器可理解性,提高用户需求和服务能力之间功能匹配的准确性,在总结和分析相关服务发现和匹配算法的基础上,提出了一个基于扩展OWL-S和服务质量QoS的知识服务描述模型。提出一种基于本体计算语义相似度的方法,利用此方法实现服务的功能性匹配。最后用一个服务匹配实例说明了该匹配算法在充分考虑用户需求方面的有效性。

服务发现技术中的服务描述和服务匹配技术

普及计算环境中的设备和应用需要通过服务发现来获得其它设备和应用所提供的服务。在服务发现技术中,服务描述、需求描述和服务匹配是迫切需要解决的关键问题。但由于服务和需求的多样性和复杂性,以及普及计算环境的动态性和异构性,使这些问题更加困难和复杂。所以,寻找一种灵活高效而又准确的方式来进行服务描述、需求描述,进而进行服务匹配,具有非常重要的意义。对现有多种服务发现系统中的服务描述需求描述和服务匹配技术进行比较分析,指出了现有解决方案的一些不足,并对未来的研究进行了展望。

基于语义规则的分阶段语义Web服务发现方法

为解决现有语义Web服务发现方法发现效率较低的问题,针对服务发现过程中服务描述不对称的特点,在现有研究基础上,提出了一种基于语义规则的分阶段语义Web服务发现方法。该方法使用语义规则来刻画服务请求描述,对服务发布本体进行了扩展,并通过分阶段服务发现,实现了服务匹配范围的准确界定,提高了服务发现的效率,保证了服务发现的质量。通过与已有算法在成功率、完成时间等方面的对比模拟实验,表明了该方法的性能。

面向数据的BPM中服务垂直匹配研究

针对面向数据的业务流程管理(BPM)系统中逻辑模型向物理模型的自动转换问题,提出一种服务垂直匹配解决方法。利用XML描述artifact类型的实例,在此基础上,给出以artifact为中心的业务流程模型ArtiFlow的形式化描述及逻辑服务的定义,进而从流程描述中提取逻辑服务,基于XML文档树的嵌入方法,提出逻辑服务到物理服务的匹配算法。

面向科学工作流服务发现的语义查询、匹配与组合

科学工作流是数字化科研的强有力工具,其基本构成部分是Web服务。在生物信息学应用领域,Web服务一般通过本体进行语义描述,并封装成语义Web服务。文章以描述逻辑及其SHIQ语言为基础,研究目的在于定义生物信息学领域的Web服务语义描述框架,主要方法包括服务的语法与语义定义,语义Web服务的查询与匹配以及多服务的组合机制。最后以DNA序列查询以及格式转换为例,论述了具体的应用方式,实际使用有较好的效果。研究结论是:语义封装以及语义查询可以很好解决无状态Web服务查询匹配的精确度问题。

基于本体概念集合相似度的语义Web服务匹配

面向应用领域的Web服务发现技术的目标是帮助用户找到能够为其构建应用系统提供功能支持的Web服务,从而来降低应用系统的开发成本和提高开发效率,而在服务发现技术中服务匹配程度的高低是一个关键。为了更有效准确地获得服务之间的匹配程度,文章从Web服务的输入与输出参数的语义描述出发,把语义Web服务的匹配问题转化成本体库中概念向量的相似度计算问题,通过在考虑概念结构上的路径长度、深度和密度影响因素上计算两个概念的相似度的基础上,构建了概念集合的相似度算法。实验表明该算法较别的匹配方法在查全率、特别是查准率上得到了提高。

基于OWL本体和描述逻辑的Web服务匹配模型研究

在WWW世界中,为了获得更多的优质服务,必须提供一种高效的服务发现机制。而要进行有效的服务发现,需要提供一种合理的服务匹配模型及相应的匹配算法。在总结了传统的UDDI标准所存在缺陷的前提下,重点提出了一种Web服务匹配模型,该模型通过本体来增强服务描述语义,将本体与描述逻辑有机结合起来,克服了传统UDDI标准在语法级基于关键字搜索的缺陷,提高了服务匹配能力。讨论了匹配模型各模块的功能,同时提出了一种基于OWL的本体创建方法。

基于语义的仿真网格模型资源发现技术

针对现有网格资源管理中间件缺乏对仿真模型资源语义层次的描述和发现匹配这一问题,引入本体概念,定义了仿真模型描述本体,实现了对仿真模型的语义描述;提出了基于本体推理的仿真模型语义匹配算法,将仿真模型语义匹配的量化程度映射到了[0,1]上的连续值域,并且支持仿真模型输入/输出的组合匹配;将研究结果应用于仿真网格的仿真模型匹配发现服务的实现中,通过典型的应用实例,有效地验证了提出的仿真模型描述本体和语义匹配算法.

基于多维功能索引的服务匹配方法

服务匹配是面向服务架构(SOA)中的重要问题,为了解决现有服务匹配方法中功能匹配不准确和匹配效率低的问题,提出一种基于多维功能索引的服务匹配方法。该方法首先对应用领域中的基本功能操作进行了定义,基于定义的功能操作给出Web服务的功能描述,进而引入两级索引机制建立服务的多维功能索引,最后在索引基础上给出了服务匹配和相关性排序算法。测试结果表明,该方法在服务匹配准确度上与现有方法相比有10%左右的提高,同时具有较优的时间性能。

改进的传感器观测服务发布与匹配方法

当前SPS在面对大量SOS时,无法帮助用户快速有效地寻找到功能匹配的SOS。文中在SPS2.0标准的基础上对SOS的发布和匹配进行了改进。首先使用SAWSDL规范对SOS描述文档WSDL及用户提交的观测任务进行扩充和语义标注,增强了服务描述能力和发现效率;其次通过在服务匹配阶段加入服务行为约束兼容性检测,既减小了匹配资源耗费,又保证了匹配精度;最后根据SOS的特点及各属性的权重值进行逻辑匹配,来减小匹配复杂度。实验结果表明,该方法较传统的SPS在查全率和查准率方面有较为明显的提高。

基于概念格非功能属性的语义网络服务匹配方法

研究网络的语义Web服务匹配问题,保证Web服务匹配的准确率。在计算机网络通信的服务请求中,根据服务请求者的服务语义描述寻找匹配服务时,多数匹配策略机制仅依靠服务功能信息进行匹配,使得服务匹配存在一定的片面性,而存在语义Web服务匹配准确率不高的问题。为提高匹配准确率,提出基于概念格的语义Web服务匹配方法。不仅考虑服务功能信息而且考虑服务质量等非功能属性,在形式概念分析的基础上将服务两方面的属性集合构造概念格,根据概念格和过滤机制计算语义相似度,并据此完成语义Web服务的匹配。仿真实验表明,这种方法能够准确完成语义Web服务地匹配,取得理想的结果。

语义Web服务匹配系统的设计与实现

语义WEB是W3C制定的关于下一代WEB技术的扩展,将已有的WEB服务技术与语义WEB相结合可以形成语义WEB服务技术。而本体作为其中的一部分,起到了非常重要的作用。该文探讨了有一个基于本体和描述逻辑的语义服务匹配系统的设计与实现,并分析了系统的查询灵活性及逻辑推理等特点。

Web服务匹配系统中的语义描述

在分布式计算环境下,Web服务发现和服务匹配技术直接关系到全球网络信息资源获取和信息的有效利用.传统的Web服务匹配和发现过程是基于UDDI并在语法级实现的.因而服务匹配模型没有涉及到语义,鉴于语义在智能匹配系统中所起的作用,本文从语义匹配的角度着重分析服务匹配系统中存在的数据语义、功能语义和服务质量语义.