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.