随着Internet和计算机技术的发展,开放的网格体系结构得到迅速发展。在开放网格环境下,存在大量可利用的资源和服务,如何充分合理利用各种网格资源成为研究网格技术发展的方向之一。现有的网格服务功能单一,具有专一性,如何利用多种网格服务实现复杂应用要求及开放网格环境下的服务组合应用的要求日益强烈。目前,作为成熟的多服务组合应用方式之一的工作流系统主要针对封闭环境,存在着诸多局限性。如果将工作流系统直接用于开放环境,则会引来各种管理问题。针对开放网格环境的动态性和开放性,需要由动态工作流来满足应用需求和适应服务的新特征。本论文以动态工作流为研究对象,在以下几个方面进行了系统的研究,取得了一定的研究成果:(1)深入分析了产生式系统和Petri网技术的基础上,对动态工作流进行了形式化描述。利用产生式系统形式化描述动态工作流的逻辑性质,利用Petri网技术形式化描述动态工作流的动态性质,并针对工作流在动态变换过程中可能出现冲突的问题,提出了解决方法;(2)动态工作流中的每一个工作流节点的功能通常需要经由一个服务调用链来实现。服务调用链所涉及的服务分布在网格环境中,并且服务调用链只能在工作流运行过程中动态地加以构造。针对服务调用链中可能存在的调用冲突问题,本论文提出了服务调用冲突发现算法,并对该算法进行了优化;(3)在GT3环境下,设计和实现了简单的动态工作流和服务调用冲突发现算法,阐述了在网格环境下的动态工作流的具体实现方法。本论文研究工作受到江苏省高校高新技术发展项目(项目编号:JH02-074)的资助。