随着面向服务的体系架构(Service-Oriented Architecture,SOA)的兴起,企业服务总线(Enterprise Service Bus)作为实现面向服务架构SOA核心方式,是企业内部服务互联互通所需的通讯基础设施。ESB的主体功能是在分布环境下,通过可靠、安全、聪明的分发和路由,并在消息中间件的基础上,应用Web Service技术,提供业务的寻找、路由和绑定。但是,对于一个服务请求,ESB需要提供一个灵活的机制去组合服务以便满足需求。因而,ESB需要一种动态的,智能的路由机制,脱离传统的固定路由规则,支持服务的选择和适配,从而达到提供更方便,快捷,灵活的业务流程处理的目的。在此智能路由机制中,我们设计了一种基于类型论的服务匹配和选择机制,通过扩展类型论,形式化地描述服务消费者所需求的服务及ESB服务注册库中的服务,利用形式化验证工具完成服务的匹配,待服务选择出来后,进一步对服务进行相应的组合,使整个服务流程满足服务消费者的需求。论文首先深入分析了当前ESB的技术及研究热点,然后提出了我们设计的智能路由机制。在整套路由机制中,首先实现了路由引擎,主要解决了对路由流程文件的解析以及消息的中转。然后重点引入基于类型论的Mapping及Selecting机制,通过该机制实现了从服务注册库中匹配服务,并在此机制上实现了匹配引擎。最后,实现了ESB中的BPEL引擎,使经过匹配及选择后的服务根据路由流程组合服务流程,使整套智能路由机制可以有效地应对灵活多变的业务流程。