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

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

作　　者：房鼎益[1] 安娜[1] 

机构地区：[1]西北大学计算机科学系,西安710069

出　　处：《计算机应用与软件》2000年第8期9-15,56,共8页Computer Applications and Software

基　　金：国家自然科学基金资助(编号:69673023)

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

关 键 词：通信协议 属性文法 形式描述语言 协议开发环境 

分 类 号：TN915.04[电子电信—通信与信息系统] TP311.52[电子电信—信息与通信工程]