Predicción del comportamiento de ensamblados de componentes software a partir de modelos de comportamiento individuales.

Resum

Los sistemas basados en componentes se construyen a día de hoy de forma en la que el sistema es verificado y validado cuando el sistema está completamente desplegado, Esta tesis plantea una metodología de desarrollo de este tipo de sistemas donde se anticipe la idoneidad del sistema a construir a una fase de diseño. Para ello se proponen modelos de comportamiento de los componentes en base a máquinas de estado que se esamblan con un conector especial llamado Composition Management Interface, que permite la simulación de la construcción del sistema. Todo ello se pone en ejecucción, y se analiza el estado global del sistema para verificar y validar el comportamiento de un sistema basado en componentes.