Universidad Alejandro de Humboldt

Ingeniera en Informtica
Ingeniera del Software
Seccin: 604

Arquitectura dirigida por modelos y Ingeniera dirigida

por modelos

Profesor:

Integrantes:

Luis Pia

Kevin Faras C.I 24.523.748

Astrid Lucena C.I: 25.253.187
Kender Zambrano C.I 24.224.642

Caracas, 3 de Febrero del 2016

ndice

Introduccin..3 pag.
Definicin de Arquitectura dirigida por modelo (MDA)....4 pag.
Definiciones de UML...4 pag.
Perfiles UML......5 pag.
Modelos MDA....6 pag.
Transformacin de modelos.7 pag.
Principios de MDA......8 pag.

Ventajas del uso del MDA..8 pag.

Definicin Ingeniera dirigida por modelo (MDE)....9 pag.
Transformaciones Modelo a Modelo (M2M).9 pag.
Transformaciones Modelo a Texto (M2T)10 pag.
Conclusiones..12 pag.
Referencias Electronicas.13 pag.

Introduccin

En el rea de desarrollo de software a menudo surge mucha innovacin acerca de

cmo mejorar los procesos para la creacin de aplicaciones o sistemas, una de estas
tcnicas utilizadas para la elaboracin de sistemas se destaca, Arquitectura dirigida
por modelos (MDA) y Ingeniera dirigida por modelos (MDE), esta investigacin
profundiza acerca de estas prcticas que se utilizan para el diseo y desarrollo de
sistemas.
La arquitectura dirigida por modelos (MDA) nace como una estrategia muy competente
para el diseo y desarrollo de sistemas ya que unifica y simplifica las fases del
modelado, diseo, implementacin e integracin de un sistema; convirtiendo el
desarrollo de software en un proceso de transformacin de modelos, lo que hace que
el software se adapte con mayor facilidad a los cambios de tecnologa. Una de las
cosas importantes que emplea esta tcnica es la utilizacin del lenguaje unificado de
modelado el cual contiene los diagramas para visualizar, especificar, construir y
documentar un sistema, en los cuales destaca: casos de uso, diagrama de clase,
diagrama de estado, modelo de paquetes, diagrama de componentes, entre otros.
Ingeniera dirigida por modelos definida como una metodologa para el desarrollo de
sistemas, que toma como instrumento principal la reutilizacin de modelos
estandarizados, reduciendo el proceso de diseo y desarrollo del sistema. Al emplear
la transformacin de modelos las herramientas de trabajo utilizadas por MDE permiten
que un modelo alcance un estado de maximizacin en sus funciones y sea ms
refinado sino emplea la elaboracin de un modelo nuevo para el desarrollo del
sistema.
El modelado es un elemento esencial a la hora del desarrollo de un sistema, ya que en
el modelado se utilizan estrategias bsicas para que el desarrollador pueda entender
el problema y proponer una solucin esto es ampliamente utilizado en ingeniera del
software. la realizacin de un modelo para comenzar a desarrollar un sistema es muy
importante que ayuda a entender y realizar el trabajo de forma rpida y eficaz, es decir
se obtiene un producto final de calidad para los usuarios.
Las tcnicas MDA y MDE empeladas para el desarrollo de software tiene como
semejanza la elaboracin de modelos para llegar al producto final que es un sistema
que cumpla con los requerimientos de los usuarios.

Que es un modelo
Un modelo es una representacin abstracta y parcial de un sistema o proceso
Definicin de Arquitectura dirigida por modelo (MDA)
3

La Arquitectura Dirigida por Modelos (MDA) es un framework de desarrollo de

Software, en el cual los modelos del sistema guiarn todo el proceso de construccin
del Software, desde su anlisis y diseo, hasta su implementacin y mantenimiento,
as como tambin la integracin con futuros sistemas. Los objetivos principales de la
Arquitectura Dirigida por Modelos dentro del desarrollo de Software son los siguientes:

Definir un modelo independiente de la plataforma en la cual se piensa construir

un sistema, especificando datos y operaciones del mismo.
Definir modelos de plataformas especficas sobre las cuales se va a desarrollar
el sistema.
Generar, a partir de los modelos de plataformas especficas, el cdigo fuente
de la aplicacin.

