一个基于属性文法的通信协议形式描述语言及协议开发环境

AN ATTRIBUTE GRAMMAR DESCRIPTION LANGUAGE AND AN INTEGRATED ENVIRONMENT FOR PROTOCOL SPECIFICATION AND DEVELOPMENT

通信协议是网络技术的核心。由于异质异构环境中网络协议固有的复杂性,因此需要研制一套建立在严格数学模型基础之上的协议开发方法和集成工具环境,以降低协议开发难度,提高协议开发效率。本文旨在探索一种用于协议形式描述和工程开发的扩展属性文法,重点研究了设计属性文法描述语言的原理及结构特点等,并通过一个完整例子说明如何使用我们所设计的属性文法描述语言L_PSAG定义一个协议,然后给出一个基于属性文法的协议设计环境。

Communication protocols play a key role in computer networks. In order to facilitate protocol designing and increase the efficiency of protocols development, some formal specification models and integrated tools are needed.In this paper,a model based on attribute grammar is presented firstly, which is the foundation of protocol specification, analysis, verification, and automatic generation. Then, an attribute grammar description language for specifying protocols is introduced,and followed by a complete example, which demonstrates features of the language and its usage. Finally, an integrated environment, its components , structure, and characteristics, are discussed.