StateML+: From Graphical State Machine Models to Thread-Safe Ada Code
Author
Alonso Cáceres, Diego; Vicente Chicote, Cristina; Pastor Franco, Juan Ángel; Álvarez Torres, María BárbaraCenter
Escuela Técnica Superior de Ingeniería de TelecomunicaciónDepartment
Tecnologías de la Información y las ComunicacionesResearch Group
DSIEKnowledge Area
Lenguajes y Sistemas InformáticosSponsors
MEDWSA (TIN2006-15175-C05-02), Proyecto Fundación Séneca (02998-PI-05)Publication date
2008-06-16Publisher
Springer Berlin HeidelbergBibliographic Citation
Ada-Europe 2008, LNCS 5026, pp. 158–170, 2008.Peer review
SiKeywords
Model driven engineering (MDE)Model to text (M2T) transformation
Finite state machines (FSM)
Eclipse
Abstract
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.
Collections
- Artículos [1738]
The following license files are associated with this item:
Social media