用进程代数描述COM接口调用  

Description on COM Interface Invocation by Agent Algebra

作　　者：葛鸣铭[1] 傅育熙[1] 

机构地区：[1]上海交通大学计算机科学与工程系,上海200030

出　　处：《计算机工程》2003年第13期82-84,86,共4页Computer Engineering

摘　　要：用π演算模型来表现COM接口调用，在服务器是进程内或进程外组件的情况下，统一对COM接口调用中的重要部件（如客户、代理管理器、接口代理、存根管理器、接口存根、组件对象等），用π演算进程给出了形式化的刻画，从而从总体上描述了COM接口调用的一系列流程，并通过此模型，清晰地表现出COM接口调用的进程透明特性，也进一步体现了演算对于描述进程通信及并行性的独特优势。COM interface invocation is modelled by π -calculus.Agents are used to describe the important parts in COM invocation. The paper shows the process transparency of COM interface invocation by this model,and also incarnates the unique predominance of π -calculus in description of Agent communication and parallelism

关 键 词：组件对象模型 Π演算 接口 进程内组件 进程外组件 COM接口 

分 类 号：TP311.52[自动化与计算机技术—计算机软件与理论]