Mostrar el registro sencillo del ítem
StateML + : From Graphical State Machine Models to Thread-Safe Ada Code
dc.contributor.author | Alonso Cáceres, Diego | |
dc.contributor.author | Vicente Chicote, Cristina | |
dc.contributor.author | Pastor Franco, Juan Ángel | |
dc.contributor.author | Álvarez Torres, María Bárbara | |
dc.date.accessioned | 2010-03-12T07:57:56Z | |
dc.date.available | 2010-03-12T07:57:56Z | |
dc.date.issued | 2008-06-11 | |
dc.identifier.citation | 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-9743 | es |
dc.identifier.issn | 0302-9743 | |
dc.description.abstract | 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. | es |
dc.description.sponsorship | 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). | es |
dc.format | application/pdf | |
dc.language.iso | eng | es |
dc.publisher | Springer | es |
dc.rights | Copyright © 2008 Springer | es |
dc.rights | The original publication is available at www.springerlink.com | es |
dc.title | StateML + : From Graphical State Machine Models to Thread-Safe Ada Code | es |
dc.type | info:eu-repo/semantics/article | es |
dc.subject.other | Lenguajes y Sistemas Informáticos | es |
dc.subject | Modelos de Ingeniería de conducción | es |
dc.subject | Transformación de modelo a texto | es |
dc.subject | Máquinas de estado finito | es |
dc.subject | Generación de hilo seguro de código | es |
dc.subject | Plataforma eclipse | es |
dc.subject | Model driven engineering (MDE) | es |
dc.subject | Model to text transformation | es |
dc.subject | Finite state machines (FSM) | es |
dc.subject | Thread safe code generation | es |
dc.subject | Eclipse platform | es |
dc.identifier.uri | http://hdl.handle.net/10317/1217 | |
dc.contributor.investgroup | División de Sistemas e Ingeniería Electrónica (DSIE) | es |
dc.identifier.doi | 10.1007/978-3-540-68624-8_12 | |
dc.rights.accessRights | info:eu-repo/semantics/openAccess |
Ficheros en el ítem
Este ítem aparece en la(s) siguiente(s) colección(ones)
-
Artículos [1768]
Redes sociales