Web服务是近年来蓬勃兴起的一种分布式计算模型,能够实现在不同平台、不同程序设计语言编写的应用程序或应用程序组件之间无缝的互操作。随着Web服务标准的完善和支持Web服务平台的逐步成熟,网络上可用的服务越来越多,如何有效地发现、组合与执行服务,以提高服务的重用性、准确性、并降低开发成本,己成为工业界与学术界共同关注的问题和研究热点。然而,主流的Web服务描述语言WSDL,缺乏服务描述的语义信息,同时基于通用描述发现集成协议(UDDI)的应用服务注册中心仅提供基于关键字的服务发现能力,这些显然不能满足Web服务动态发现和组合的需求。目前语义Web研究有了很大进展,利用语义Web标记语言来描述服务的语义,使Web服务成为计算机可以理解的实体,有望实现Web服务的动态发现、组合与执行。本文研究的是基于语义的Web服务自动组合技术,目标是能根据用户的需求将各种己有的Web服务按一定的顺序自动地组合起来,协同工作完成用户的任务,使服务可以灵活地满足用户的需求,实现“按需服务”。本论文以旅游信息系统的构建为应用背景,主要对以下几点展开研究:①详细阐述了Web服务的概念、体系结构和相关技术,深入分析了Web服务组合方法的研究现状。②根据Web服务组合方法解决的问题类型的不同,对已有的典型组合方法进行分类;对已有文献进行研究,提出标准,对典型的方法进行分析与比较;③对基于即时任务求解的Web服务组合方法进行分析,发现该方法在处理能力方面的不足——很多语义服务匹配算法仅采用输入和输出参数描述服务,但是只依靠输入、输出参数不足以发现相关的服务;本文提出了一种对前提/后置条件进行建模的方法,不仅根据服务的输入、输出参数,并根据服务的前提、后置条件对Web服务进行形式化描述以实现对Web服务的有效约束,并给出了Web服务发现和组合问题的形式化定义。④详细介绍了一种基于目标递进的建立前向链的Web服务组合方法以及动态执行语义Web服务发现和组合的框架结构。从该算法在旅游信息系统的应用实验结果可以看出,该模型可以正确地根据用户的输入、输出参数和前提、后置条件,在较短的时间内组合满足用户需求的服务,体现了该方法在性能和处理能力两个方面的优势。