基于二元关系的网格服务关系的研究

根据OGSA和WSRF规范,网格服务是网格环境中资源的抽象和封装。网格服务间的关系是复杂的,文中基于二元关系的理论,提出了等价网格服务关系、偏序网格服务关系和全序网格服务关系的概念。给出了网格服务关系有关性质的定理和最小服务、最大服务的可达性矩阵判定方法。为服务匹配、服务组合和服务协同的研究提供了理论的支持。     

基于二元关系的网格服务关系的研究

根据OGSA和WSRF规范,网格服务是网格环境中资源的抽象和封装.网格服务间的关系是复杂的,文中基于二元关系的理论,提出了等价网格服务关系、偏序网格服务关系和全序网格服务关系的概念.给出了网格服务关系有关性质的定理和最小服务、最大服务的可达性矩阵判定方法.为服务匹配、服务组合和服务协同的研究提供了理论的支持.     

基于自适应算法的动态网格服务选择方法

针对网格服务的动态性、时序性和随机性,给出了一种基于Q-learning的动态网格服务选择方法,用于求解具有不完全信息的网格环境中的服务组合。对满足马尔可夫决策过程的服务组合提出了一种支持不完备信息描述的网格服务描述模型,实现了对服务组合整个生命周期的描述。提出了一种改进的Q-learning 算法,动态、自适应地对服务选择中不同选择进行预估,并给出不同情况下的最优选择决策。仿真实验表明了该方法较传统的贪心选择算法具有优越性与实用性。     

网格合同计算的有效协商机制研究

随着网格商业化的不断深入,网格计算要求：服务提供者和消费者间在组合服务中需达成端对端的高服务质量协议,高可靠性的组合服务协商机制和保障机制在网格计算中扮演着越来越重要的角色。所提出的网格合同计算模型,在组合服务过程中提供统一的用户接口,使交易双方自动动态协商满足每个单独服务的服务质量约束条件。在网格合同计算模型中,利用代理技术实现了自治网格合同计算协商机制,该协商机制遵循改进的两阶段提交FIPA协议。在服务合同中导入了软服务合同SSC和硬服务合同HSC概念,并指出动态绑定服务之前所生成的软服务合同SSC仅仅起到占位符的作用,只有在绑定时通过“硬化”才获得真实的服务承诺。     

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

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

基于服务资源域的网格服务组织方法

网格服务的组织是开放式网格服务体系结构研究的一个重要问题.在对网格服务的概念及其性质研究的基础上,针对现有的服务组织方法存在的不足,运用聚类原理和目录服务原理,通过引入服务资源域的概念及对其性质的分析,提出了基于服务资源域的网格服务组织方法,并给出了该组织方法下的组织模型及各部分的功能,有效地解决了性能瓶颈的问题,同时提高了可扩展性和抗毁性,为网格服务的组织提供了一种有效的途径.     

基于CPi-calculus的网格服务行为研究

当前基于网格服务组合的编排方案（choreography proposals）只给出服务描述层面上的定义,没有提供任何推导方法来保证基于此编排方案的服务的一致性。如何验证组合服务行为的正确性和有效性是当前亟需解决的一个研究课题。形式化方法提供了行之有效的建模、推导和验证机制。本文给出网格服务组合基调,基于此基调分析了网格组合服务的动态交互行为特性,提出基于CPi-calculus（Conditional Pi-calculus）的网格组合服务的行为交互模型（IABM）,并给出组合服务交互行为的形式化描述,最后进行交互行为的模拟验证。该网格服务行为交互模型为今后网格服务的组合优化工作提供了代数推导依据。     

动态服务组合中资源选择的研究与实现

在面向服务的网格中,需要按用户请求动态地根据当前系统中服务的状况,组合出满足用户请求的服务组合。目前,当存在多个服务提供者提供相同功能的服务时,如何动态选择合适的服务却很少被论述,而且真实网格环境中的不确定性(如Cpu、网络的负载)也很少考虑。如何选择最合适的服务所在的资源,是服务组合中必须要考虑的。在分析动态服务组合的基础上,设计了一种动态选择资源的方法。并利用GT4中工厂设计模式给出其实现方式。该设计考虑了网格环境中资源的安全性和不确定性因素,比如资源经常失败,以及Cpu和网络的负载等,从而最大程度地提高服务执行的可靠性和高效性以及均衡系统负载。     

基于匹配度的网格服务组合及优化选择方法

