本文主要研究语义Web服务的自动组合方法。Web服务自动组合是服务计算研究中的一个热点问题,目前提出的基于工作流、人工智能和图搜索匹配等组合方法都存在一定的不足。在分析Web服务组合相关理论和Web服务语义描述相关技术基础上,研究语义Web服务自动组合方法,着重研究在提高服务组合效率的同时,提高用户请求成功率以及服务组合的实际可用性。基于回溯树的Web服务自动组合方法是服务组合方法中效率比较高的,提出通过避免不同回溯树分支上对相同可用输入对象标识的重复构建,实现进一步提供服务组合效率的目的。此外,指出使用SAWSDL描述Web服务,给Web服务的输入(Ⅰ)、输出(0)赋予语义,同时,利用SWRL给Web服务添加前提条件(P)和后置效果(E)的语义描述。IOPE语义描述的显著作用体现在可以提高用户请求的成功率,同时,还可方便用户参与到组合过程中来。通过将服务组合的当前状态及时的反馈给用户,并提供工具帮助用户根据实际情况对当前组合状态进行实时更新,可以实现用户对组合过程的控制,进而可提高服务组合的实际可用性。另外,为了验证组合结果的正确性,提出使用BPEL对组合结果进行表达,并利用Apache ODE完成对BPEL格式的工作流的调用执行,将最终执行结果返回给用户。对SAWSDL-TC3测试集的实验结果表明,利用本文方法得到的组合结果更能体现用户的实际需求,并能同时在回溯树中充分考虑服务组合与环境状态之间的相互影响,提高用户请求的成功率；同时,P/E的引入在一定程度上有助于用户控制服务组合过程,提高用户参与度和组合的实际可用性。最后,针对网上购书实例,详细描述了该方法的具体实现。