La Arquitectura Dirigida por Modelos (MDA) utiliza los modelos del Lenguaje Unificado
de Modelado (UML) para guiar el proceso de desarrollo y generar cdigo a travs de
los mismos. A continuacin se describen las caractersticas principales de UML y
determinados modelos y diagramas que se utilizan dentro de MDA.
Definiciones de UML
UML es un lenguaje grfico de propsito general para especificar, construir, visualizar y
documentar artefactos de un sistema de software orientado a objetos. UML no es una
metodologa de desarrollo, es nicamente una notacin. UML se puede emplear:

A lo largo de todo el ciclo de vida.

Con distintas tecnologas.
Se recomienda emplear un proceso de desarrollo guiado por casos de uso,
centrado en la arquitectura, iterativo e incremental.

Cada modelo se representa grficamente mediante uno o ms diagramas, entre los

principales tenemos los siguientes:
Diagrama de Casos de Uso
El diagrama de casos de uso muestra las relaciones entre actores y casos de uso
dentro del sistema, y sirven para especificar la funcionalidad y el comportamiento de
un sistema. Es una secuencia de transacciones desarrolladas por un sistema en
respuesta a un evento iniciado por un actor. Los Casos de Uso describen el
comportamiento del sistema desde el punto de vista del usuario; establecen los lmites
del sistema y definen las relaciones entre ste y el entorno.
Diagrama de Clases
Una clase debe proporcionar una abstraccin bien definida de algo del dominio del
problema o de la solucin; muestra una clara distincin entre la implementacin y la
especificacin de la abstraccin. El diagrama de clases permite representar las clases
del sistema, as como las relaciones estructurales entre ellas. Muestra un conjunto de
elementos que son estticos, como las clases y tipos, junto con su contenido y
relaciones.
Modelo de Paquetes
Los paquetes ofrecen un mecanismo general para organizar los distintos submodelos
en los que se divide un modelo. Un paquete grficamente se representa de la
siguiente manera:
4

Dentro de un paquete pueden existir otros paquetes sin un lmite de anidamiento,

teniendo en cuenta que cada elemento pertenece nicamente a un solo paquete.
Diagrama de Transicin de Estados
El diagrama de transicin de estados de un objeto muestra todos sus estados
relevantes, as como las transiciones necesarias para pasar de un estado a otro.
Se debe entender que un objeto est siempre en un estado en un determinado
instante. Este estado est caracterizado parcialmente por los valores de los atributos
del objeto, los que determinan su comportamiento.
Diagrama de Componentes
Los componentes representan todos los tipos de elementos software, como son
archivos, paquetes, bibliotecas, etc.
El diagrama de componentes describe los elementos fsicos del sistema y sus
relaciones. Permite modelar la estructura del software y la dependencia entre
componentes; una relacin de dependencia indica que un componente utiliza otro.
Perfiles UML
El Lenguaje Unificado de Modelado es el estndar ms utilizado para especificar y
documentar cualquier tipo de sistema. En ocasiones, se requiere definir modelos
mucho ms precisos mediante un lenguaje que permita modelar y representar los
conceptos de ciertos dominios particulares.
Un Perfil UML es un mecanismo de extensin del Lenguaje Unificado de Modelado
(UML) y se define como un conjunto de estereotipos, restricciones y valores
etiquetados. A continuacin se describe cada uno de estos elementos:

Un estereotipo permite crear nuevos tipos de elementos de modelado

existentes en el metamodelo de UML; es decir, el estereotipo ser un nuevo
tipo de elemento de modelado que extiende la semntica del metamodelo.
Una restriccin impone condiciones sobre los elementos del metamodelo que
han sido estereotipados, de tal manera que el modelo del sistema en un
dominio de aplicacin tenga mayor precisin. Una restriccin generalmente se
define mediante una expresin del lenguaje Object Constraint Language (OCL).
Un valor etiquetado es una extensin de las propiedades de un elemento de
UML, permitiendo aadir nueva informacin en la especificacin del elemento.
Todo valor etiquetado ha de contar con un nombre y un tipo, y se asocia un
determinado estereotipo.

Los Perfiles UML permiten:

Aadir informacin que puede ser til al momento de transformar el modelo a

otros, o a cdigo
Aadir restricciones en el metamodelo a las ya existentes restringiendo su
forma de utilizacin.
Aadir cierta semntica que no existe o no aparece determinada de forma
precisa en el metamodelo.
Disponer de una terminologa y vocabulario propio de un dominio de aplicacin
o de una plataforma de implementacin especfica.

