节点文献

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

Description on COM Interface Invocation by Agent Algebra

  • 推荐 CAJ下载
  • PDF下载
  • 不支持迅雷等下载工具,请取消加速工具后下载。

【作者】 葛鸣铭傅育熙

【Author】 GE Mingming, FU Yuxi (Department of Computer Science& Engeneering,Shanghai Jiaotong University,Shanghai 200030)

【机构】 上海交通大学计算机科学与工程系上海交通大学计算机科学与工程系 上海200030上海200030

【摘要】 用π演算模型来表现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

  • 【文献出处】 计算机工程 ,Computer Engineering , 编辑部邮箱 ,2003年13期
  • 【分类号】TP311.1
  • 【被引频次】4
  • 【下载频次】94
节点文献中: 

本文链接的文献网络图示:

本文的引文网络