摘要
用π－演算刻划ＣＯＲＢＡ／ＩＯＰ环境下涉及多个ＯＲＢ的分布式对象计算过程，重点描述多个ＯＲＢ之间的互操作过程．构造了一个高度简化的ＣＯＲＢＡ／ＩＯＰ的π－演算模型．借助于这个模型，演示了ＣＯＲＢＡ／ＩＯＰ支持分布式对象计算这个性质．
This paper investigates the semantic modelling of distributed object computing under the CORBA/IIOP environment and concentrates on the interoperation between multiple ORBs. By constructing a π calculus model of highly simplified CORBA/IIOP, the property is demonstrated that CORBA/IIOP supports distributed object computing.
出处
《上海交通大学学报》
EI
CAS
CSCD
北大核心
1998年第10期62-65,共4页
Journal of Shanghai Jiaotong University
基金
国家自然科学基金
关键词
Π-演算
CORBA
IIOP
ORB
面向对象
π calculus
common object request broker architecture (CORBA)
IIOP
object request broker (ORB)
distributed object computing
