Web服务作为一种新的Web应用访问标准，它很好的解决了高度异构的数据和应用的整合集成和共享等相关问题。在Web服务领域中，服务发现是所研究的关键问题之一，是服务组合，调用和执行的基础。然而，随着计算机应用的迅速发展，Internet上的Web服务越来越多，如何从海量的Web服务中准确高效的选取出满足需求的服务已变得越来越困难。传统的Web服务发现方法是基于关键字进行匹配的，缺乏语义信息，这导致该方法的查全率和查准率都比较低。为解决这一问题，人们将本体技术引入Web服务领域，形成了语义Web服务，并在此基础之上，提出了基于语义的Web服务发现方法。这类方法在匹配时借助于本体技术，从语义上去寻找满足需求的服务，查准率和查全率都得到较大的提高。然而上述方法都是基于功能信息的匹配即OWL-S ServiceProfile信息的匹配，没有考虑服务的交互细节，对于复合服务，两个服务可能具有相同的输入输出参数，却有着不同的交互行为，上述服务发现方法不能区分两个服务交互行为上的不同。因此采用上述方法会导致所发现的服务不能够正确的进行服务交互。针对上述问题本文对描述服务过程细节的OWL-S ServiceModel部分进行了深入研究，并提出了一种基于OWL-S ServiceModel匹配的服务发现方法。该方法首先给出了ServiceModel包含的八种控制结构到过程图的转换规则，并根据该规则将ServiceModel等价形式化为过程图，之后定义了过程图的相似度并给出了求取过程图的相似度的算法，通过求取过程图的相似度求得两个服务的ServiceModel的相似度，以解决服务的过程匹配问题。从而，进一步提高了服务发现方法的查准率和查全率。在上述的理论基础之上，本文设计了过程匹配模型，对各模块进行了深入的分析研究，并对各个模块进行了编码实现。最后，本文分别从服务过程模型的转换、匹配等几个方面进行了测试并对系统的查准率和查全率与其他方法进行了对比分析，实验结果表明该方法能够对ServiceModel进行正确转换并进行准确匹配，同时该方法有着较高的查准率和查全率，从而验证了本文方法的可行性和有效性。