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

摘要：

用π演算模型来表现COM接口调用,在服务器是进程内或进程外组件的情况下,统一对COM接口调用中的重要部件(如客户、代理管理器、接口代理、存根管理器、接口存根、组件对象等),用π演算进程给出了形式化的刻画,从而从总体上描述了COM接口调用的一系列流程,并通过此模型,清晰地表现出COM接口调用的进程透明特性,也进一步体现了演算对于描述进程通信及并行性的独特优势.

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

所属期刊栏目：29

分类号：TP311.52(计算技术、计算机技术)

在线出版日期：2003-10-31（万方平台首次上网日期，不代表论文的发表时间）

页数：共4页

页码：82-84,86