随着Web服务标准的完善和支持Web服务平台的成熟,互联网上可用的服务越来越多,由此产生了大量基于Web服务的应用,然而现有的服务大多是单个的,提供的功能非常有限。为了更加充分地利用共享的Web服务,提高服务的重用性,加快系统开发的速度,有必要将共享的Web服务组合起来,提供更为强大的服务功能,快速满足用户需求。Web服务组合作为一种灵活、快速集成信息的重要方法,成为开发异构环境中复杂分布应用的研究重点。现有的服务组合项目和平台,大多是建立在静态建模的基础上,无法满足“随需应变”的软件需求。在分析了当前主流的服务组合后,本文提出了基于语法的Web服务自动组合方法,该方法通过组合现有的服务,形成组合服务,提高了服务的重用性。本文的主要工作与贡献包括以下三个方面:1)提出服务语法化服务语法化是指把服务进行语法转换,利用语法规则转换算法,将服务转换成语法规则,其基本转换单位为服务中的操作,每一个服务的操作被转换成一条语法规则,从而把整个服务库转换成语法规则的集合,看成一个庞大的语法。2)对用户请求进行分析证明构造了用户请求证明机,利用服务语法化之后生成的语法规则对用户请求进行分析证明(该分析证明过程借鉴了编译技术里文法分析算法),判断当前的语法规则库能否识别用户请求。3)根据求解结论组合服务在用户请求被证明的条件下,为每一个用户请求的输出对象即时生成服务组合路径,然后将服务组合路径进行合成,形成满足用户请求的组合服务。