La funcionalidad de MDA inicia con la especificacin de un modelo independiente de la

plataforma (Platform Independent Model PIM), siendo un modelo de alto nivel. A partir
del mismo, se genera modelos de plataforma especfica (Platform Specific Model
PSM), los cuales describen el sistema de acuerdo con una tecnologa de
implementacin determinada, de esta manera facilita la generacin de cdigo a partir
de cada PSM. El paso de transicin entre modelos se lo conoce como Transformacin
de Modelos, y se lo realiza a travs de herramientas de transformacin.
Modelos MDA
La Arquitectura Dirigida por Modelos define tres niveles conceptuales dentro de su
estructura, siendo estos:

Modelo Independiente de Plataforma (PIM Platform Independent Model)

Modelo Especfico de Plataforma (PSM Platform Specific Model)
Modelo independiente de la computacin (CMI Computationally Independent
Model)

Modelo Independiente de Plataforma (PIM)

El Modelo Independiente de Plataforma (PIM) es un modelo con un alto nivel de
abstraccin que describe la estructura, funcionalidad y restricciones del sistema, sin
mostrar detalles de su utilizacin en una plataforma especfica. Al no referirse a
ninguna plataforma determinada de aplicacin en este nivel, el Modelo de Plataforma
Independiente tiene las siguientes utilidades:

Es de fcil comprensin para los usuarios, lo que permitira de una manera

ms sencilla una
Facilita la generacin de diferentes implementaciones del sistema en diferentes
plataformas de aplicacin, conservando su estructura y funcionalidad bsica.

El PIM debe expresarse en un lenguaje bien definido y preciso, que permita definir
tanto los aspectos estructurales como el comportamiento del sistema. En este caso, el
lenguaje principal de modelado en MDA es el Lenguaje Unificado de Modelado, de
esta forma, los diagramas UML ms adecuados para la creacin del PIM seran el
diagrama de clases para modelar la estructura del sistema, y los diagramas de
colaboracin para modelar el comportamiento del mismo.
Modelo Especfico de Plataforma (PSM)
El Modelo Especfico de Plataforma (PSM) es un modelo del sistema con detalles
especficos de la plataforma en la que ser implementado. Este modelo es generado a
partir del Modelo Independiente de Plataforma (PIM), de tal manera que representa el
mismo sistema, pero a un distinto nivel de abstraccin.
Un PSM es un PIM con detalles especficos para ser implementado en una plataforma
determinada. Para la construccin de Modelos Especficos de Plataforma es necesario
utilizar los Perfiles UML con el propsito de aumentar informacin semntica a los
modelos para expresar detalles especficos de la plataforma.
El proceso de transformacin de PIM a PSM se lo puede realizar de las siguientes
maneras:

Construyendo de forma manual el PSM a partir del PIM.

De manera semiautomtica, en la cual se genere un PSM bsico para

posteriormente ser completado de forma manual.
Generando un PSM completo a partir de un PIM de forma totalmente
automtica.

Haciendo referencia a este ltimo punto, cabe recalcar que es necesario utilizar
herramientas especializadas para el proceso de transformacin de modelos. Estas
herramientas son la base fundamental del proceso de MDA. Es importante indicar que
un PSM puede refinarse; es decir, transformndose de manera sucesiva en PSMs de
ms bajo nivel. En este punto, el PSM inicial tomara el papel de PIM del PSM
refinado. El propsito de este proceso sucesivo es el de llegar al punto en que pueda
ser transformado en cdigo de manera directa
Modelo independiente de la computacin
S que caracterizan el dominio del problema. Este tipo de modelos surge ante todo en
procesos de modelado de negocio e idealmente se conciben antes del levantamiento
de requisitos para una aplicacin particular.
Puentes de Comunicacin
Es importante destacar que a partir de un mismo Modelo Independiente de Plataforma
pueden generarse varios Modelos Especficos de Plataforma, cada uno realizando una
descripcin del sistema desde una perspectiva diferente. 19 De acuerdo a lo
mencionado, parecera que cada PSM sera independiente uno de otro, lo que no
tendra sentido al tratarse del mismo sistema. Para esto, al momento de generar los
PSM, tambin debe generarse los puentes de comunicacin entre las distintas partes,
a nivel de PSM y de cdigo.

