Ice协议的形式化分析

摘要：

Ice中间件是一个和COBRA同样强大却摒除了COBRA的缺陷的分布式对象平台,它为异构环境下的应用开发提供了一种新的方式.Ice协议定义了客户和服务器通信的规则.本文使用pi演算描述分析Ice协议,从交互过程和协议实体两方面对协议进行了刻画,揭示其并发、分布的对象计算特征.

关键词：Ice、pi演算、协议压缩

所属期刊栏目：33

分类号：TP3(计算技术、计算机技术)

资助基金：国家重点基础研究发展计划973计划G1999032709

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

页数：共4页

页码：240-242,246