Una familia de modelos es un conjunto de modelos relacionados en un idioma dado, con similitudes y variabilidades que resultan de la evolución de los modelos con el tiempo y/o variación en el uso previsto (la dimensión espacial). A medida que aumenta el tamaño de la familia, se vuelve engorroso analizar los modelos individualmente. Una solución es representar una familia utilizando un modelo global que admita el análisis. En este documento, proponemos el concepto de modelo de unión como una representación completa y concisa de todos los miembros de una familia de modelos. Utilizamos la teoría de grafos para formalizar una familia de modelos como un conjunto de grafos tipados atribuidos en los que todos los modelos están tipados sobre el mismo metamodelo. El modelo de unión se formaliza como la unión de todos los elementos de grafo en la familia. Estos elementos de grafo están anotados con sus versiones y configuraciones de modelo correspondientes. Esta formalización es independiente del lenguaje de modelado utilizado. También demostramos cómo se pueden utilizar modelos de unión para realizar tareas de razonamiento en familias de modelos, por ejemplo, análisis de tendencias y verificación de propiedades. Los resultados empíricos sugieren beneficios potenciales de ahorro de tiempo al utilizar modelos de unión para el análisis y el razonamiento sobre un conjunto de modelos todos a la vez en lugar de analizar separadamente modelos individuales uno por uno.