StateML + : From Graphical State Machine Models to Thread-Safe Ada Code
Compartir
Estadísticas
Ver Estadísticas de usoMetadatos
Mostrar el registro completo del ítemAutor
Alonso Cáceres, Diego; Vicente Chicote, Cristina; Pastor Franco, Juan Ángel; Álvarez Torres, María BárbaraGrupo de investigación
División de Sistemas e Ingeniería Electrónica (DSIE)Área de conocimiento
Lenguajes y Sistemas InformáticosPatrocinadores
This research has been funded by the Spanish CICYT project MEDWSA (TIN2006-15175-C05-02) and the Regional Government of Murcia Seneca Program (02998-PI-05).Fecha de publicación
2008-06-11Editorial
SpringerCita bibliográfica
ALONSO, Diego, VICENTE CHICOTE, Cristina, PASTOR, Juan A., ÁLVAREZ, Bárbara. StateML + : From Graphical State Machine Models to Thread-Safe Ada Code. Lecture Notes in Computer Science, 5026/2008: 158-170, Junio 2008. ISSN 0302-9743Palabras clave
Modelos de Ingeniería de conducciónTransformación de modelo a texto
Máquinas de estado finito
Generación de hilo seguro de código
Plataforma eclipse
Model driven engineering (MDE)
Model to text transformation
Finite state machines (FSM)
Thread safe code generation
Eclipse platform
Resumen
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.
Colecciones
- Artículos [1733]
El ítem tiene asociados los siguientes ficheros de licencia:
Redes sociales