鲁棒环境演算类型演化系统的扩充

摘要：

移动计算是在网络技术发展过程中涌现出来的一种新的分布计算范型,移动环境演算是一种广为使用的描述移动计算的形式化模型,鲁棒环境演算[1]是针对这种演算的一种改进.文献[2]提出了类型演化问题,然而其研究只是针对不含有通信原语的纯演算进行.在[2]的基础上,进一步讨论了此问题.通过引入消息类型和消息体类型,并将之与原有的进程类型和环境类型相结合,提出了一个支持类型演化的能够对带有消息传递的进程项类型化的类型系统,从而将[2]的工作扩充到整个鲁棒环境演算中.证明了类型系统的正确性.同时给出了一个最小类型算法,在给定类型上下文的条件下,算法能够计算出任意进程项的类型;并证明了算法的可靠性和完备性.

关键词：进程代数、环境演算、类型演化、类型系统

所属期刊栏目：40

分类号：TP301.6(计算技术、计算机技术)

资助基金：National Natural Science Foundation of China60273034, 60233010;the National High-Tech Research and Development Plan of China2002AA116010;the 973 Program of China2002CB312002

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

页数：共9页

页码：531-539