基于本体语义的制造网格构建机理研究*

针对制造资源共享和协同制造的困难,提出了基于本体语义的制造网格系统的构建思路。首先定义了制造网格服务模型,以及制造网格环境中资源封装和运行管理的基本单元——制造服务域;然后提出了基于本体语义的制造网格的体系结构及其关键问题;最后详细分析了制造网格服务响应流程中基于本体语义的服务发现、制造服务域的构造以及制造网格服务的完成等活动的执行过程。     

ChinaGrid图像处理网格平台中的语义信息服务研究

在网格中要实现更加准确有效的服务发现、查询及其动态分配和替换,需要在语法匹配的基础上进一步实现语义匹配.介绍了在图像处理网格平台上开发的、基于语义的信息服务组件;描述了该组件的设计框架结构,并给出该组件的核心算法即网格服务语义匹配算法的描述.该组件能有效实现对图像处理网格服务的语义查询和工作流构建时的自动语义匹配以及工作流执行中网格服务的动态分配和替换.与传统语义服务匹配算法相比,所提出的网格服务匹配算法显著提高了网格服务的匹配准确度.     

支持多领域动态功能集成的网格GIS系统*

Grid_GIS是一个采用SOA（serviceoriented architecture）思想,支持多应用领域功能集成的网格GIS系统。系统采用一种超级P2P的网格体系结构,实现数据和功能资源的分布式存储、查询处理和动态数据集成;根据领域本体知识和推理机制,实现基于语义的智能查询;基于标准的Web服务,应用推模式,实现资源的有效监视;根据系统的状态和任务之间的通信关系,采用成本约束的自适应调度算法,实现系统的动态调度和负载平衡;采用WSSecurity扩展实现网格的安全,既可以保证网格的安全性又可以     

网格数据的语义查询优化研究

利用网格技术实现的异构数据源集成环境中,引入本体可以解决网格数据的语义查询问题。为了提高网格环境中语义查询的效率,提出了一个基于本体的语义查询优化器（GSQO）,该优化器主要实现了以下3个模块的优化：（1）用户查询语义扩展;（2）资源选择;（3）并行处理。实验结果表明,GSQO通过采取上述优化策略提供了较好的查询效率。     

面向网格服务的工作流系统应用集成研究

工作流管理系统（wfMS）已经成为实现企业应用集成的重要手段，然而，随着开放网格体系结构的迅速发展，现有的工作流管理系统难以实现工作流系统内部和外部应用的无缝集成。在研究网格服务的基础上提出了面向网格服务的工作流系统应用集成方案，给出了体系结构，分析了工作流系统借助GT3中间件使用网格服务的过程。该方案将所有的集成接口统一为网格服务，比原有的工作流系统模型具有跨平台、接口统一、实现简单等优点，从而能够使得工作流系统应用真正实现无缝集成。     

本体匹配的网格服务发现模型研究

如何从大规模网格服务集合中快速而准确地发现满足用户请求的服务,是语义环境下网络应用的一个重要方面。针对传统的基于关键字匹配的Web服务发现方法无法准确描述网格服务服务能力和应用领域的问题,提出了一种基于输入和输出领域本体的语义网格服务描述模型和基于本体匹配的语义网格服务发现流程,构造了基于本体匹配语义相似度计算的语义网格服务发现算法。实验结果表明,基于本体匹配的语义网格发现方法能够获得很好的查全率和查准率。     

一种面向服务的网格工作流调度算法

面向服务的网格工作流的研究已成为网格领域的研究热点。由网格服务：组成的工作流（GSF）的调度问题是一个典型的NP问题,由于遗传算法具有并行性和全局解空间搜索的特点,非常适合解决这个问题。因此,本文首先给出GSF的GA定义,然后提出基于遗传算法的网格服务工作流调度算法GSFGA,并通过应用实例验证了该算法优于传统的调度算法,作为结论本文指出了下一步的研究工作。     

基于语义的网格工作流复合技术及实现

作为网格环境的基本服务,网格工作流的大规模共享和重用是使网格成为问题求解的智能化集成环境的一项核心技术。工作流复合技术能够通过已存在的解决方法的重用简化复杂的科学应用问题,而基于语义的工作流复合降低了需要了解工作流语法细节才能重用网格工作流带来的复杂性。首先运用知识表达技术提出一个基于目标概念的网格工作流语义模板,其次介绍了一个实现基于语义的工作流复合的工作流管理原型系统,其中详细阐述了工作流建模过程中基于语义的工作流复合的实现。     

网格环境下工作流的费用-时间调度算法

开放网格服务架构（OGSA）和计算经济模型的提出,使得动态的、不同QoS的服务支持下的资源调度成为一个复杂且具有挑战性的问题。该文提出了网格环境下基于费用-时间的工作流调度算法,该算法采用动态资源选择策略适应网格计算环境下的动态性和自治性。在追求较小的工作流完成时间的同时,对费用进行了优化。模拟结果显示该调度算法符合计算网格的复杂环境,能够更好地满足不同用户的实际需要。     

