“El estudio de la variabilidad en el desarrollo del software viene creciendo de manera significativa en los últimos años. Las áreas de investigación abarcan desde la personalización del software a las líneas de productos. La manera más común de representar la variabilidad en líneas de productos de software es mediante modelos de funcionalidades o características. Sin embargo, la relación entre estos modelos y los modelos de diseño, generalmente basados en UML, no es sencilla. 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 el comportamiento de líneas de productos. Esto se logra junto con el uso de modelos de funcionalidades para describir los componentes comunes y los 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.” [Resumen]