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 条

[31] Software Modelling and Automatic Code Generation Based on Reactive State Diagram
Qu, M. C.
Meng, L. J.
Wu, X. H.
Cui, N. G.
PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON COMPUTER INFORMATION SYSTEMS AND INDUSTRIAL APPLICATIONS (CISIA 2015), 2015, 18 : 899 - 901
[32] AUTOMATIC SYNTHESIS OF STATE MACHINES FROM TRACE DIAGRAMS
KOSKIMIES, K
MAKINEN, E
SOFTWARE-PRACTICE & EXPERIENCE, 1994, 24 (07): : 643 - 658
[33] Automatic code generation and Arduino
Craig, Kevin C.
EDN, 2012, 57 (18) : 26 - 26
[34] Automatic generation of numerical code
Korelc, J
CHALLENGING THE BOUNDARIES OF SYMBOLIC COMPUTATION, 2003, : 9 - 16
[35] CODE GENERATION IN AUTOMATIC PARALLELIZERS
COLLARD, JF
APPLICATIONS IN PARALLEL AND DISTRIBUTED COMPUTING, 1994, 44 : 185 - 194
[36] 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
[37] Test suite generation techniques based on extended finite state machines
Liang, Xiao-Ya
Xiao, De-Bao
Zhongshan Daxue Xuebao/Acta Scientiarum Natralium Universitatis Sunyatseni, 2006, 45 (SUPPL.): : 240 - 242
[38] 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
[39] Input sequence generation for testing of Communicating Finite State Machines (CFSMs)
Derderian, Karnig
Hierons, Robert M.
Harman, Mark
Guo, Qiang
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2004, 3103 : 1429 - 1430
[40] Evolving finite state machines with embedded genetic programming for automatic target detection
Benson, K
PROCEEDINGS OF THE 2000 CONGRESS ON EVOLUTIONARY COMPUTATION, VOLS 1 AND 2, 2000, : 1543 - 1549

← 1 2 3 4 5 →