随着对Web服务的不断深入研究和应用,出于各种服务自动化任务的需要,Web服务计算逐渐成为学术界的研究热点,并且在服务研究各方面取得了许多显著的成果。但是由于目前Web上广泛存在的信息格式的异构性、信息语义的多重性以及信息关系的匮乏和非统一等原因,使得许多研究成果只能在特定的同构环境中发挥着有限的作用。而语义Web技术的引入,为Web服务引入本体,消除了Web服务格式和语义的异构性,同时借助于语义Web技术中的描述能力和推理能力,使得服务计算任务能更加准确的有效的满足需求。因而如何为Web服务提供更加丰富的语义以及如何利用这些语义进行推理从而更加智能的完成任务将是未来几年语义Web服务领域的研究趋势。可以看出目前的这些研究大都只支持单个服务级别的语义,但对于服务之间的语义却很少有所研究。我们认为在Web服务领域中服务之间本身可存在着紧密的语义关系,例如等价性,可组合性,可替换性等。建立这些服务间的语义关系在服务替换,服务优化以及服务组合等自动化任务中显得尤为重要。本文提出Web服务的组合服务模型,将重写系统理论引入Web服务,把服务间的语义关系描述为计算机可以理解的服务项之间的规则语义,通过为Web服务添加这些规则语义提供语义支持。同时利用重写技术中的推理机制,实现对Web服务的分析和推理。结合组合服务模型,本文分别从服务提供者和服务请求者的角度为服务提供规则语义,进而解决相应的实际问题。首先结合当前的服务描述语言WSDL,让服务提供者可以加入操作之间的语义关系,为组合服务优化,服务组合等服务计算任务提供语义支持。本文还针对其中的几个关键步骤中遇到的难点问题进行深入的讨论。其次讨论了语义Web流程组合和现存框架中语义描述能力的不足,通过为语义流程模板加入服务关系语义,较好的解决了相应问题。