| CORBA服务的形式化分析 |
| |
| 引用本文： | 郑红,李师贤.CORBA服务的形式化分析[J].计算机科学,2002,29(5):117-119. |
| |
| 作者姓名： | 郑红 李师贤 |
| |
| 作者单位： | 中山大学计算机科学系,广州,510275 |
| |
| 摘 要： | 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服务包括命名服务、事件服务以及生命周期服务等通用的十多种服务,用
|
| 关 键 词： | CORBA 形式化分析 对象管理组织 公共对象服务规范 网络应用程序 计算机网络 |
Formal Analysis of CORBA Event Service |
| |
| Abstract: | |
| |
| Keywords: | |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
点击此处可从《计算机科学》下载全文 |
|
