随着互联网的飞速发展,Internet上的Web服务数量正在急剧增长。Web服务发现的任务就是要从数量庞大的服务群中找到满足用户需求的服务,其核心技术包括服务描述语言和服务匹配算法。目前的Web服务发现主要分为语法级方法和语义级方法。由于语法级服务发现方法的性能较低,因而学术界将本体理论和语义Web的相关技术引入Web服务,提出了基于语义的Web服务发现方法。现有的语义Web服务发现方法主要存在着两方面的问题:没有从过程与功能结合的角度实现Web服务匹配,以及没有考虑到用于Web服务匹配的领域本体概念间的多元关系。针对上述问题,本文探讨了从过程相似和功能相似两个方面对Web服务进行匹配,并将领域本体概念间的多元关系应用到Web服务的匹配中。本文的主要工作包括:1.从过程与功能结合的角度出发,在利用自动机理论将OWL-S刻画的Web服务表达为形式化过程的基础上,提出了一种基于过程相似的Web服务功能匹配算法。该算法首先通过对形式化过程的相似判定来判断服务请求与Web服务之间是否具有过程相似性;然后结合过程相似判定所得的结果对Web服务功能进行匹配。2.在对Web服务的功能进行匹配的过程中,利用本体概念间的多元关系(重点考虑了概念间的部分/整体关系、同义关系和子类关系),给出了一种语义距离的定义,通过该语义距离,可以计算出本体概念相应的服务功能参数间的语义相似度。