Estado del arte de verificación de transformación de modelos
- Autor(es):
- López, Horacio ; Varesi, Fernando ; Viñolo, Marcelo ; Calegari, Daniel ; Luna, Carlos
- Tipo:
- Reporte técnico
- Versión:
- Publicado
- Resumen:
-
El Desarrollo de Software Guiado por Modelos (Model-Driven Development, MDD) es un enfoque de ingeniería de software basado en el modelado de un sistema como la principal actividad del desarrollo y la construcción del mismo guiada por transformaciones de dichos modelos. Su éxito depende fuertemente de la disponibilidad de lenguajes y herramientas apropiados para realizar las transformaciones y validar su corrección. En relación a este último punto, este documento presenta un relevamiento del estado del arte de los diferentes enfoques y técnicas de verificación de transformaciones de modelos empleados para MDD. Se analizan las principales características de los enfoques existentes, a saber: basado en casos de prueba, model checking y métodos deductivos. Así mismo se estudian las diferentes técnicas existentes para cada enfoque y se presentan las herramientas utilizadas en la bibliografía, ejemplificando su uso.
- Año:
- 2010
- Idioma:
- Español
- Temas:
- Modelado de Sistemas
Model Driven Development
MDD
Software Guiado por Modelos
Ingeniería de Software
- Institución:
- Universidad de la República
- Repositorio:
- COLIBRI
- Enlace(s):
- http://hdl.handle.net/20.500.12008/3450
- Nivel de acceso:
- Acceso abierto