Computer network protocol specification with attribute grammar

被引：0
|
作者：
Fang, Dingyi [1 ]
机构：
[1] Northwest Univ, Xi'an, China
来源：
Ruan Jian Xue Bao/Journal of Software | 1998年 / 9卷 / 04期
关键词：
Computational linguistics - Computer networks - 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 条
  • [1] Computer network protocol specification with attribute grammar
    Fang, Dingyi
    Ruan Jian Xue Bao/Journal of Software, 9 (04): : 296 - 300
  • [2] INTRODUCTION TO PROGRESS, AN ATTRIBUTE GRAPH GRAMMAR BASED SPECIFICATION LANGUAGE
    SCHURR, A
    LECTURE NOTES IN COMPUTER SCIENCE, 1990, 411 : 151 - 165
  • [3] ATTRIBUTE GRAMMAR SPECIFICATION FOR A NATURAL-LANGUAGE UNDERSTANDING INTERFACE
    ALEXIN, Z
    GYIMOTHY, T
    HORVATH, T
    FABRICZ, K
    LECTURE NOTES IN COMPUTER SCIENCE, 1990, 461 : 313 - 326
  • [4] Network generating attribute grammar encoding
    Hussain, TS
    Browse, RA
    IEEE WORLD CONGRESS ON COMPUTATIONAL INTELLIGENCE, 1998, : 431 - 436
  • [5] A modular specification of Oberon0 using the Silver attribute grammar system
    Kaminski, Ted
    Van Wyk, Eric
    SCIENCE OF COMPUTER PROGRAMMING, 2015, 114 : 33 - 44
  • [6] Specification in grammar
    Kuteva, TA
    CULTURAL, PSYCHOLOGICAL AND TYPOLOGICAL ISSUES IN COGNITIVE LINGUISTICS, 1999, 152 : 269 - 284
  • [7] PROTOCOL FOR A COMPUTER NETWORK
    MCKAY, DB
    KARP, DP
    IBM SYSTEMS JOURNAL, 1973, 12 (01) : 94 - 105
  • [8] Computer network defense policy specification language
    Xia, Chunhe
    Wei, Yudi
    Li, Xiaojian
    Wang, Haiquan
    He, Wei
    Jisuanji Yanjiu yu Fazhan/Computer Research and Development, 2009, 46 (01): : 89 - 99
  • [9] Attribute grammar macros
    Viera, Marcos
    Swierstra, S. Doaitse
    SCIENCE OF COMPUTER PROGRAMMING, 2014, 96 : 211 - 229
  • [10] Computer network vulnerability assessment based on Bayesian attribute network
    Wang, Xiu-Juan
    Sun, Bo
    Liao, Yan-Wen
    Xiang, Cong-Bin
    Beijing Youdian Daxue Xuebao/Journal of Beijing University of Posts and Telecommunications, 2015, 38 (04): : 106 - 112
12345