Formalización de transformaciones de refinamiento de componentes
Research Group
División de Sistemas e Ingeniería electrónica (DSIE)Sponsors
Centro Universitario de la Defensa. Escuela de Turismo de Cartagena. Escuela Técnica Superior de Ingeniería Industrial UPCT. Escuela Técnica Superior de Ingeniería de Telecomunicación (ETSIT). Escuela de Ingeniería de Caminos y Minas (EICM). Escuela de Arquitectura e Ingeniería de Edificación (ARQ&IDE). Parque Tecnológico de Fuente Álamo. Navantia. Campus Mare NostrumPublication date
2011-05-27Publisher
Universidad Politécnica de CartagenaBibliographic Citation
ROSIQUE CONTRERAS, Francisca; SÁNCHEZ PALMA, Pedro y ALONSO CÁCERES, Diego. Formalización de transformaciones de refinamiento de componentes. En: IV Jornadas de introducción a la investigación de la UPCT, mayo 2011, nº 4. Pp. 73-75. ISSN:1888-8356Keywords
Ingeniería del SoftwareRefinamiento
Formalismo lógico
Metamodelos
MDA
Abstract
En el proceso de desarrollo de software dirigido por modelos es posible encontrar
situaciones en las que las transformaciones entre modelos de distintos niveles de abstracción necesitan un tratamiento previo que facilite la transformación, sobre todo cuando se dispone de varios modelos especificas de la plataforma. En este documento se propone como solución la realización de una transformación de refinamiento, previa a la obtención del modelo especifico de la plataforma.
Collections
The following license files are associated with this item:
Social media