用进程代数描述CORBA请求调用 |
| |
引用本文: | 陈伟杰,杜理渊.用进程代数描述CORBA请求调用[J].上海交通大学学报,1998,32(10):58-61. |
| |
作者姓名: | 陈伟杰 杜理渊 |
| |
摘 要: | 用π演算模型来表现CORBA请求调用流程.对CORBA客户机和服务器端的主要部件(如:接口库、实现库、桩、对象适配器以及两端的ORB等)在请求调用过程中的作用都用π演算进程加以表示.利用π演算对描述进程的并行性所具有的独特优势,通过对CORBA体系结构的高度简化,希望这一模型能够体现CORBA的高度并行和分布的特性.对动态和静态请求调用的分别描述,从理论上表现出它们的共性和区别.
|
关 键 词: | 公共对象请求代理体系结构 π演算 请求 对象请求代理 对象适配器 |
本文献已被 维普 等数据库收录! |
|