摘要
用π演算模型来表现ＣＯＲＢＡ请求调用流程．对ＣＯＲＢＡ客户机和服务器端的主要部件（如：接口库、实现库、桩、对象适配器以及两端的ＯＲＢ等）在请求调用过程中的作用都用π演算进程加以表示．利用π演算对描述进程的并行性所具有的独特优势，通过对ＣＯＲＢＡ体系结构的高度简化，希望这一模型能够体现ＣＯＲＢＡ的高度并行和分布的特性．对动态和静态请求调用的分别描述，从理论上表现出它们的共性和区别．
CORBA request invocation is modelled by π calculus. Agents are used to describe the main parts of CORBA architecture on both client and server sides when the request invocation happens. The parallel and distributed feature of CORBA may be embodied in this highly simplified model by the unique predominance of the agents described by π calculus. In addition, the commonness and difference of dynamic and static invocations can be embodied in theory by describing the invocations.
出处
《上海交通大学学报》
EI
CAS
CSCD
北大核心
1998年第10期58-61,共4页
Journal of Shanghai Jiaotong University
基金
国家自然科学基金
关键词
Π演算
请求
CORBA
面向对象
进程代数
common object request broker architecture (CORBA)
π calculus
request
object request broker(ORB)
object adaptor(OA)
