论文部分内容阅读
用π演算模型来表现CORBA请求调用流程,对CORBA客户机和服务器端的主要部件(如:接口库,实现库,桩,对象适配器以及两端的ORB等)在请求调用过程中的作用都用π演算进程加以表示,利用π演算对描述进程的并行性所具有的独特优势,通过对CORBA体系结构的高度简化,希望这一模型能够体现CORBA的高度并行和分布的特性,对动态和静态请求调用的分别描述,从理论上表现它们的共性和区别。