基于I/O自动机的网格服务组合的形式化

为了描述网格服务挖掘(GSM)中的网格服务组合,提出了一种基于I/O的网格服务自动机模型GSAM(Grid Service Automata Model).该模型定义了两种类型的网格服务自动机GSA(Grid Service Automata)———描述服务功能的网格服务功能自动机GSFA(Grid Service FunctionalAutomata)和描述服务间交互通道的网格服务通道自动机GSCA(Grid Service Channel Automata).同时给出网格服务兼容签名、组合签名、隐藏操作的定义,以及几个相关的定理来精确刻画网格服务的组合过程和方法.文中还举例说明了如何利用GSAM对GSM中的网格服务共享存储器系统进行建模.结果表明,所提出的模型能够精确描述网格服务的组合及其形式化的推导.

基于交互模式的网格服务组合正确性的研究

服务组合技术成为网格领域的研究热点,但是对于服务交互行为以及服务组合正确性的研究,仍缺乏有说服力的理论和现实成果.利用Pi-演算适于描述动态、分布系统的特点,建立了基于该理论的网格服务交互行为模式、服务上下文等概念及其机理,提出服务组合正确性的定义,并进一步给出基于Pi-演算的网格服务组合正确性验证算法.实验结果证明了该算法在一定应用范围内是可行的.

基于颜色Petri网的网格服务组合

在新的面向服务的网格计算架构下,网格服务为Internet上的分布式计算提供了一种重要范例。对服务提供者和消费者来说,通过组装已有网格服务来创建新的增值网格服务的应用模式已经出现。网格服务的组合已经成为网格研究领域中的一个重要课题。由于可用网格服务的复杂性,许多网格服务表现出复杂的会话协议,要求其提供的操作能根据特定的规则进行调用。讨论了以下几个问题:(1)如何精确描述网格服务的会话协议;(2)如何建立组合规则来对选定的组件服务进行合成;(3)如何验证整个网格服务组合的正确性,尤其是被合并的组件服务的一致性和它们的会话协议。Petri网提供了描述并发系统同步的结构,高级编程语言提供了描述和操作数据值的结构,而颜色Petri网结合了Petri网和高级编程语言的表达能力。为了解决上述问题,提出了一个基于颜色Petri网的会话协议和网格服务组合模型,其使用颜色Petri网的带颜色的token来模拟业务流程的不同消息和事件类型,把服务的会话协议和网格服务组合过程转换为颜色Petri网(CPN),利用现有的CPN的专门工具(如CPN Tools)来对CPN进行模拟以分析评价系统的性能和行为性质。

基于语义的网格服务组合研究

随着网格技术的发展,以及网格中资源的不断增加,网格服务组合具有非常重要的意义。针对网格服务的动态性和分布性,提出了一种基于语义P2P的网格服务组织方式,并提出了将基于情景演算方法中的通用程序转化为HTN领域模板,通过加入用户偏好对SHOP2规划算法进行了改进,减小了规划空间,提高了规划效率。

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

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

二元网络服务关系及动态服务组合的研究

动态网格服务组合能在服务运行过程中集成和协同多个服务的功能,因此能解决面向服务应用中的复杂问题。基于二元关系理论,给出了与网格服务关系相关的一些概念。在对以上概念有关性质研究的基础上,提出了任务偏序集驱动的动态服务组合方法。该方法容易实现,仿真实验结果表明该方法的组合效率很高。

任务偏序集驱动的服务组合研究

本文基于偏序关系理论,对网格中任务偏序集情况下的服务组合进行了研究。提出了任务偏序集驱动的服务组合算法。该算法在服务运行过程中,集成和协同多个服务的功能,能解决网格应用中的复杂问题。模拟实验的结果表明该算法的组合效率很高。

基于WSMO的数字图书馆语义网格服务动态组合框架研究

从服务的角度提出基于语义网格的数字图书馆按需服务系统的架构,基于该架构探讨以下问题:数字图书馆网格平台上的分布式服务资源的组织管理与监控、根据用户需求的服务建模、大规模网络环境中的按需服务组合研究等。提出基于业务流程执行语言(BPEL)描述网格工作流,并采用WSMO为网格构建语义环境。设计基于WSMO的数字图书馆语义网格服务架构,采用WSMO创建领域本体,进行项目的 WSMO 4元素设计,并给出基于WSMO的语义网格平台实施方案。

网格服务本体组合及其匹配研究

针对网格用户服务需求越来越复杂的情况,单一的原子网格服务本体的匹配已无法满足其需要,迫切需要网格服务本体组合来解决这一问题。本文把网格服务组合的若干问题用本体的思想进行了形式化描述,试图在对网格服务本体组合形式化分析的基础上解决网格服务本体如何组合以及如何实现组合匹配的问题。在上述研究的基础上,本文给出解决网格服务本体组合匹配的相关算法。