在网络上存在着大量的Web服务，这些服务跨越多个领域，从提供各种信息到提供各种现实生活中的服务，包罗万象，应有尽有。由于Web服务应用越来越多，传统的软件工程和管理的研究领域发生了巨大的变化。但是如果没有任何一个单一的Web服务能够满足用户的全部需求，那么应该存在一种方法来整合已有的Web服务来达到目的。这个趋势促使大量关于Web服务组合的研究产生出来。　　 本文利用人工智能领域中最热门的智能规划技术，将SAT规划技术与Web服务组合相结合，对SAT规划进行了深入细致的阐述和介绍，并提出了利用SAT规划求解技术来解决Web服务组合问题的方法。本文对相关研究文献进行了整理和分类，并对Web服务进行建模，将Web服务建模成便于规划系统理解和处理的形式。由于现实中的Web服务组合问题过于复杂且具有许多的不确定性，为了更好地抽象以及应付大部分的情形，本文在假设信息不丢失且以路径最短为最优的条件下，运用基于SAT技术的规划方法来求解Web服务组合问题，并对线性算法进行了改进。最后在一般性的Web服务组合系统框架基础上，实现了一个基于SAT规划的Web服务组合系统。　　 在下一步的工作中，应当深入在WSDL和PDDL表达性方面的研究，充分发挥PDDL的强大功能，使得Web服务组合系统具有更强的处理能力。