随着互联网技术与应用的迅速发展,Web服务作为一种新兴的Web应用模式及远程访问标准,很好地解决了异构平台上的数据和应用的整合与共享问题。但是,传统的Web服务缺乏语义信息,语义Web使得网络中的所有信息都是有语义的,使计算机能够理解和处理。语义Web技术和Web服务的结合产生了语义Web服务。语义Web服务使用无二义性、计算机可以理解的语言来描述Web服务,为Web服务的自动发现、组合和调用提供了支持。本文在对现有的Web服务组合方法分析之后,依据语义Web服务的特点,提出了模糊Petri网的语义Web服务组合形式化模型,并根据语义Web服务之间的依赖关系,构建服务的全局依赖模型,然后采用基于Petri网的推理方法,从中提取出语义Web服务组合模型,实现组合模型的自动推理生成。然而,服务组合过程是一个复杂且易出错的过程,在组合服务执行之前对组合服务进行有效的验证是十分必要的。本文在分析了服务组合结构正确性验证的基础上,进行了基于模糊Petri网的服务组合可靠性验证,以保证服务组合的正确性和可靠性。