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 条

[21] Automatic code generation method based on Esterel
He, Yanxiang
Yu, Tao
Liu, Jianbo
Xu, Chao
Beijing Hangkong Hangtian Daxue Xuebao/Journal of Beijing University of Aeronautics and Astronautics, 2015, 41 (05): : 817 - 824
[22] Automatic Code Generation of MVC Web Applications
Paolone, Gaetanino
Marinelli, Martina
Paesani, Romolo
Di Felice, Paolino
COMPUTERS, 2020, 9 (03) : 1 - 29
[23] Research on automatic code generation technology on the basis of UML and visualization of templates
Liu, Peishun
Zheng, Maochun
Yang, Yongquan
ENERGY SCIENCE AND APPLIED TECHNOLOGY, 2016, : 541 - 544
[24] Automatic code generation for simulating information systems
So, B
Lew, A
SIMULATION, 1999, 73 (03) : 159 - 167
[25] The state reduction of nondeterministic finite-state machines
Damiani, M
IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, 1997, 16 (11) : 1278 - 1291
[26] Heuristics for fault diagnosis when testing from finite state machines
Guo, Qiang
Hierons, Robert A.
Harman, Mark
Derderian, Karnig
SOFTWARE TESTING VERIFICATION & RELIABILITY, 2007, 17 (01) : 41 - 57
[27] Toward testing from finite state machines with symbolic inputs and outputs
Petrenko, Alexandre
SOFTWARE AND SYSTEMS MODELING, 2019, 18 (02) : 825 - 835
[28] AUTOMATED TEST CODE GENERATION FROM CLASS STATE MODELS
Xu, Dianxiang
Xu, Weifeng
Wong, W. Eric
INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING, 2009, 19 (04) : 599 - 623
[29] Toward testing from finite state machines with symbolic inputs and outputs
Alexandre Petrenko
Software & Systems Modeling, 2019, 18 : 825 - 835
[30] Towards Testing from Finite State Machines with Symbolic Inputs and Outputs
Petrenko, Alexandre
21ST ACM/IEEE INTERNATIONAL CONFERENCE ON MODEL DRIVEN ENGINEERING LANGUAGES AND SYSTEMS (MODELS 2018), 2018, : 187 - 187

← 1 2 3 4 5 →