移动计算中基于CCS的传输层协议的建模与形式化描述

摘要：

移动计算是一门新兴的技术,它是通信技术与人工智能技术相结合的产物.本文利用CCS(Calculus of Communicating Systems)对移动计算中所涉及的传统传输层协议UDP、TCP进行了建模并给出了详细的逻辑推理说明和证明,并给出必要的结论.本文的优点在于此方法不仅仅限于网络协议的证明,也能够将其推广到任何与进程通信相关的模型当中,此种方法对于判断一个与进程相关的模型是否具有健壮性有着十分重要的参考意义.文章最后给出了今后要研究的方向和内容.

关键词： 移动计算 CCS 协议 进程通信 进程代数

作者: 金岩 杨孝宗 左德承 董建

作者单位: 哈尔滨工业大学计算机科学与技术学院,哈尔滨工业大学 哈尔滨工业大学计算机科学与技术学院,哈尔滨工业大学容错计算实验室

会议类型: 国内会议

会议名称: 2003中国计算机大会

会议地点: 北京

会议语种:中文

页码: 1184-1188

在线出版日期: 2003-11-01（万方平台首次上网日期，不代表论文的发表时间）