Computer network protocol specification with attribute grammar

被引:0
|
作者
Fang, Dingyi
机构
来源
Ruan Jian Xue Bao/Journal of Software | / 9卷 / 04期
关键词
Computer networks - Computational linguistics - Formal languages - Software engineering;
D O I
暂无
中图分类号
学科分类号
摘要
A model for computer network protocol specification and automatic generation is described. 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.
引用
收藏
页码:296 / 300
相关论文
共 50 条