CORBA/IOP的语义初探 |
| |
引用本文: | 杜理渊,陈伟杰,傅育熙. CORBA/IOP的语义初探[J]. 上海交通大学学报, 1998, 0(10) |
| |
作者姓名: | 杜理渊 陈伟杰 傅育熙 |
| |
摘 要: | 用π-演算刻划CORBA/IOP环境下涉及多个ORB的分布式对象计算过程,重点描述多个ORB之间的互操作过程.构造了一个高度简化的CORBA/IOP的π-演算模型.借助于这个模型,演示了CORBA/IOP支持分布式对象计算这个性质.
|
关 键 词: | π-演算 公共对象请求代理体系结构(CORBA) IOP 对象请求代理(ORB) 分布式对象计算 |
First Step towards a Semantics of CORBA/IIOP |
| |
Abstract: | |
| |
Keywords: | |
|
|