Web服务组合的目标是通过简单服务的组合形成以满足需求的新服务,这个目标的完成是通过相对简单的Web服务交互的设计。但Web服务组合的执行过程中,复杂的需求的互动往往涉及一些简单的服务。当用户有多服务可选时,由于多个服务组合时产生了问题或不信任这些简单服务,因而影响到了Web服务的发展和应用。服务组合流程的并发性和复杂性,使得验证服务组合模型的测试变得非常重要。鉴于上述问题本文进行了以下工作：1.基于Web服务本体语言OWL-S与有色Petri网的语义一致性,将有色Petri网描述规则运用到OWL-S进程。其中包含OWL-S的原子进程及复合进程描述方式,并按照该描述方式使用有色Petri网验证工具CPN Tools对语义Web服务组合流程进行建模,并对模型进行验证与分析。2.对此建模方法用于基于有色Petri网的语义Web服务组合模型的测试方法进行了总结。对于基于有色Petri网的语义Web服务组合模型,总结了相关的测试方法与测试用例生成方式。介绍了完全路径覆盖的测试方法,并运用此方法对模型生成的可达图生成相应的测试用例,以此进行测试的正确性分析。3.对本文提出的方法进行实例分析。通过网站提供的Web服务组合实例,应用上述模型做案例分析,针对贷款审批的例子验证方法的有效性和正确性。经实例分析表明,本文建议的方法更为有利于对语义Web服务组合的模型的正确性验证以及其模型的测试用例生成。