在计算机和网络广泛使用的今天，工作流技术成为解决企业或部门经营管理和生产过程自动化、办公自动化的主流技术。工作流是业务过程的自动化，使业务流程依照既定的规则自动地流动起来，当对管理过程调整时，采用工作流技术可以迅速方便地完成业务过程的调整。对工作流技术进行深入研究对于提高部门的信息化程度、运行效率都有着重要意义。然而，由于基于Internet应用的快速发展，传统的工作流技术越来越难以适应现代流程管理的需要。由于流程定义缺乏动态性和互操作性，因而难以适应跨部门、跨组织的分布式的应用。 Web服务的出现使我们看到了解决难题的希望。Web服务是封装成单个实体并发布到网上的功能集合，Web服务与生俱来的动态性和互操作性可以很好地解决传统工作流所不能解决的问题。因此，把Web服务引入到工作流管理系统_中必将使工作流技术进入一个新的发展阶段。 根据我们在工作流领域和Web服务编程领域的长期研究和实践的积累，本文对Web服务在工作流中的应用方式进行了分析，对其中的关键问题进行了深入的分析。从工作流模型、工作流机等方面进行了深入地探索，提出了基于Web服务的工作流管理系统体系结构。然后，本文从经典的Petri网理论出发，对工作流建模技术进行了深入地研究，提出了形式化的基于XML的工作流定义语言，作为工作流系统各模块之间信息传递的规范协议。最后描述了基于Web服务的工作流系统中各个模块的功能设计、关键算法和技术优势。应用结果显示，我们的工作是有效的，我们的系统有很强的实用价值，利用此工作流系统可以显著地缩短业务流程的开发周期。