论文部分内容阅读
随着网格研究的不断深入，网格工作流已成为该领域重要的研究方向，但是由于网格环境的分布性、动态性和自组织的特点，网格工作流研究仍然缺乏完整的系统架构、准确的工作流描述机制与过程模型、以及行之有效的工作流应用优化算法。网格服务的提出，为网格工作流的研究提供新的思路，但是现在许多网格工作流项目仍然没有集成服务机制，尤其缺乏服务组合的研究。针对上述问题，本文重点研究了面向服务的网格工作流的关键技术，包括工作流的系统组成、过程建模、服务组合、工作流应用优化，主要研究成果如下：(1)提出网格服务工作流(GSW)的基本概念，研究了网格服务工作流系统的组成架构，该架构的核心是工作流引擎、服务组合模块和服务调度模块。改进已有的网格工作流语言并提出GSWL语言，研究了该语言的组成与使用，并通过网格服务工作流实例证明了GSWL能够满足网格工作流应用的设计需要。(2)建立了基于Pi-演算的网格服务工作流过程模型，以检验网格服务工作流设计的安全性。GSW过程模型由网格活动及其依赖关系组成，在此基础上给出GSW安全性确认算法，为网格服务工作流的模型分析提供有力工具。(3)研究了网格服务工作流中网格服务间的组合问题，在分析网格服务行为及其交互模式的基础上提出基于Pi-演算的网格服务工作流组合正确性验证算法PGSCV；为消除动态服务组合中可能出现的服务死锁，提出基于Pi-演算的网格服务死锁消除算法PGSDE，来提高服务组合的适应性，实验结果证明这两个算法是有效的。(4)提出一个网格服务工作流优化架构，基于该框架提出基于多目标并行遗传算法的GSW应用优化算法—GSWGA，以求得GSW优化问题的一组Pareto解，最后通过实验与其它常用优化算法进行比较，证明了该算法的有效性和正确性。(5)设计并实现了支持服务组合机制和服务工作流优化调度的网格服务工作流原型系统，该系统以网格环境中图像处理为应用背景，在已有的网格和工作流开源软件的基础上增加GSW的设计、实现机制，实验证明该系统可以执行网格服务工作流应用。