工作流技术是实现企业业务过程建模、业务过程仿真分析、业务过程优化、业务过程管理和集合,最终实现业务过程自动化的核心技术。如何让工作流系统实现异构、分布和松散耦合等特性,成为了目前工作流系统迫切需要解决的问题。本文提出了一种基于Web Services的工作流系统新模型,将Web Services引入到工作流系统中,具有跨越防火墙的通信、应用程序的集成,软件重用等优点,并应用BPEL语言对模型进行了描述。采用基于Petri网理论,从活性、可达性和死锁三个性质对模型的结构设计进行了验证。解决了传统工作流系统在流程重用性、异构分布性、可靠性等方面存在的不足。在对基于Web Services的工作流系统设计与实现上,本文提出了面向服务的三层体系结构,支持流程的动态性和重用性、增加了业务流程的可靠性、具备较好的灵活性和安全性。