TY - JOUR 
A1 - Alonso Cáceres, Diego
AU - Vicente Chicote, Cristina
AU - Pastor Franco, Juan Ángel
AU - Álvarez Torres, María Bárbara
T1 - StateML + : From Graphical State Machine Models to Thread-Safe Ada Code
Y1 - 2008
SN - 0302-9743
UR - http://hdl.handle.net/10317/1217
AB - This paper presents the StateML+ tool aimed at designing state-machines and automatically generating thread-safe and multi-tasking modular Ada code from them, following a Model-Driven Engineering approach. The StateML+ meta-model is an extension of a previous version, and now it offers improved modeling capabilities, which include regions and macro-state definition. In this paper, a case study regarding the design of a robotic system will be used to demonstrate the benefits of the proposed approach.
KW - Lenguajes y Sistemas Informáticos
KW - Modelos de Ingeniería de conducción
KW - Transformación de modelo a texto
KW - Máquinas de estado finito
KW - Generación de hilo seguro de código
KW - Plataforma eclipse
KW - Model driven engineering (MDE)
KW - Model to text transformation
KW - Finite state machines (FSM)
KW - Thread safe code generation
KW - Eclipse platform
LA - eng
PB - Springer
ER -