StateML+: From Graphical State Machine Models to Thread-Safe Ada Code
Autor
Alonso Cáceres, Diego; Vicente Chicote, Cristina; Pastor Franco, Juan Ángel; Álvarez Torres, María BárbaraEscuela/Centro
Escuela Técnica Superior de Ingeniería de TelecomunicaciónDepartamento
Tecnologías de la Información y las ComunicacionesGrupo de investigación
DSIEÁrea de conocimiento
Lenguajes y Sistemas InformáticosPatrocinadores
MEDWSA (TIN2006-15175-C05-02), Proyecto Fundación Séneca (02998-PI-05)Fecha de publicación
2008-06-16Editorial
Springer Berlin HeidelbergCita bibliográfica
Ada-Europe 2008, LNCS 5026, pp. 158–170, 2008.Revisión por pares
SiPalabras clave
Model driven engineering (MDE)Model to text (M2T) transformation
Finite state machines (FSM)
Eclipse
Resumen
This paper presents the StateML+ tool aimed at designing statemachines 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.
Colecciones
- Artículos [1752]
El ítem tiene asociados los siguientes ficheros de licencia:
Redes sociales