摘要
用π演算模型来表现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
出处
《计算机工程》
CAS
CSCD
北大核心
2003年第13期82-84,86,共4页
Computer Engineering