随着Internet的飞速发展，网络中的信息急剧增多，网络已成为人们获得信息的必要途径和重要手段。网络中的海量信息既给人们带来方便，也带来了许多问题。面对信息的海洋，如何从中找到最佳的、最有效的服务就成为了一个十分棘手的问题，而Web服务发现的研究正是为了解决这个问题的。 服务发现是Web服务系统架构的重要部分。发现符合用户需求的服务是实现服务利用、组合自动化的重要前提，服务发现的效果直接关系到服务调用的质量。本文所作的研究主要是在特定的分布式计算环境(移动计算)下实现Web服务的语义描述、发布和发现，论文从结构上分为研究思路的提出、移动计算的研究、基于OWL-S的Web服务发现的研究、语义Web服务发现技术的研究、匹配算法的研究。主要工作包括： (1)研究分析了移动计算中位置相关信息服务以及基于OWL-S的Web服务发现方法，指出了移动计算中Web服务发现机制的不足。 (2)研究和分析了现有的服务发现技术，并指出了现有技术的局限性。研究和分析了目前存在的语义Web服务框架的不足之处，设计了一种移动计算中基于语义的Web服务发现与匹配模型，并给出了该模型的功能模块设计和工作原理。 (3)针对移动计算环境的局限性，提出了一种服务发现优化算法，有效地减少了无线网络的负担，并结合该优化算法研究了加入权重的语义相似匹配算法，从语义距离角度着手结合语义相似函数来计算服务相似度，设计了一种基于服务优化的分步匹配算法。 (4)构建了移动计算领域的本体库，并基于该本体库给出了一个移动计算中语义Web服务发现系统的实现。并用实例分析了服务发现系统的可行性和验证了匹配算法的性能。