AUTOMATIC PROTOCOL IMPLEMENTATION - GENERATING C(++) CODE FROM SDL/PR SPECIFICATIONS

被引：0
|
作者：
ADAMIS, G
机构：
[1] Technical University, Budapest Department of Telecommunications and Telematics, H-1111 Budapest
来源：
MICROPROCESSING AND MICROPROGRAMMING | 1994年 / 40卷 / 10-12期
关键词：
Protocol engineering tool;
D O I：
10.1016/0165-6074(94)90026-4
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
At the Department of Telecommunications and Telematics of the Technical University of Budapest we have developed an SDL-based protocol engineering tool called TELEPRO [ACS-93] that is suitable for specification of telecommunications protocols in SDL/GR that can be converted to SDL/PR and implemented in C++ high level object-oriented programming language in an automatic way (Figure 1). In this paper I focus on the description of the implementation module of the TELEPRO protocol engineering tool and I describe the structure of the automatically generated C++ program (called 'protocol implementation').
引用
收藏
页码：719 / 722
页数：4
相关论文
共 50 条
  • [1] Generating C code from LOGS specifications
    Zhou, JG
    Chen, YF
    THEORETICAL ASPECTS OF COMPUTING - ICTAC 2005, 2005, 3722 : 195 - 210
  • [2] Generating JADE agents from SDL specifications
    Stoica, Florin
    INTERNATIONAL JOURNAL OF COMPUTERS COMMUNICATIONS & CONTROL, 2006, 1 : 429 - 438
  • [3] AGES: Automatic generation of EFSMs from SDL specifications
    Wong, WE
    Ma, X
    Zhuo, D
    Cooper, K
    Tenth ISSAT International Conference on Reliability and Quality in Design, Proceedings, 2004, : 137 - 141
  • [4] Generating mixed hardware/software systems from SDL specifications
    Slomka, F
    Dörfel, M
    Münzenberger, R
    PROCEEDINGS OF THE NINTH INTERNATIONAL SYMPOSIUM ON HARDWARE/SOFTWARE CODESIGN, 2001, : 116 - 121
  • [5] AN AUTOMATIC IMPLEMENTATION METHOD OF PROTOCOL SPECIFICATIONS IN LOTOS
    CHENG, ZX
    TAKAHASHI, K
    SHIRATORI, N
    NOGUCHI, S
    IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, 1992, E75D (04) : 543 - 556
  • [6] Autolink - A tool for automatic test generation from SDL specifications
    Koch, B
    Grabowski, J
    Hogrefe, D
    Schmitt, M
    2ND IEEE WORKSHOP ON INDUSTRIAL STRENGTH FORMAL SPECIFICATION TECHNIQUES - PROCEEDINGS, 1999, : 114 - 125
  • [7] Generating optimized code from SCR specifications
    Rothamel, Tom
    Liu, Yanhong A.
    Heitmeyer, Constance L.
    Leonard, Elizabeth I.
    ACM SIGPLAN NOTICES, 2006, 41 (07) : 135 - 144
  • [8] EXPERIENCES IN AUTOMATIC TRANSLATIONS FROM SDL SPECIFICATIONS INTO CHILL IMPLEMENTATIONS.
    Barra, S.
    Ghisio, O.
    Modesti, M.
    CSELT Technical Reports, 1986, 14 (03): : 175 - 179
  • [9] Automated generation of micro protocol descriptions from SDL design specifications
    Fliege, Ingmar
    Gotzhein, Reinhard
    SDL 2007: DESIGN FOR DEPENDABLE SYSTEMS, PROCEEDINGS, 2007, 4745 : 150 - 165
  • [10] Automatic translation from SDL specification to distributed Erlang implementation
    Kunstic, M
    Jukic, O
    Mikuc, M
    MELECON 2000: INFORMATION TECHNOLOGY AND ELECTROTECHNOLOGY FOR THE MEDITERRANEAN COUNTRIES, VOLS 1-3, PROCEEDINGS, 2000, : 81 - 84
12345