一种有效的服务资源自动语义标注方法

在服务网格中,分布式网络计算的实现依赖于如何在OGSA下实现服务交互问题的有效解决.为此,服务接口必须采用机器可理解的方式描述,从而为网格服务的动态发现和组合提供底层支持.服务语义标注技术满足了上述需求,它提出使用共享域本体中机器可理解的元数据标注服务资源描述.提出了一种有效的服务资源自动语义标注方法,该方法将服务语义标注过程分解为域标注和概念标注两个阶段,重点针对域标注问题,提出了基于机器学习的域标注算法,对实际服务资源的标注实验验证了该算法的有效性.     

Service-oriented smart home applications: composition, code generation, deployment, and execution

A smart home usually has a variety of devices or home appliance, instead of designing software for a specific home, this paper proposes a service-oriented framework with a set of ontology systems to support service and device publishing, discovery of devices and their services, composition of control software using existing control services that wrap devices, deployment, and execution of the composed service in an computing environment, monitoring the execution, and recovery from device failure. The ontology systems specify semantic information about devices, services, and workflows used in various smart home, and users can compose and recompose services for their specific needs. New devices, workflows, and services can be added into ontology. Most of the steps in this process can be automated including code generation. For example, service composition will be carried out in three steps: abstract workflow design, function construction, and device discovery, and different codes can be generated for different computing platforms such as Java and Open Services Gateway initiative environments. In this way, a variety of smart home can be constructed rapidly using the framework by discovery and composition using existing services and workflows. This paper illustrates this framework using a media control example to illustrate the ontology, discovery, composition, deployment, execution, monitoring, and recovery.     

服务组合中基于线性逻辑的消息语义匹配

介绍一种自动服务组合模型服务消息语义化匹配验证的方法。该方法先从服务描述中提取服务消息模型和服务行为模型,后将服务行为模型转换为形式化的有限状态自动机。根据有限状态自动机中的服务接口可以转化为本体概念,服务行为可以转换为线性逻辑表达式描述,使用线性逻辑的演绎方法对服务消息的匹配性和可满足性进行验证。同时,对线性逻辑的演绎定理进行适当扩展以适应服务组合的需要。     

语义Web在Web服务中的应用

在分析了现有的Web服务标准和语义Web的基础上,介绍了一种把二者结合起来的语义Web服务(SWS)。它可以实现在不需要人的参与下,Web服务的自动发现、自动调用和自动组合。对于语义Web服务的开发有3种方法,文中重点介绍了实现SWS的一种基于本体的面向代理的OWL-S开发方法。     

基于SOGSA的港口虚拟物流链构建

随着3G技术及信息化的普及，港口发展进入了新的时代，构建“港口虚拟物流链”成为发展的必然。针对港口虚拟物流链的特性，结合语义网及开放网格体系，构建了基于语义网的开放网格体系，并将其应用到港口虚拟物流链的构建中。通过给出整体框架、工作流方式、面向航运的领域本体定义及结构和QoS运行模式，实现了系统的构建。     

基于本体分类的Web服务合成的研究及应用

阐述了一个基于本体分类的Web服务合成模型,扩展标准的WSDL服务描述,将Web服务及其参数严格映射到本体概念分类层次,使服务描述保存了语义信息,领域本体过滤确保了合成服务的有效性,基于用户的需求描述实现了从现有Web服务中动态发现、匹配和组合服务的功能的算法,根据用户的服务质量要求,模型还能从生成的合成服务链中筛选出最佳服务组合。整个模型在一定程度上实现了服务合成的自动化。     

基于本体的服务组合算法研究

本文利用本体组织语义信息解决网格发展中缺乏语义的问题,提出了基于角色的本体资源管理模型;定义了有状态的网格服务并采用OWL描述网格服务,增加了自动推理功能。在此基础上,结合概念相似度计算,提出了一种较为优化的服务组合算法。     

基于本体映射的语义Web服务发现框架

分析了语义Web服务中存在的本体异构问题,讨论了语义Web服务发现中输入、输出匹配的方法,以及本体映射中概念相似度计算方法.在已有的Web服务模型基础上,引入语义Web服务发现的机制,提出了一个基于本体映射的语义Web服务发现框架,并阐述了其实现机制.该框架下的本体映射技术的应用能够增强语义Web服务发现的能力.     

一种基于人工免疫的本体匹配算法

针对目前本体匹配算法存在运行效率低和匹配准确度不高等问题,提出一种基于人工免疫的动态本体匹配算法,用来快速地从现有本体中筛选出用户所需的子本体。该算法根据用户行为信息构建抗原本体模型,利用情景匹配确定其领域上下文环境,然后通过结构匹配获得匹配度最高的本体,最后对本体执行语义匹配得到最终需要的子本体。实验表明,该算法提高了本体匹配的准确度和效率。