本文对语义Web的自动服务组合的关键技术，包括语义Web标记语言、描述模型OWL-S、自动服务组合的模型和方法进行了研究，工作内容主要包括以下几个方面： 首先，通过阅读文献和研究成果，发现自动服务组合方法必须支持Web服务的语义描述，即通过语义Web标记语言描述服务。本文使用OWL-S标准作为Web服务的描述模型，集中讨论了ServiceProfile和ServiceModel这两类本体。通过对已有的自动服务组合方法的深入分析和比较，结合基于工作流和规划方法的优点，给出了一个基于语义Web服务的自动服务组合模型SWSCM，并根据该模型给出了一种具体的自动服务组合方法。采用线性逻辑作为模型的内部形式化语言，通过定理证明的形式化方法保证服务组合的正确性与完整性。从得到的证明中直接提取组合服务的过程模型，以过程演算表示，同时还可将其转换为工作流领域的流程建模标准方便组合服务的调用。通过领域本体的推理为定理证明提供子类型包含关系的公理。本文集中讨论了服务描述语言之间的映射、定理证明、过程模型的提取、领域本体推理等关键步骤。