面向实现的协议形式化描述语言

The Realization-Oriented Protocol Description Language

该文在多种形式化描述语言(FDL)和时序逻辑原理的研究基础上,针对通讯协议的特点提出了一个协议模型思想,并设计了实现此模型的协议描述语言。该语言对事件有强的描述能力,并且引入了面向对象的概念,让描述更接近于现实;它扩展了对事件的描述,能描述事件的随机发生,笔者已将之成功地应用于对HTTP协议和HTTP-NG协议的描述。

In this paper,a new model of protocol is presented firstly based on the study of the exiting FDL and Temporal logic,followed by the model language(ORDL)which is based on Temporal Logic.It is easy to realize and expand the description of event.In addition,the paper describes the HTTP protocol and HTTP-NG protocol successfully.