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 条
  • [31] From protocol specifications to flaws and attack scenarios: An automatic and formal algorithm
    Debbabi, M
    Mejri, M
    Tawbi, N
    Yahmadi, I
    SIXTH IEEE WORKSHOPS ON ENABLING TECHNOLOGIES: INFRASTRUCTURE FOR COLLABORATIVE ENTERPRISES, PROCEEDINGS, 1997, : 256 - 261
  • [32] Formal techniques for automatically generating marshalling code from high-level specifications
    Dietz, P
    Weigert, T
    Weil, F
    2ND IEEE WORKSHOP ON INDUSTRIAL STRENGTH FORMAL SPECIFICATION TECHNIQUES - PROCEEDINGS, 1999, : 40 - 47
  • [33] AUTOMATIC GENERATION OF OBJECT-ORIENTED CODE FROM DEVS GRAPHICAL SPECIFICATIONS
    Hamri, M.
    Zacharewicz, G.
    2012 WINTER SIMULATION CONFERENCE (WSC), 2012,
  • [34] Generating stream based code from plain C
    Beemster, M
    van Someren, H
    Fitzpatrick, L
    van Royen, R
    EMBEDDED COMPUTER SYSTEMS: ARCHITECTURES, MODELING, AND SIMULATION, 2005, 3553 : 232 - 241
  • [35] Automatically generating C++ programs from LOTOS behavior specifications
    Kim, C
    Kim, K
    Jeong, C
    Oh, Y
    1998 ASIA PACIFIC SOFTWARE ENGINEERING CONFERENCE, PROCEEDINGS, 1998, : 54 - 60
  • [36] Automatic Generation of Verilog Bus Transactors from Natural Language Protocol Specifications
    Harris, Ian G.
    2012 IEEE INTERNATIONAL HIGH LEVEL DESIGN VALIDATION AND TEST WORKSHOP (HLDVT), 2012, : 33 - 40
  • [37] Automatic generation of VHDL code for self-timed circuits from simulink specifications
    Tranchero, Maurizio
    Reyneri, Leonardo M.
    2007 14TH IEEE INTERNATIONAL CONFERENCE ON ELECTRONICS, CIRCUITS AND SYSTEMS, VOLS 1-4, 2007, : 287 - 290
  • [38] GENERATING COMPACT CODE FROM DATA-FLOW SPECIFICATIONS OF MULTIRATE SIGNAL-PROCESSING ALGORITHMS
    BHATTACHARYYA, SS
    BUCK, JT
    HA, SH
    LEE, EA
    IEEE TRANSACTIONS ON CIRCUITS AND SYSTEMS I-FUNDAMENTAL THEORY AND APPLICATIONS, 1995, 42 (03): : 138 - 150
  • [39] Generating Automatic Unit Tests of JavaScript Code from UML Class and Activity Diagrams
    Malanowska, Agnieszka
    Malkiewicz-Blotniak, Adrianna
    International Conference on Evaluation of Novel Approaches to Software Engineering, ENASE - Proceedings, 2021, 2021-April : 189 - 196
  • [40] Generating Correct, Compact, and Efficient PLC Code from Scenario-based Assume-Guarantee Specifications
    Gritzner, Daniel
    Greenyer, Joel
    4TH INTERNATIONAL CONFERENCE ON SYSTEM-INTEGRATED INTELLIGENCE: INTELLIGENT, FLEXIBLE AND CONNECTED SYSTEMS IN PRODUCTS AND PRODUCTION, 2018, 24 : 153 - 158
12345