Formal Analysis of CORBA Event Service
CORBA服务的形式化分析

1 引言 CORBA,公共对象请求代理体系结构(Common ObjectRequest Broker Architecture,CORBA)是对象管理组织OMG(Object Management Group,OMG)在OMA(ObjectManagement Archtecture,对象管理体系结构)基础上定义的对象请求代理(ORB)的公共结构。CORBA是国际对象管理组织(OMG)遵循分布式对象技术,制定的一整套公认的基于可商用对象技术的标准,CORBA为建立大型复杂的分布式应用系统提供了新方法。 OMG定义了一套CORBA公共对象服务规范COSS(Common Object Serves Specification),为用户构建分布式大规模应用系统提供了标准的解决方案。CORBA服务包括命名服务、事件服务以及生命周期服务等通用的十多种服务,用