Giachetti, GiovanniRosales Feliú, Mauricio IgnacioFacultad de Ingeniería2017-07-182017-07-182017http://repositorio.unab.cl/xmlui/handle/ria/3724Tesis (Ingeniero Civil Informático)Este trabajo de título está orientado al desarrollo de una herramienta de verificación automática para interoperabilidad de modelos, específicamente para modelos de análisis y de diseño. Se entiende por interoperabilidad al intercambio de información entre dos o más sistemas que utilizan dicha información para realizar procesos específicos (IEEE, 1991). En el desarrollo dirigido por modelos este intercambio de información se realiza mediante el uso de modelos que son transformados para poder adaptarlos a las propuestas MDD involucradas. Para garantizar que la interoperabilidad en entornos MDD es correcta, se debe asegurar que los modelos son correctamente transformados y que pueden ser reconocidos y utilizados por las distintas tecnologías que participan. Si en el proceso de transformación, algún elemento no puede ser transformado, entonces la información que será intercambiada es incompleta y por lo tanto la interoperabilidad presentará problemas. En resumen, es fundamental tener un mecanismo de verificación para garantizar que la interoperabilidad de las soluciones MDD sea completa. Para desarrollar una solución MDD, es importante contar con lenguajes de modelado adecuados. Estos lenguajes de modelado son definidos en base a ciertas reglas, la cuales están determinadas por su metamodelo. El proceso de transformación de modelos se realiza tomando en cuenta un modelo fuente o de entrada (source model) para generar un modelo objetivo o de salida (target model) y la transformación o reglas de transformación involucran un mapping, el cual se realiza conforme a los meta modelos respectivos. En la Ilustración 2 se muestra un esquema de la transformación entre modelos.esDesarrollo de Software Dirigido por ModelosTesis