CORBA服务的形式化分析

摘要

@@ 1 引言rnCORBA,公共对象请求代理体系结构(Common Object Request Broker Architecture,CORBA)是对象管理组织OMG(Object Management Group,OMG)在OMA(Object Management Archtecture,对象管理体系结构)基础上定义的对象请求代理(ORB)的公共结构.CORBA是国际对象管理组织(OMG)遵循分布式对象技术,制定的一整套公认的基于可商用对象技术的标准,CORBA为建立大型复杂的分布式应用系统提供了新方法.