Web服务为互联网应用提供了一种共享数据和功能的有效手段，较好地解决了异构应用之间及松散耦合环境下的互操作、集成和协作问题。随着Web服务的发展和广泛应用，Web服务组合技术成为Web服务研究的关键问题。基于工作流的Web服务组合是目前最常见的Web服务动态组合策略。现有的Web服务组合流程规范着重于流程的定义、执行和管理，对设计者而言则面临着如下问题：第一缺乏广义的流程建模语言，第二缺乏对流程验证及分析功能，因此本文提出一个基于Petri网web服务业务流程验证的方法，该方法包含建模和验证两个步骤。首先，采用Petri网对Web服务业务流程进行建模，图形化表示Web服务业务流程；再结合死锁、不可达和不安全三个Petri网常见性质，定义了Web服务流程结构正确性验证模型，并使用可达树、关联矩阵和状态方程等方法验证Web服务业务的流程设计是否正确。最后，本文设计并初步实现了Web服务业务流程验证的工具，该工具可协助设计人员使用图形化符号描述Web服务业务流程，提供了Web服务业务流程分析和验证功能，确保Web服务业务流程设计的正确性，增加了Web服务组合的可靠性。