| 网络通信协议的属性文法规格说明 |
| |
| 引用本文： | 房鼎益.网络通信协议的属性文法规格说明[J].软件学报,1998,9(4):296-300. |
| |
| 作者姓名： | 房鼎益 |
| |
| 作者单位： | 西北大学计算机科学系,西安,710069 |
| |
| 基金项目： | 本文得到国家自然科学基金资助. |
| |
| 摘 要： | 本文给出一个基于属性文法的网络通信协议的形式说明与自动生成的模型.首先引入了一个扩展的属性文法描述工具,讨论了用其描述协议的并行、同步、延时（时序）等特性的有关问题；然后研究了基于属性文法的网络通信协议自动生成环境及其核心算法——属性计算（即语义分析）算法.
|
| 关 键 词： | 属性文法 计算机网络 通信协议 规格说明. |
| 收稿时间： | 8/2/1996 12:00:00 AM |
| 修稿时间： | 1997/5/22 0:00:00 |
Computer Network Protocol Specification with Attribute Grammar |
| |
| FANG Ding-yi.Computer Network Protocol Specification with Attribute Grammar[J].Journal of Software,1998,9(4):296-300. |
| |
| Authors: | FANG Ding-yi |
| |
| Affiliation: | Department of Computer Science Northwest University Xi'an 710069 |
| |
| Abstract: | A model for computer network protocol specification and automatic generation is described in this paper. An extended attribute grammar to specify a protocol is introduced, on which the representations about parallelism, synchronization and timing in protocols are emphasized. Then, a protocol development environment is illustrated, and some referring issues, especially a semantics evaluation algorithm, are investigated. |
| |
| Keywords: | Attribute grammar computer networks communication protocol specification |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
| 点击此处可从《软件学报》浏览原始摘要信息 |
|
点击此处可从《软件学报》下载全文 |
|
