Scientific Papers
ISSI Research PapersPaper information
Title
Validación incremental de Modelos usando Escenarios y Prototipado Automático
Validación incremental de Modelos usando Escenarios y Prototipado Automático
Ángel Roche Aparisi
Published in
Proceedings of the XI Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2006), pp. 337-346, ISBN 84-95999-99-4 - 2006
Proceedings of the XI Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2006), pp. 337-346, ISBN 84-95999-99-4 - 2006
Abstract
La ingeniería de software dirigida por modelos está generando grandes expectativas debido a la mejora que podría suponer en productividad y calidad para el desarrollo de software. Así, con el énfasis puesto en los modelos del software, se hace patente la necesidad de ofrecer mecanismos que apoyen su elaboración. La generación automática de código a partir de modelos comprime el ciclo de vida del software y permite obtener versiones ejecutables del sistema en poco tiempo. Sin embargo, el producto final no es el más apropiado para hacer una validación exhaustiva de los modelos de origen, especialmente cuando la lógica del modelo queda accesible a través de una gruesa capa de presentación. En este trabajo presentamos un enfoque para especificación y validación de modelos, ajustada al proceso de descubrimiento de requisitos que, de forma incremental, afrontan el analista y el cliente. Nuestra propuesta utiliza un marco formal para la especificación y generación automática del prototipo asociado al modelo. El modelo es validado interactuando con el prototipo usando técnicas de escenarios basados en trazas para establecer tanto el comportamiento esperado como el ejecutado por el modelo. Mediante un ejemplo se ilustra la aplicación de nuestro enfoque y se presenta un entorno software de apoyo que ha sido desarrollado
La ingeniería de software dirigida por modelos está generando grandes expectativas debido a la mejora que podría suponer en productividad y calidad para el desarrollo de software. Así, con el énfasis puesto en los modelos del software, se hace patente la necesidad de ofrecer mecanismos que apoyen su elaboración. La generación automática de código a partir de modelos comprime el ciclo de vida del software y permite obtener versiones ejecutables del sistema en poco tiempo. Sin embargo, el producto final no es el más apropiado para hacer una validación exhaustiva de los modelos de origen, especialmente cuando la lógica del modelo queda accesible a través de una gruesa capa de presentación. En este trabajo presentamos un enfoque para especificación y validación de modelos, ajustada al proceso de descubrimiento de requisitos que, de forma incremental, afrontan el analista y el cliente. Nuestra propuesta utiliza un marco formal para la especificación y generación automática del prototipo asociado al modelo. El modelo es validado interactuando con el prototipo usando técnicas de escenarios basados en trazas para establecer tanto el comportamiento esperado como el ejecutado por el modelo. Mediante un ejemplo se ilustra la aplicación de nuestro enfoque y se presenta un entorno software de apoyo que ha sido desarrollado
BibTeX
@misc{issi_web:id:212,
title = "Validación incremental de Modelos usando Escenarios y Prototipado Automático",
author = "Ángel Roche Aparisi and Patricio Letelier Torres and Elena Navarro Martínez and Manuel Llavador Campos",
booktitle = "Proceedings of the XI Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2006), pp. 337-346, ISBN 84-95999-99-4",
year = "2006",
eprint = "http://issi.dsic.upv.es/publications/archives/f-1161100303759/c_ready_rocheJISBD.pdf",
url = "",
abstract = "La ingeniería de software dirigida por modelos está generando grandes expectativas debido a la mejora que podría suponer en productividad y calidad para el desarrollo de software. Así, con el énfasis puesto en los modelos del software, se hace patente la necesidad de ofrecer mecanismos que apoyen su elaboración. La generación automática de código a partir de modelos comprime el ciclo de vida del software y permite obtener versiones ejecutables del sistema en poco tiempo. Sin embargo, el producto final no es el más apropiado para hacer una validación exhaustiva de los modelos de origen, especialmente cuando la lógica del modelo queda accesible a través de una gruesa capa de presentación. En este trabajo presentamos un enfoque para especificación y validación de modelos, ajustada al proceso de descubrimiento de requisitos que, de forma incremental, afrontan el analista y el cliente. Nuestra propuesta utiliza un marco formal para la especificación y generación automática del prototipo asociado al modelo. El modelo es validado interactuando con el prototipo usando técnicas de escenarios basados en trazas para establecer tanto el comportamiento esperado como el ejecutado por el modelo. Mediante un ejemplo se ilustra la aplicación de nuestro enfoque y se presenta un entorno software de apoyo que ha sido desarrollado"
}