【摘要】 用π演算模型来表现ＣＯＲＢＡ请求调用流程．对ＣＯＲＢＡ客户机和服务器端的主要部件（如：接口库、实现库、桩、对象适配器以及两端的ＯＲＢ等）在请求调用过程中的作用都用π演算进程加以表示．利用π演算对描述进程的并行性所具有的独特优势，通过对ＣＯＲＢＡ体系结构的高度简化，希望这一模型能够体现ＣＯＲＢＡ的高度并行和分布的特性．对动态和静态请求调用的分别描述，从理论上表现出它们的共性和区别．更多还原

【Abstract】 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.更多还原