为了解决由于分布和异构带来的“孤岛”问题,OMG组织提出了公共对象请求代理体系结构(CORBA),以增强软件系统间的互操作能力,实现企业内各信息系统的有效集成。随着Internet和电子商务的广泛应用,企业迫切希望通过Internet实现企业之间应用商务流程的无缝联结。企业应用集成不仅包括内部信息集成,而且包括了企业间的应用集成,在集成的层面上还包括业务流程的集成。CORBA由于防火墙限制等问题已经无法满足企业应用集成的需求。因此,迫切需要一个集成框架解决企业应用集成问题。论文围绕两个主要问题展开研究工作,一是围绕解决如何实现Web Services与CORBA之间的互操作,实现企业从内部到外部广泛的系统互联;二是在企业实现互联的前提下,如何通过业务建模将企业已有的服务组合成一个业务流程,以实现业务流程的集成,产生增值的服务。只有上述两个问题的良好解决,才得以在保护企业已有投资的前提下解决企业应用集成,实现企业电子商务活动。论文的研究以国家高技术研究发展计划(863计划)前沿探索类课题“面向电子商务的新型网络服务体系及集成软件环境”为背景。论文的主要工作包括以下几个方面:⑴在分析传统集成模型的基础上,结合项目背景提出了一个Web Services与CORBA集成框架模型,该集成模型具有平台无关性、简单性、安全性、开放性、可扩展性等特点,为企业应用集成提供了一种有效的解决方案。⑵研究并实现了Web Services与CORBA互操作网关—CORBA-SOAP网关和SOAP-CORBA网关。CORBA-SOAP网关解决了CORBA对象在Internet上的发布,极大提高了系统的可重用性;SOAP-CORBA网关保证了在不对企业内原有CORBA应用环境做任何改动的情况下将外界Web服务提供的新功能引入CORBA总线中来。⑶对CORBA-SOAP网关和SOAP-CORBA网关在功能和性能上分别作了测试。从功能角度看,两种网关能够支持各种基本数据类型以及IN,INOUT,OUT三种参数传递模式;从性能角度看,网关编解码数据引起的延迟不会导致系统的性能瓶颈,在Internet环境下完全能够满足大多数应用的需求。⑷研究了基于BPEL4WS的服务组合方法。分析了BEPL4WS中的基本工作流模式及UML活动图表示,并在此基础上利用UML作为业务建模工具,提出了基于UML活动图的服务组合步骤;对UML活动图进行了形式化表示,在形式化表示的基础上提出了一个基于有向图深度遍历的正确性验证算法,并对应用实例作了正确性验证。⑸通过介绍论文成果在项目中的一个应用实例—一个基于BPEL的服务集成原型系统中的具体应用,表明本论文的研究对于解决企业应用集成实现电子商务具有积极的意义。