Web服务(Web Service)是松散耦合的、可复用的软件模块,封装了离散的功能;服务在Internet上发布后,能够通过标准的Internet协议在程序中访问。Web服务组合就是多个服务按照一定的逻辑自动组织起来,构成功能更强大的Web服务。由于服务是在高度分布、完全动态的环境下实现组合,造成服务组合无法获得一个通用的流程模型与管理环境,容易引发服务组合的动态适应性和流程正确性的问题。本文在总结国内外对Web服务组合与验证研究的理论成果的基础上,探讨了基于Petri网的Web服务组合与验证方法。主要研究内容和创新点如下:　　利用有色Token表示一个服务执行的行为特征,并将服务间交互的消息表示为有色Petri网中的有色Token,从而建立了表示多组合流程、多服务行为特征的Web服务组合的有色Petri网模型。　　根据服务组合中消息与服务行为的关系,用有色Petri网中颜色Token描述消息,用消息来驱动服务,建立了基于Petri网的规则约束与消息驱动的Web服务自动组合框架;实现了服务的自动组合,并在自动组合过程中动态产生Petri网模型;实现了在组合过程中对Web服务组合的动态验证。通过对两类典型服务组合问题进行了实验验证表明,该方法是正确、有效的。　　在对Web服务组合的非确定性特征交互问题形式化定义的基础上,根据服务组合的非确定性特征交互问题的规模,利用有色Petri网可达树穷尽搜索法和P-不变量法,设计了两个Web服务组合非确定性特征交互的检测算法,并对两个算法进行了仿真分析。通过仿真实验得到了两个检测算法的检测特性与适用范围。