Alberto Valderruten Vidal, Yves Raynaud
Cuando la especificación de un sistema incluye restricciones de desempeño como los tiempos de respuesta esperados, su diseño debe realizarse siguiendo criterios cuantitativos adicionales, que se toman en cuenta mediante Modelos de Desempeño.
En este artículo situamos la integración del proceso de Evaluación del Desempeño en el desarrollo de un sistema, vista en términos de coexistencia entre Modelos de Diseño. Los Modelos de Desempeño deben reflejar la información contenida en otros modelos; con este propósito, identificamos las interacciones entre la Metodología de Desarrollo del sistema y el proceso de Evaluación del Desempeño.
Como ilustración, derivamos un Modelo de Redes de Colas a partir de un modelo construido con la Técnica de Descripción Formal LOTOS. Este trabajo fue realizado en el marco del proyecto COMPLEMENT, cuyo propósito es el estudio, adecuación e integración de metódos y herramientas para el desarrollo de Sistemas Tiempo real
© 2001-2024 Fundación Dialnet · Todos los derechos reservados