%0 Journal Article
%T Formal Analysis of CORBA Event Service<br>CORBA服务的形式化分析
%A 郑红
%A 李师贤
%J 计算机科学
%D 2002
%I 
%X 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服务包括命名服务、事件服务以及生命周期服务等通用的十多种服务,用
%K CORBA
%K 形式化分析
%K 对象管理组织
%K 公共对象服务规范
%K 网络应用程序
%K 计算机网络
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=64A12D73428C8B8DBFB978D04DFEB3C1&aid=F20A9A03FD38AD5A&yid=C3ACC247184A22C1&vid=771469D9D58C34FF&iid=94C357A881DFC066&sid=7555FB9CC973F695&eid=EFD65B51496FB200&journal_id=1002-137X&journal_name=计算机科学&referenced_num=0&reference_num=8