Título:
Ingeniería dirigida por modelos y programación funcional.
Otros títulos:
Coordinador:
Director:
Compilador:
Autor:
Celio Travers, Marcelo
Laiolo Mirenda, Walmar
Laiolo Mirenda, Walmar
Tutor:
Calegari, Daniel
Viera, Marcos
Viera, Marcos
Tipo de documento:
Tesis de grado
Editor:
Palabras clave:
Descriptores:
Año de publicación:
2015
Contenido:
Resumen:
El paradigma de Ingeniería Dirigida por Modelos (MDE por sus siglas en inglés) propone la construcción de software basado en una abstracción de su complejidad a través de la definición de modelos y en un proceso de construcción (semi) automático guiado por transformaciones de estos modelos. Existen diversos enfoques para la definición y ejecución de transformaciones de modelos. En particular, el Object Management Group (OMG) ha llevado adelante un proceso de estandarización de lenguajes para MDE definiendo el MetaObject Facility (MOF) como el lenguaje de metamodelado y el Query/-View/Transformation Relations (QVT-Relations) que define las transformaciones de modelos como relaciones matemáticas entre elementos de origen y destino.
El objetivo general de este proyecto es explorar la posibilidad de utilizar un enfoque funcional (utilizando el lenguaje Haskell) para la especificación de modelos y la ejecución de transformaciones de modelos. Para ello se definen en Haskell las estructuras necesarias para la representación de los metamodelos, estableciendo las directrices generales del mapeo entre el lenguaje de metamodelado y los tipos Haskell definidos para su representación. También se generan parsers de XML que permiten reconocer e instanciar los metamodelos
a partir de sus definiciones en archivos que cumplen los estándares estipulados por MOF, y además, se define un conjunto de funciones aplicables a los metamodelos instanciados que permiten validar los mismos sintáctica y
semánticamente. Análogamente se definen las estructuras necesarias para la representación de las transformaciones entre metamodelos, estableciendo las reglas de mapeo entre la gramática de QVT y los tipos Haskell que se definen. Además se implementan los parsers necesarios para reconocer las transformaciones
a partir de archivos QVT, y se define un conjunto de funciones que permite validar las definiciones de las transformaciones especificadas contra los metamodelos de origen y destino previamente reconocidos.
Descripción:
Editorial:
Udelar.FI
EN:
Financiadores:
Citación:
Celio Travers, M. y Laiolo Mirenda, W. Ingeniería dirigida por modelos y programación funcional [en línea]. Tesis de grado. Montevideo: Udelar. FI. INCO, 2015.
Citación:
metadata.cc.license.name:
Documento del Gobiberno:
URI:
https://hdl.handle.net/20.500.12008/50084
ISBN:
e-ISBN:
ISSN:
ISMN:
Otros identificadores:
Título Obtenido:
Ingeniero en Computación
Facultad o Servicio que otorga el Título:
Universidad de la República (Uruguay). Facultad de Ingeniería.
Licencia:
Licencia Creative Commons Atribución - No Comercial - Sin Derivadas (CC - By-NC-ND 4.0)
Cobertura geográfica:
Cobertura temporal:
metadata.dc.relation.IsVersionOf:
Clasificación:
Es versión de:
Colecciones:
| Ficheros | Descripción | Tamaño | Formato | ||
|---|---|---|---|---|---|
| CL15.pdf | Tesis de grado | 3.03 MB | Adobe PDF |