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

Realization-Oriented Protocol Specification Language Based on Temporal Logic

在多种形式化描述语言和时序逻辑原理的研究之上 ;针对通讯协议的特点提出一个协议模型思想 ,并设计了实现此模型协议描述语言 .本方法的特点是 :基于时序逻辑 ;引入了面向对象的概念 ,对事件有强的描述能力 ,让描述更接近于现实 ;扩展了对事件的描述 ,能描述事件的随机发生 ,我们已将之成功地应用于对超文本协议的描述 .

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.