Máquinas de estados con variabilidad

Abstract

Este trabajo presenta una extensión de las máquinas de estados de UML con el uso de variabilidades en sus componentes esenciales para especificar líneas de productos. Eso se logra junto con el uso de modelos de funcionalidades para describir los componentes comunes y las variantes, de forma tal que a partir de distintas configuraciones de un modelo se pueden generar máquinas de estados concretas para los diferentes productos de una línea.