Automatic Code Generation from Finite State Machines

被引：0
|
作者：
Rincon Nigro, Mario [1 ]
Aguilar Castro, Jose [1 ]
Hidrobo Torres, Francisco [2 ]
机构：
[1] Univ Los Andes, CEMISID, Fac Ingn, Merida, Venezuela
[2] Univ Los Andes, SUMA, Fac Ciencias, Merida, Venezuela
来源：
COMPUTACION Y SISTEMAS | 2011年 / 14卷 / 04期
关键词：
Theory of Computing; Models of Computation; Finite State Machines; Automatic Code Generation; UML;
D O I：
暂无
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
In this work, we present a tool for automatic source code generation, in OO languages, from abstract models expressed in UML. The tool allows the code generation, as much of the static structure as the dynamic behavior, present in models of software systems. Specifically, it allows to generate source code in the C++ language, from the classes diagrams, state diagrams, and activities diagrams of the UML. This tool could be integrated to a modeling CASE tool, with appropriate exporting capacities of UML models in format XMI. We present details of tool design and implementation, with special attention in code generation for dynamic behavior. In addition, to evaluate the tool, we present study cases
引用
收藏
页码：405 / 421
页数：17
相关论文
共 50 条
  • [1] A Code Generation Tool for Embedded Automotive Systems Based on Finite State Machines
    Lindlar, Felix
    Zimmermann, Armin
    2008 6TH IEEE INTERNATIONAL CONFERENCE ON INDUSTRIAL INFORMATICS, VOLS 1-3, 2008, : 1443 - +
  • [2] A Tool for Automatic Code Generation from Schemas
    Gavilanes, Antonio
    Martin, Pedro J.
    Torres, Roberto
    COMPUTATIONAL SCIENCE - ICCS 2009, 2009, 5545 : 63 - 73
  • [3] Automatic generation of finite-element code by simultaneous optimization of expressions
    Korelc, J
    THEORETICAL COMPUTER SCIENCE, 1997, 187 (1-2) : 231 - 248
  • [4] Using mutual information to test from Finite State Machines: Test suite generation?,??
    Ibias, Alfredo
    JOURNAL OF SYSTEMS AND SOFTWARE, 2022, 192
  • [5] The Metric for Automatic Code Generation
    Li, Zhen
    Jiang, Ying
    Zhang, Xiao Jiang
    Xu, Hai Yan
    PROCEEDINGS OF THE 3RD INTERNATIONAL CONFERENCE ON MECHATRONICS AND INTELLIGENT ROBOTICS (ICMIR-2019), 2020, 166 : 279 - 286
  • [6] A Hybrid Test Generation Approach based on Extended Finite State Machines
    Turlea, Ana
    Ipate, Florentin
    Lefticaru, Raluca
    PROCEEDINGS OF 2016 18TH INTERNATIONAL SYMPOSIUM ON SYMBOLIC AND NUMERIC ALGORITHMS FOR SCIENTIFIC COMPUTING (SYNASC), 2016, : 173 - 180
  • [7] Test generation for multiple state-table faults in finite-state machines
    Pomeranz, I
    Reddy, SM
    IEEE TRANSACTIONS ON COMPUTERS, 1997, 46 (07) : 783 - 794
  • [8] Code Design for Flicker Mitigation in Visible Light Communications Using Finite State Machines
    Mejia, Carlos E.
    Georghiades, Costas N.
    Abdallah, Mohamed M.
    Al-Badarneh, Yazan H.
    IEEE TRANSACTIONS ON COMMUNICATIONS, 2017, 65 (05) : 2091 - 2100
  • [9] A systematic review of code generation proposals from state machine specifications
    Dominguez, Eladio
    Perez, Beatriz
    Rubio, Angel L.
    Zapata, Maria A.
    INFORMATION AND SOFTWARE TECHNOLOGY, 2012, 54 (10) : 1045 - 1066
  • [10] Automatic code generation from Matlab/Simulink for critical applications
    Krizan, J.
    Ertl, L.
    Bradac, M.
    Jasansky, M.
    Andreev, A.
    2014 IEEE 27TH CANADIAN CONFERENCE ON ELECTRICAL AND COMPUTER ENGINEERING (CCECE), 2014,
12345