Transformacin de modelos:
Una Transformacin de Modelos (Mapping MDA) proporciona la especificacin de la
transformacin de un PIM en un PSM para una plataforma determinada. Se puede
especificar dos tipos de definiciones de transformacin:

Transformacin de Tipos.
Transformacin de Instancias.

Transformacin de Tipos
Cada tipo de elemento del PIM se le aplica una regla determinada para transformarlo
en uno o varios elementos del PSM. En el Lenguaje Unificado de Modelado, estas
7

reglas pueden estar asociadas a tipos del metamodelo, es decir, elementos como
clase, atributos, relacin entre otros; o a nuevos tipos definidos mediante estereotipos.
Transformacin de Instancias
La transformacin de instancias identifica elementos especficos del PIM que deben
ser transformados de forma particular dada en una plataforma determinada. Esto se
puede conseguir con el uso de marcas. Una marca representa un concepto del PSM
que se aplica a un elemento del PIM para indicar la forma de ser transformado. Es
importante recalcar que las marcas, al ser especficas de la plataforma, no son parte
del PIM.
Toda transformacin de instancias del modelo tiene restricciones implcitas de tipo que
deben cumplirse al marcar el modelo para que la transformacin tenga sentido.
Implcitamente a cada tipo de elemento del PIM solo pueden aplicarse determinada
marcas que indican qu tipo de elemento se generar en el PSM.
Principios de MDA:

Presentacin directa.
Automatizacin.
Estndares abiertos

Ventajas del uso del MDA

Los desarrolladores no tienen que escribir mucho cdigo ya que parte de ello lo
genera los modelos PIM.

Portabilidad e independencia de la plataforma.

Aumentar el nivel de abstraccin.

Mayor facilidad de mantenimiento.

Cada fase de desarrollo puede ser desempeado por distintos expertos.

Definicin Ingeniera dirigida por modelo (MDE)

MDE es un acrnimo de Model Driven Engineering (ingeniera dirigida por modelos) y

hace referencia al uso sistemtico de modelos, como los elementos principales en la
ingeniera de software, durante el ciclo de vida completo del proyecto. MDE implica la
generacin automtica de programas a partir de modelos.
El principal objetivo del MDE es bajar el coste y mejorar la calidad de las inversiones
en software soluciones que aportan este tipo de modelos:

separar los aspectos del dominio de los aspectos de la tecnologa.

el conocimiento queda registrado en los modelos y las transformaciones
pueden ser rehusadas.
se automatizan partes importantes del proceso.
implementaciones de componentes usables por otras partes.

Cualquier proceso MDE, debe tener un objetivo, ya sea captura de requisitos,

diseo/desarrollo de una aplicacin, anlisis y testeo de sistemas/aplicaciones
Este objetivo ser el que limite las condiciones de modelado, ya que definir el
lenguaje de modelado a utilizar que limitar a su vez las herramientas disponibles para
modelar el proceso en base a dicho objetivo.
Otro factor a tener en cuenta en un proceso MDE es la representacin de la misma
realidad desde diferentes puntos de vista. El objetivo y la realidad que representa el
modelo es el mismo, pero la percepcin es diferente para cada miembro del proceso
de desarrollo. Es por esto que pueden aparecer diferentes puntos de vista.
Cada una de estas etapas o vistas del proceso suele utilizar sus propias herramientas
y su propia metodologa. Existen herramientas que definen procesos MDE completos
en base a diferentes objetivos (Simulink, Rational Software Architect), pero puesto que
no siempre se ajustan a nuestras necesidades, podemos crear nuestra propia
herramienta utilizando meta-modelos, definiendo los conceptos, las propiedades y las
relaciones de nuestro modelo.
Cada modelo es conforme a su meta-modelo, que a su vez es conformo con su
metameta-modelo de la siguiente manera:
El proceso para la creacin de meta-modelos requiere en primer lugar la definicin de
los conceptos que formarn parte de nuestro modelo. Es posible que algunos
conceptos estn relacionados entre s, por lo que estableceremos vnculos de herencia
entre ellos; pero tambin es posible que algunos elementos contengan a otros, por lo
que estableceremos vnculos de agregacin entre ellos, o pueden estar relacionados
entre s de igual a igual.
Estas arquitecturas basadas en modelos nos permiten realizar dos tipos de
transformaciones: transformaciones modelo a modelo (M2M) y transformaciones de
modelo a texto (M2T).
Transformaciones Modelo a Modelo (M2M)
Las transformaciones model to model (M2M), son uno de los principales mecanismo
de explotacin de las arquitecturas MDE/MDA. Una transformacin M2M consiste en la
obtencin a partir de uno o varios modelos, de un modelo ms refinado. En una
transformacin M2M se transforma un Modelo Ma instancia de un metamodelo MMa
en un modelo Mb instancia de un meta-modelo MMb. Los metamodelos MMa y MMb
pueden ser meta-modelos iguales o diferentes.
9

