Ice协议的形式化分析

【文件属性】：
文件名称：Ice协议的形式化分析
文件大小：133KB
文件格式：PDF
更新时间：2014-07-31 10:32:05
Ice 形式化分析 ice中间件是一个和CORBA同样强大却摒除了CORBA的缺陷的分布式对象平台， 它为异构环境下的应用开发提供了一种新的方式。ICE协议定义了客户和服务器通信的规则。本文使用Pi演算描述分析ICE协议， 从交互过程和协议实体两方面对协议进行了刻画， 揭示其并发、 分布的对象计算特征。