Resumen:
La Ingeniería Dirigida por Modelos (IDM) se basa fundamentalmente en la definición de metamodelos, la edicíon de modelos y la especificacíon de transformaciones entre éstos (MMT, Model-to-Model Transformations). En muchos casos el desarrollo, evolución y adaptacíon de estas transformaciones se sigue realizando sin apoyarse en métodos o herramientas que permitan reducir el esfuerzo y los costes asociados a estas actividades. En este trabajo se presenta un proceso que permite medir el grado en que las reglas que implementan dichas transformaciones se adecúan a su especificacíon. Para ello, se plantea el proceso de verificación de MMT como un proceso de extracción de informacíon aplicándose métricas ampliamente utilizadas en este tipo de escenarios. Este trabajo de verificacíon de MMT se ha desarrollado y probado en la adaptacíon de reglas de transformación dentro del proyecto MIGRARIA.