Esta trasformacin para obtener un modelo ms refinado de una representacin de la

realidad requiere mapeos de conceptos, reglas de inferencia y restricciones entre los
modelos de entrada y el modelo de salida.

En los procesos MDE, las transformaciones de modelo a modelo tienen tres

objetivos:

Automatizacin de transiciones entre fases: Mapeo de conceptos entre los

modelos de dos vistas (puntos de vista) distintos. Este mapeo se realiza de una
vista a su consecutiva.
Vinculacin de modelos con herramientas externas: ajuste de modelos para
obtener uno ms refinado compatible con herramientas externas que
pretendemos utilizar.
Mezcla de varios modelos en uno: pretendemos crear un modelo ms completo
a partir de uno o varios modelos base. Esto resultar beneficioso ya que tanto
las consultas como las modificaciones se centralizarn en un solo modelo en
lugar de tener varios.

Lenguajes ms utilizados en las transformaciones de modelo a modelo son ATL, QVT

y XTEND.
ATL
Una transformacin ATL se compone de un conjunto de "helpers" y de reglas de
transformacin. Cada una de las reglas de transformacin define como una parte del
modelo de destino se debe generar en base a una parte del modelo de origen. En
lenguaje ATL hay dos tipos de reglas lazy y matches rules.
Las reglas de tipo lazy son ejecutadas de forma automtica por el motor ATL. Cuando
el motor de ATL encuentra un elemento de entrada del modelo base adecuada a una
regla, la ejecuta.
Las reglas de tipo matches no se ejecutan de forma automtica sino que deben ser
llamadas desde otras reglas, otorgando un mayor control sobre la ejecucin de la
transformacin.
Una regla se compone principalmente de un patrn de entrada y un patrn de salida:

Patrn de entrada: filtro y definicin del conjunto de elementos del modelo de

entrada que sern transformados por la regla que se define.
Patrn de salida: definicin de la creacin de los elementos de salida a partir
de los elementos de entrada.

Transformaciones Modelo a Texto (M2T)

En el mundo de la ingeniera dirigida por modelos (MDE) las transformaciones
cumplen un papel fundamental, pudiendo establecer un vnculo entre los diferentes
modelos que se generan durante todo el proceso de desarrollo.
Hemos de tener en cuenta, que por lo general un proceso MDE tiene como fin la
obtencin de cdigo a partir de un modelo. El proceso puede ser ms o menos largo
pudiendo as implicar ms o menos transformaciones entre modelos (M2M) pero la
idea fundamental es obtener un modelo definitivo al final del proceso de desarrollo que

10

posteriormente ser transformado a cdigo mediante una transformacin de modelo a

texto.
El funcionamiento de una transformacin de modelo a texto (M2T) consiste en un
proceso por el que uno o varios modelos de entrada se transforman para generar
ficheros de texto plano. Para llevar a cabo estas transformaciones se aplican reglas de
transformacin sobre cada uno de los elementos del meta-modelo que nos interesan
convertir a texto plano.
Durante la transformacin del modelo a texto, se lleva a cabo un proceso de inferencia
por el cual se deduce la salida que se espera para cada uno de los elementos del
metamodelo que se analizan.
XPAND/XTEND
XPAND es un framework de generacin integrado en eclipse. La integracin y
utilizacin de XPAND va de la mano de otros dos elementos necesarios para el
anlisis de modelo y la realizacin de transformaciones sobre este, estos dos
complementos son XTEXT y XTEND.
XTEXT permite definir una gramtica para el anlisis de los modelos y XTEND nos
permitir analizar el modelo y realizar transformaciones M2M o M2T.
Como el resto de herramientas que estamos exponiendo, es til en varios puntos de
un proceso MDE como las transformaciones entre modelos provenientes de diferentes
puntos de vista de una misma realidad, para la obtencin de modelos ms completos;
y para el proceso final de obtencin de cdigo a partir de un modelo.
XTEND2
El anterior sistema de transformaciones modelo a texto, M2T Xpand, es uno de los
lenguajes de transformacin a texto ms amplios y ms utilizados por los usuarios
para este fin.
Sus ventajas respecto al resto de sistemas es que permite navegar de forma sencilla y
rpida a travs de los modelos. Esta facilidad de navegacin del modelo en parte
viene dada por la posibilidad de crear funciones de extensin a travs de Xtend.
Los principales inconvenientes que ofreca Xpand, y que se vieron obligados a mejorar
en la nueva arquitectura XTEND2, fueron:

