基于时序逻辑的面向实现的协议规范语言  

Realization-Oriented Protocol Specification Language Based on Temporal Logic

作　　者：刘才兴[1] 肖德琴[1] 张焕国[2] 邹华胜[3] 

机构地区：[1]华南农业大学信息学院计算机科学与工程系,广东广州510642 [2]武汉大学计算机学院,湖北武汉430072 [3]温州师范学院计算机系,浙江温州325027

出　　处：《小型微型计算机系统》2004年第5期847-850,共4页Journal of Chinese Computer Systems

基　　金：国家自然科学基金( 66973 0 3 4)资助;基金重点项目(90 10 40 0 5 )资助;华南农业大学校长基金资助

摘　　要：在多种形式化描述语言和时序逻辑原理的研究之上 ;针对通讯协议的特点提出一个协议模型思想 ,并设计了实现此模型协议描述语言 .本方法的特点是 :基于时序逻辑 ;引入了面向对象的概念 ,对事件有强的描述能力 ,让描述更接近于现实 ;扩展了对事件的描述 ,能描述事件的随机发生 ,我们已将之成功地应用于对超文本协议的描述 .In this paper, a new model of protocol are presented firstly based on the study of the exiting FDL and Temporal logic, followed by the model language. It is based on temporal logic, it is easy to realize, and expand the description of event. And also we have already described the hypertext transfer protocol successfully.

关 键 词：协议规范语言 面向实现 时序逻辑 

分 类 号：TP393[自动化与计算机技术—计算机应用技术]