%0 Journal Article 
%A Alonso Cáceres, Diego
%A Vicente Chicote, Cristina
%A Pastor Franco, Juan Ángel
%A Álvarez Torres, María Bárbara
%T StateML + : From Graphical State Machine Models to Thread-Safe Ada Code
%D 2008
%@ 0302-9743
%U http://hdl.handle.net/10317/1217
%X 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.
%K Lenguajes y Sistemas Informáticos
%K Modelos de Ingeniería de conducción
%K Transformación de modelo a texto
%K Máquinas de estado finito
%K Generación de hilo seguro de código
%K Plataforma eclipse
%K Model driven engineering (MDE)
%K Model to text transformation
%K Finite state machines (FSM)
%K Thread safe code generation
%K Eclipse platform
%~ GOEDOC, SUB GOETTINGEN