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 条
  • [41] Generating Assertion Code from OCL: A Transformational Approach Based on Similarities of Implementation Languages
    Moiseev, Rodion
    Hayashi, Shinpei
    Saeki, Motoshi
    MODEL DRIVEN ENGINEERING LANGUAGES AND SYSTEMS, PROCEEDINGS, 2009, 5795 : 650 - 664
  • [42] Automatic test data generation from embedded C code
    Dillon, E
    Meudec, C
    COMPUTER SAFETY, RELIABILITY, AND SECURITY, PROCEEDINGS, 2004, 3219 : 180 - 194
  • [43] Generating Automatic Unit Tests of Java']JavaScript Code from UML Class and Activity Diagrams
    Malanowska, Agnieszka
    Malkiewicz-Blotniak, Adrianna
    ENASE: PROCEEDINGS OF THE 16TH INTERNATIONAL CONFERENCE ON EVALUATION OF NOVEL APPROACHES TO SOFTWARE ENGINEERING, 2021, : 189 - 196
  • [44] Automatic generation of security protocol implementations written in java from abstract specifications proved in the computational model
    Meng B.
    Huang C.-T.
    Yang Y.
    Niu L.
    Wang D.
    Meng, Bo (mengscuec@gmail.com), 1600, Femto Technique Co., Ltd. (19): : 138 - 153
  • [45] Generating objects from C code - Features of the CORET tool-set
    Taschwer, M
    Rauner-Reithmayer, D
    Mittermeir, R
    PROCEEDINGS OF THE THIRD EUROPEAN CONFERENCE ON SOFTWARE MAINTENANCE AND REENGINEERING, 1999, : 91 - 100
  • [46] Automatic data path generation from C code for custom processors
    Trajkovic, Jelena
    Gajski, Daniel
    EMBEDDED SYSTEM DESIGN: TOPICS, TECHNIQUES AND TRENDS, 2007, 231 : 107 - 120
  • [47] From IOPT Petri nets to C: an Automatic Code Generator Tool
    Campos-Rebelo, Rogerio
    Pereira, Fernando
    Moutinho, Filipe
    Gomes, Luis
    2011 9TH IEEE INTERNATIONAL CONFERENCE ON INDUSTRIAL INFORMATICS (INDIN), 2011,
  • [48] Automatic Model Extraction from C Code-Abstracter and Architecture
    Mukhopadhyay, Debapriyay
    INFORMATION SYSTEMS DESIGN AND INTELLIGENT APPLICATIONS, VOL 2, 2015, 340 : 389 - 398
  • [49] Design and validation of a C plus plus code generator from Abstract State Machines specifications
    Bonfanti, Silvia
    Gargantini, Angelo
    Mashkoor, Atif
    JOURNAL OF SOFTWARE-EVOLUTION AND PROCESS, 2020, 32 (02)
  • [50] Tool support for generating passive C++ test oracles from object-Z specifications
    McDonald, J
    Strooper, P
    ASIA-PACIFIC SOFTWARE ENGINEERING CONFERENCE, PROCEEDINGS, 2003, : 322 - 331
12345