作者投稿和查稿 主编审稿 专家审稿 编委审稿 远程编辑

›› 2003, Vol. 29 ›› Issue (13): 89-.

• 论文 • 上一篇    下一篇

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

葛鸣铭,傅育熙   

  1. 上海交通大学计算机科学与工程系,上海交通大学计算机科学与工程系 上海 200030
  • 发布日期:2003-07-15

Description on COM Interface Invocation by Agent Algebra

GE Mingming, FU Yuxi   

  1. (Department of Computer Science& Engeneering,Shanghai Jiaotong University,Shanghai 200030)
  • Published:2003-07-15

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

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

Abstract: 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

中图分类号: