Ice协议的形式化分析  

The Formal Analysis of Ice Protocol

作　　者：杨小刚[1] 沈曾伟[1] 

机构地区：[1]北京航空航天大学软件开发环境国家重点实验室,北京100083

出　　处：《计算机科学》2006年第8期240-242,246,共4页Computer Science

基　　金：国家973资助项目(No.G1999032709)

摘　　要：Ice中间件是一个和COBRA同样强大却摒除了COBRA的缺陷的分布式对象平台,它为异构环境下的应用开发提供了一种新的方式。Ice协议定义了客户和服务器通信的规则。本文使用pi演算描述分析Ice协议,从交互过程和协议实体两方面对协议进行了刻画,揭示其并发、分布的对象计算特征。Ice is the object-oriented middleware platform and is as powerful as CORBA without making all of CORBA＇ s mistakes, it provides a new way to develop the application in heterogeneous environment. Ice protocol defines the communication regulation between client and server. This paper gives a formal analysis of Ice protocol from two sides, interaction and protocol entity, which highly embody the parallel and distributed feature of Ice.

关 键 词：ICE PI演算 协议压缩 

分 类 号：TP31[自动化与计算机技术—计算机软件与理论]