Rendimiento: Xpand y Xtend, son lenguajes interpretados. Su intrprete est

escrito sin tener en cuenta factores de rendimiento en su compilacin, por lo
que
como
ya
contamos
anteriormente,
los
tiempos
de
compilacin/transformacin son muy elevados en medida que el modelo a
transformar se complica. Xpand, es muy lento y ofrece pocas prestaciones
frente a grandes arquitecturas.
Herramientas: La herramienta como tal, estn hecha con JFace, con cdigo
muy viejo y poco probado. Por lo que es muy susceptible a errores cuando lo
utilizamos.
Ayudas conceptualmente errneas: las herramientas de ayuda que ofrece la
arquitectura no son correctas y en ocasiones interrumpen al usuario cuando
est utilizando el sistema de transformaciones.

Conclusin
11

Visto lo expuesto se ha llegado a la conclusin que cabe destacar, en

primer lugar la definicin de MDA, es una representacin abstracta y parcial de
un sistema o proceso, asimismo se puede recalcar que un modelo es una
representacin parcial de la realidad, aplicable a cualquier elemento de nuestro
entorno y que cambian en funcin de su objetivo. Un modelo es una
simplificacin de la realidad que nos facilita su comprensin, por consiguiente y
de forma ms especfica, la utilizacin de modelo nos permite almacenar
informacin ordenada y estructurada, facilitando la compresin del proceso que
representa, permiten establecer un lenguaje nico y mejorar el mantenimiento
de los desarrollos en los que se utilizan, globalmente la arquitectura Dirigida
por Modelos (MDA) es un framework de desarrollo de Software, en el cual los
modelos del sistema guiarn todo el proceso de construccin del Software,
desde su anlisis y diseo, hasta su implementacin y mantenimiento, as
como tambin la integracin con futuros sistemas. Los objetivos principales de
la Arquitectura, en otro punto observamos el lenguaje UML (Lenguaje unificado
de modelado) el cual es un lenguaje grfico de propsito general para
especificar, construir, visualizar y documentar artefactos de un sistema de
software orientado a objetos, con esto llegamos a concluir que el lenguaje UML
no es una metodologa de desarrollo, es nicamente una notacin, en
definitiva, cada modelo se representa grficamente mediante uno o ms
diagramas, entre los cuales encabeza Diagrama de Casos de Uso, y finiquita
con los Diagrama de Componentes
Con base a la revisin bibliogrfica en torno al tema central de la
investigacin,

eptome se trata de diferentes modelos abstractos de un

sistema, y transformaciones de modelos bien definidos entre ellos. En un

sentido universal, son modelos en niveles de abstraccin que sirven como base
para arquitecturas de software que se realizan en ltima instancia, a travs de
diversas tecnologas de aplicacin variable con diferencia a la Ingeniera Diriga
por Modelos (MDE) la cual hace referencia al uso sistemtico de modelos,
como los elementos principales en la ingeniera de software, durante el ciclo de
vida completo del proyecto, as esperamos instruir al lector sobre el tema.

Referencias Electrnicas
12

http://di002.edv.uniovi.es/~cueva/asignaturas/masters/2008/MDE_udistrital.pdf.
http://sisbib.unmsm.edu.pe/bibvirtual/publicaciones/risi/2010_n2/v7n2/a02v7n2.
pdf.
http://dis.um.es/~jmolina/Ingenieria%20de%20modelos%20con%20MDA.pdf
https://sophia.javeriana.edu.co/~lfranky/patrones/sem05-MDA-Arquitecturadirigida-por-Modelos.pdf
https://lsi.ugr.es/~mvega/docis/mdapre.pdf
http://www.ie.inf.uc3m.es/grupo/docencia/reglada/asdm/presentacion.pdf

13