微电子技术和无线接入技术的发展使得移动终端能够连接到各种网络之中，结果是，终端能够使用异构网络中的服务。移动互联网是移动通信技术与互联网技术相互渗透发展的产物。随着网络规模的扩大，网络中服务种类的增加，如何对网络中大量服务进行有效的管理和控制成了一项亟待解决的任务。服务发现是用于发现和识别网络中可用服务的关键技术，对于用户和服务提供商都是不可或缺的重要功能。本文首先概述了移动互联网和服务发现协议(Service Discovery Protocol，SDP)的发展现状，简述了现有SDP并对SDP进行了分类；随后对移动互联网环境下的SDP互操作系统和mashup架构进行了分析。针对当前SDP存在的问题，将蚁群算法引入服务发现过程，设计了ACA4SD算法。在ACA4SD算法中，利用路径上的信息素信息指导服务查询报文的路由。本文中，将整个网络抽象为不同的网络域，每个网络域中存在一个域服务节点，域内的节点向域服务节点发送服务请求查询，当域服务节点在本地服务目录中没有查询到所需的服务信息时，域服务节点发送服务查询报文（蚂蚁）在不同的网络域间进行服务的查找。服务查询报文利用了蚁群算法中的动态机制和信息素的正反馈机制。在ACA4SD中，本文重点分析了链路上的信息素的初始化方式和更新方式。同时对ACA4SD算法中引入的各种参数进行了分析。通过在ACA4SD算法的不同阶段改变参数的值，提高了算法的性能。针对多服务发现和服务聚合时服务发现过程中可能导致的网络拥塞，本文设计了同种信息素相互吸引，异种信息素相互排斥，同时控制链路上信息素浓度的LBACA4SD算法。在设计ACA4SD算法和LBACA4SD算法后，构建了这两种算法的仿真场景，并对算法进行了验证和测试，最后总结了全文的工作，并对后期工作做了概述。