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 条
  • [41] Synthesis of protocol specification from service specification
    Karpov, Yu.G., 1600, (23):
  • [42] PROTOCOL SPECIFICATION FOR OSI
    VONBOCHMANN, G
    COMPUTER NETWORKS AND ISDN SYSTEMS, 1990, 18 (03): : 167 - 184
  • [43] PROTOTYPING BY USING AN ATTRIBUTE GRAMMAR AS A LOGIC PROGRAM
    RIEDEWALD, G
    LECTURE NOTES IN COMPUTER SCIENCE, 1991, 545 : 401 - 437
  • [44] Systematic debugging method for attribute grammar description
    Sassa, M
    Ookubo, T
    INFORMATION PROCESSING LETTERS, 1997, 62 (06) : 305 - 313
  • [45] Towards Attribute Grammar Mining by Symbolic Execution
    Moser, Michael
    Pichler, Josef
    Pointner, Andreas
    2022 IEEE INTERNATIONAL CONFERENCE ON SOFTWARE ANALYSIS, EVOLUTION AND REENGINEERING (SANER 2022), 2022, : 822 - 826
  • [46] Software Process Modelling using Attribute Grammar
    Atan, Rodziah
    Ghani, Abdul Azim Abd.
    Selamat, Mohd Hasan
    Mahmod, Ramlan
    INTERNATIONAL JOURNAL OF COMPUTER SCIENCE AND NETWORK SECURITY, 2007, 7 (08): : 273 - 281
  • [47] ATTRIBUTE-GRAMMAR INTERPRETER FOR INEXACT REASONING
    PANAYIOTOPOULOS, T
    PAPAKONSTANTINOU, G
    SGOUROS, NM
    INFORMATION AND SOFTWARE TECHNOLOGY, 1990, 32 (05) : 347 - 356
  • [48] SENTENCE GENERATOR BASED ON AN ATTRIBUTE GRAMMAR.
    Papakonstantinou, G.
    Angewandte Informatik, Applied Informatics, 1983, 25 (08): : 345 - 347
  • [49] AN ATTRIBUTE GRAMMAR INTERPRETER AS A KNOWLEDGE ENGINEERING TOOL
    PAPAKONSTANTINOU, G
    MORAITIS, C
    PANAYIOTOPOULOS, T
    ANGEWANDTE INFORMATIK, 1986, (09): : 382 - 388
  • [50] ATTRIBUTE GRAMMAR BASED PROGRAMMING AND ITS ENVIRONMENT
    SHINODA, Y
    KATAYAMA, T
    PROCEEDINGS OF THE TWENTY-FIRST, ANNUAL HAWAII INTERNATIONAL CONFERENCE ON SYSTEM SCIENCES, VOLS 1-4: ARCHITECTURE TRACK, SOFTWARE TRACK, DECISION SUPPORT AND KNOWLEDGE BASED SYSTEMS TRACK, APPLICATIONS TRACK, 1988, : B612 - B620
12345