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 条
  • [21] ATTRIBUTE GRAMMARS AS A SPECIFICATION METHOD
    KASTENS, U
    LECTURE NOTES IN COMPUTER SCIENCE, 1991, 545 : 16 - 47
  • [22] Graphiti: Interactive Specification of Attribute-based Edges for Network Modeling and Visualization
    Srinivasan, Arjun
    Park, Hyunwoo
    Endert, Alex
    Basole, Rahul C.
    IEEE TRANSACTIONS ON VISUALIZATION AND COMPUTER GRAPHICS, 2018, 24 (01) : 226 - 235
  • [23] THE ATTRIBUTE-DRIVEN SPECIFICATION
    HAYNES, JL
    MEDICAL DEVICE & DIAGNOSTIC INDUSTRY, 1993, 15 (05): : 93 - &
  • [24] A Multi-Attribute Routing Protocol for Opportunistic Network Environments
    Yasmin, Sadaf
    Bin Rais, Rao Naveed
    Qayyum, Amir
    2014 23RD INTERNATIONAL CONFERENCE ON COMPUTER COMMUNICATION AND NETWORKS (ICCCN), 2014,
  • [25] COMPLEXITY CHARACTERIZATIONS OF ATTRIBUTE GRAMMAR LANGUAGES
    EFREMIDIS, S
    PAPADIMITRIOU, CH
    SIDERIS, M
    INFORMATION AND COMPUTATION, 1988, 78 (03) : 178 - 186
  • [26] USING AN ATTRIBUTE GRAMMAR AS A LOGIC PROGRAM
    RIEDEWALD, G
    LAMMEL, U
    LECTURE NOTES IN COMPUTER SCIENCE, 1989, 348 : 161 - 179
  • [27] Silver: an Extensible Attribute Grammar System
    Van Wyk, Eric
    Bodin, Derek
    Gao, Jimin
    Krishnan, Lijesh
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2008, 203 (02) : 103 - 116
  • [28] Document recognition: An attribute grammar approach
    Viswanathan, M
    Green, E
    Krishnamoorthy, MS
    DOCUMENT RECOGNITION III, 1996, 2660 : 101 - 111
  • [29] ATTRIBUTE GRAMMAR BASED THEOREM PROVER
    PANAYIOTOPOULOS, T
    PAPAKONSTANTINOU, G
    STAMATOPOULOS, G
    INFORMATION AND SOFTWARE TECHNOLOGY, 1988, 30 (09) : 553 - 560
  • [30] Specification of the RTPA grammar and its recognition
    Tan, XM
    Wang, YX
    Ngolah, CF
    PROCEEDINGS OF THE THIRD IEEE INTERNATIONAL CONFERENCE ON COGNITIVE INFORMATICS, 2004, : 54 - 63
12345