随着互联网技术与应用的迅速发展,基于Web服务的分布式计算模式正在成为技术发展的趋势,而相关标准的制定和业界厂商的极力支持也加速了Web服务的发展。然而,随着Web服务应用的深入,单个简单的Web服务已经无法满足实际的应用需求,人们常常需要组合多个Web服务以完成一个较复杂的任务。传统的方法是客户端根据需要人为的选择一些合适的Web服务,然后定义这些Web服务之间的交互过程,并对其进行硬编码来完成Web服务组合。但是由于Web服务的数量越来越庞大,通过人工进行服务组合是不现实的,而且服务的质量也得不到保障。所以必须对Web服务进行动态组合。Web服务动态组合是指程序或代理自动挑选和组装适当的Web服务来完成任务,而只需用户在高层次上给出一个格式正规的任务描述即可。论文首先对Web服务组合的相关技术和标准作了深入的研究,发现只有加入语义信息才能使得Web服务的动态组合变成可能;然后给出了一个基于语义的Web服务组合实现模型ARTs-WSC,该模型通过对Web服务增加语义描述和本体的推理机制,实现了服务的动态组合;接着重点分析了ARTs-WSC的层次结构,并提出了一种基于本体的描述语言OWSL;最后讨论了基于本体的逻辑推理。