Una transformación de modelo , en ingeniería basada en modelos , es una forma automatizada de modificar y crear modelos específicos de una plataforma a partir de modelos independientes de la plataforma . Un ejemplo de uso de la transformación de modelos es garantizar que una familia de modelos sea consistente, en un sentido preciso que el ingeniero de software pueda definir. El objetivo de utilizar una transformación de modelo es ahorrar esfuerzo y reducir errores automatizando la construcción y modificación de modelos cuando sea posible.
Las transformaciones de modelos pueden considerarse como programas que toman modelos como entrada. Existe una amplia variedad de tipos de transformación de modelos y usos de ellos, que difieren en sus entradas y salidas y también en la forma en que se expresan.
Una transformación de modelo generalmente especifica qué modelos son aceptables como entrada y, si corresponde, qué modelos puede producir como salida, especificando el metamodelo al que debe ajustarse un modelo.
Las transformaciones de modelos y los lenguajes para ellas se han clasificado de muchas maneras. [1] [2] [3] Algunas de las distinciones más comunes que se hacen son:
En principio, una transformación de modelo puede tener muchas entradas y salidas de varios tipos; la única limitación absoluta es que una transformación de modelo tomará al menos un modelo como entrada. Sin embargo, una transformación de modelo que no produjo ningún modelo como resultado se denominaría más comúnmente análisis de modelo o consulta de modelo.
Las transformaciones endógenas son transformaciones entre modelos expresados en un mismo lenguaje. Las transformaciones exógenas son transformaciones entre modelos expresados utilizando diferentes lenguajes. [4] Por ejemplo, en un proceso que se ajusta a la arquitectura basada en modelos OMG , un modelo independiente de la plataforma podría transformarse en un modelo específico de la plataforma mediante una transformación del modelo exógeno.
Una transformación de modelo unidireccional tiene solo un modo de ejecución: es decir, siempre toma el mismo tipo de entrada y produce el mismo tipo de salida. Las transformaciones de modelos unidireccionales son útiles en situaciones similares a las de compilación, donde cualquier modelo de salida es de solo lectura. La noción relevante de consistencia es entonces muy simple: el modelo de entrada es consistente con el modelo que la transformación produciría como salida, únicamente.
Para una transformación de modelo bidireccional, a veces se puede introducir el mismo tipo de modelo y otras veces se puede generar. Las transformaciones bidireccionales son necesarias en situaciones en las que las personas trabajan en más de un modelo y los modelos deben mantenerse consistentes. Entonces, un cambio en cualquiera de los modelos podría requerir un cambio en el otro, para mantener la coherencia entre los modelos. Debido a que cada modelo puede incorporar información que no se refleja en el otro, puede haber muchos modelos que sean consistentes con un modelo dado. Casos especiales importantes son:
Es particularmente importante que una transformación de modelo bidireccional tenga propiedades apropiadas para que se comporte de manera sensata: por ejemplo, no realizar cambios innecesariamente o descartar cambios realizados deliberadamente. [5]
Una transformación de modelo puede escribirse en un lenguaje de programación de propósito general, pero también hay disponibles lenguajes de transformación de modelos especializados. Las transformaciones bidireccionales, en particular, se escriben mejor en un lenguaje que garantice que las direcciones estén relacionadas adecuadamente. Los lenguajes de transformación de modelos estandarizados por OMG se conocen colectivamente como QVT .
En algunos lenguajes de transformación de modelos, por ejemplo los lenguajes QVT , una transformación de modelo es en sí misma un modelo, es decir, se ajusta a un metamodelo que es parte de la definición del lenguaje de transformación de modelos. Esto facilita la definición de Transformaciones de Orden Superior (HOT), [6] es decir, transformaciones que tienen otras transformaciones como entrada y/o salida.
{{cite book}}: |journal=ignorado ( ayuda )