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] On finding a minimal functional description of a finite-state machine for test generation for adjacent machines
Pomeranz, I
Reddy, SM
IEEE TRANSACTIONS ON COMPUTERS, 2000, 49 (01) : 88 - 94
[32] Model matching for finite-state machines
Di Benedetto, MD
Sangiovanni-Vincentelli, A
Villa, T
IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2001, 46 (11) : 1726 - 1743
[33] Incomplete Distinguishing Sequences for Finite State Machines
Hierons, Robert M.
Turker, Uraz Cengiz
COMPUTER JOURNAL, 2015, 58 (11) : 3089 - 3113
[34] STRUCTURED SCENE DECODING WITH FINITE STATE MACHINES
Sahbi, Hichem
2018 25TH IEEE INTERNATIONAL CONFERENCE ON IMAGE PROCESSING (ICIP), 2018, : 485 - 489
[35] Iterative minimization of partial Finite State Machines
Alberto, Alex D. B.
Simao, Adenilso
OPEN COMPUTER SCIENCE, 2013, 3 (02): : 91 - 103
[36] Synthesis of reconfigurable hierarchical finite state machines
Sklyarov, Valery
Skliarova, Iouliia
AUTONOMOUS ROBOTS AND AGENTS, 2007, 76 : 259 - 265
[37] Genetic algorithms - synthesis of finite state machines
Popov, A
Filipova, K
27th International Spring Seminar on Electronics Technology, Books 1-3, Conference Proceedings: MEETING THE CHALLENGES OF ELECTRONICS TECHNOLOGY PROGRESS, 2004, : 388 - 392
[38] Spiking neurons and the induction of finite state machines
Natschläger, T
Maass, W
THEORETICAL COMPUTER SCIENCE, 2002, 287 (01) : 251 - 265
[39] Synchronizable test sequences of finite state machines
Tai, KC
Young, YC
COMPUTER NETWORKS AND ISDN SYSTEMS, 1998, 30 (12): : 1111 - 1134
[40] Asymptotic model matching for finite state machines
Di Benedetto, MD
Sangiovanni-Vincentelli, A
Saldanha, A
SYSTEM STRUCTURE AND CONTROL 1998 (SSC'98), VOLS 1 AND 2, 1998, : 435 - 440

← 1 2 3 4 5 →