语义Web服务（Semantic Web Services，SWS）是用语义Web标记语言来描述服务的技术，它使Web服务成为计算机可以理解的实体，从而支持服务的自动发现、执行和组合等。本文研究的是基于协同的服务组合与验证，主要目标是在Agent系统上实现Web服务的协同工作，完成自动组合，生成相应的组合序列。本文主要成果有以下四个方面：（1）深入研究了语义Web本体语言OWL及语义Web服务描述语言OWL-S，并通过本体开发工具Protégé来开发本体，运用OWL-S Editor插件同Protégé开发工具来开发OWL-S，并通过购书服务的实例实现了OWL本体的开发和实现了OWL-S的服务描述。（2）采用将OWL-S模型和状态演算相结合的一种服务自动组合方法，用状态演算描述语言Golog语言描述OWL-S服务，以电子商务中购书为例进行分析，分析出所涉及的原子服务，然后根据原子服务的协同交互运用Golog语言进行描述组合，并生成了相应的序列。（3）设计了一种基于多Agent系统平台的Web服务组合模型，并进行了实例研究分析模拟。通过电子商务购书实例的演示系统初步验证了基于协同的服务组合的可行性。（4）采用Pi演算算法对服务组合方法及产生的序列进行进一步验证，并运用Pi演算算法对Web服务可能的行为动作进行描述，验证出了上述服务所产生的服务序列是兼容的。