Web服务组合作为一个正在兴起的研究方向,已经取得了许多研究成果。然而已有的组合方法侧重于首先处理用户需求,产生Web服务组合方案,然后再对服务组合方案进行验证,这些验证绝大部分又集中在候选服务利用率和系统开销上。对于组合方案在执行时能否正常结束、是否是避免死锁的,并没有成熟的研究。由于Web服务组合涉及大量的候选服务,服务组合方案被执行时如果陷入死锁,必然造成资源的极大浪费和许多不必要的经济损失。因此设计一种Web服务组合方法,使之产生的组合方案是能够避免死锁、正常结束的,显得意义尤为重大。本文提供了一个能够处理普通候选服务集合,产生的组合方案能够避免死锁、正常结束的Web服务组合系统。首先通过给出一个描述模型来阐述Web服务中的语法和语义环境;在此基础上给出了一组匹配规则,可以精确地实现Web服务在组合方案中的定位;在这两者的基础上,给出了一个Web服务组合算法,此算法可以产生避免死锁、正常结束的Web服务组合方案,并通过分析证明了组合方案的结构良好性;最后对系统进行了实现,通过实例运行展示了整个系统的过程和结果,进一步说明本系统能够通过处理普通候选服务集合,产生避免死锁、正常结束的Web服务组合方案。