近年来,面向服务架构(SOA)已成为系统集成的主要解决方案,SOA的提出在一定程度上解决了多个应用集成的问题。SOA架构的基础设施是企业服务总线(ESB),随着企业业务复杂度的增加以及企业信息系统功能的不断提升,企业服务总线开始暴露出一些问题。例如,在业务逻辑改变时需要重新进行服务的编排,修改企业服务总线的主配置文件,这样便增加了系统的维护成本;其次,参与组合的大粒度Web服务相容性难以验证,组合后的服务内部可能出现死锁等问题,由此造成基于ESB的系统运行不稳定。　　为了解决以上问题,本文提出了一种大粒度Web服务相容性验证方案,并将大粒度Web服务引入到ESB中完成服务组合。　　首先,对企业服务总线、大粒度Web服务以及形式化建模技术进行了综述。介绍了目前主流的几种企业服务总线,阐述了企业服务总线的整体架构以及主要功能,重点研究了Mule ESB及其路由机制;概述了目前广泛流行的大粒度Web服务描述语言;研究了常用的形式化建模技术。　　其次,深入研究了OWL-S复杂进程模型描述的大粒度Web服务的相容性。提出了一种OWL-S复杂进程的Petri网自动建模方法,基于该方法实现了工具O2PJ,该工具可根据大粒度Web服务的OWL-S描述文件自动建立该服务的Petri网模型;基于OWL-S复杂进程的Petri网模型,本文提出了利用Petri网模型研究大粒度Web服务的相容性的方法。　　然后,深入剖析了Mule ESB的实现。主要研究了Mule ESB的核心组件、组件管理机制、消息处理机制、对并发访问的支持以及 Mule ESB中的路由机制,并通过实例展示了如何利用Mule ESB中的路由机制实现服务组合。在此基础上,分析了Mule ESB路由机制存在的维护性差、难以进行服务相容性验证等问题。　　最后,详细阐述了Mule ESB中引入OWL-S复杂进程的方法,通过分析待组合服务内部消息交互过程,采用OWL-S API组合服务,并利用大粒度Web服务的相容性研究成果验证参与服务组合的大粒度服务之间的相容性,从而满足新的用户需求。