为提高网格服务动态组合过程中服务间的匹配概率,提出了基于语义推理、相似度计算和图搜索的弱关联程度下的服务组合方法(Low Match Dcgrcc Scrvicc Composition Mcthod, LMDSCM) o LMDSCM通过定义基于领域本体的概念集合匹配度作为服务匹配度计算的依据,来完成服务组合图的构建,并将服务组合的优化选择问题转换为最短路径选择问题。通过实验将工MDSCM与同类方法在服务组合满意度和算法效率上进行了对比,结果证明其在弱关联程度条件下的服务组合满意度高于同类算法,易于生成最优服务组合方案。     

动态服务组合中资源选择的研究与实现

在面向服务的网格中，需要按用户请求动态地根据当前系统中服务的状况，组合出满足用户请求的服务组合。目前，当存在多个服务提供者提供相同功能的服务时，如何动态选择合适的服务却很少被论述，而且真实网格环境中的不确定性（如Cpu、网络的负载）也很少考虑。如何选择最合适的服务所在的资源，是服务组合中必须要考虑的。在分析动态服务组合的基础上，设计了一种动态选择资源的方法。并利用GT4中工厂设计模式给出其实现方式。该设计考虑了网格环境中资源的安全性和不确定性因素，比如资源经常失败，以及Cpu和网络的负载等，从而最大程度地提高服务执行的可靠性和高效性以及均衡系统负载。     

面向服务的网格调度组件的设计与实现

针对当前网格调度体制的研究仅从功能需求、执行过程方面进行描述,尚未对调度过程中的接口和交互协议进行定义,缺乏对语义支持的现状。结合语义Web服务技术,从实现角度讨论服务网格环境下的调度机制。从分析服务调度过程入手,讨论服务网格中动态调度系统的组成、系统架构及实现技术,初步设计和实现能够完成服务网格中调度需求的服务调度组件——G-Sched,并以模拟网络化虚拟制造作为应用示例来验证所提出方法的可行性和有效性。     

Formal verification technique for grid service chain model and its application

Ensuring the correctness and reliability of large-scale resource sharing and complex job processing is an important task for grid applications. From a formal method perspective, a grid service chain model based on state Pi calculus is pro- posed in this work as the theoretical foundation for the service composition and collaboration in grid. Following the idea of the Web Service Resource Framework (WSRF), state Pi calculus enables the life-cycle management of system states by associating the actions in the original Pi calculus with system states. Moreover, model checking technique is exploited for the design-time and run-time logical verification of grid service chain models. A grid application scenario of the dynamic analysis of material deformation structure is also provided to show the effective- ness of the proposed work.     

基于领域模板的网格服务组合研究*

提出了一种基于领域模板的网格服务组合方法,通过对领域的共性需求进行抽象、归纳、总结,并生成领域模板,然后基于生成的领域模板给出了一个新的高效的领域模板匹配算法。与已有的方法相比,该方法可以自动根据服务所属领域,从已生成的领域模板中选取相应的领域模板来实现服务的动态组合,这不仅缩短了组合时间,而且提高了服务组合的效率。     

网格服务及调用模型研究

开放网格服务体系结构（OGSA）是在Globus网格计算工具包和Web Service技术融合的基础上提出的一套规范和标准.OGSA以服务为中心,将一切都抽象为服务,网格服务是OGSA的基本概念.在介绍了网格服务的思想之后,分析了OGSA的架构体系,讨论了网格服务的组成以及典型标准接口的功能描述,研究了创建网格服务实例的过程,提出了一个网格服务调用模型,并对其处理过程进行了描述.     

股骨模型的三维重建与变形

介绍了一种在网格中实现的动态服务部署和获取系统.网格中的节点根据服务质量需求,动态地划分为多个服务区,并将服务动态地部署到各个服务区的合理位置,使网格客户端能够快速、有效地访问服务,提高了网格客户端的访问速度和网格的总体性能.     

一种动态服务部署与访问系统

介绍了一种在网格中实现的动态服务部署和获取系统。网格中的节点根据服务质量需求,动态地划分为多个服务区,并将服务动态地部署到各个服务区的合理位置,使网格客户端能够快速、有效地访问服务,提高了网格客户端的访问速度和网格的总体性能。     

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

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

基于遗传算法的多性能目标网格服务调度算法

在分析状态图工作流模型的基础上，提出了一种网格环境下多QoS（服务质量）约束的组合服务模型，根据提出的模型归纳出了动态服务调度问题的形式化描述，并提出了一种基于遗传算法的动态服务调度算法进行求解.该算法采用基于服务区域及服务实例个数的编码方式，以组合方案的有效性和组合服务的综合QoS参数的效用值作为适应度函数，从而保证组合服务调度的全局QoS要求.与其它算法进行了比较.实验结果显示该算法是可行和有效的．