El Unified Modeling Language (UML) es un lenguaje gráfico, semiformal, que ha sido aceptado como estándar para describir sistemas de software orientados a objetos. UML define varios tipos de diagramas que se utilizan para describir diferentes aspectos o vistas de un sistema. En particular, los diagramas de Casos de Uso se utilizan para capturar los requerimientos de los sistemas y guiar su proceso de desarrollo. Los distintos Casos de Uso que se definen a lo largo de un proceso de desarrollo no son independientes sino que es posible establecer relaciones entre ellos. Las principales relaciones consideradas por UML son: Generalización (Generalization), Inclusión (Include) y Extensión (Extend). Estas relaciones, tanto como el resto de las construcciones de UML, están definidas semiformalmente, dando lugar a interpretaciones ambiguas e inconsistencias. Este trabajo presenta una formalización de las principales relaciones entre Casos de Uso aportando precisión en su definición. Además, con base en esta formalización se estudia la composición de estas relaciones en la etapa de evolución, mostrando en qué casos esta combinación es aplicable y cuándo se producen situaciones conflictivas.The Unified Modeling Language (UML) is a semi-formal graphical language that has been accepted as standard to model object-oriented software systems. This language defines various kinds of diagrams which are used to describe different aspects or views of a system. In particular, Use Cases diagrams are used to capture the requirements of the systems and to guide their development process. The different Use Cases defined throughout a development process are not independent but it is possible to set relations between them. The main relations considered by UML are the following: Generalization, Include and Extend. These relations as well as the remaining UML constructs are semi-formally defined, giving place to ambiguous interpretations and inconsistancies. This paper presents a formalization that gives precision to the definition of the main relations between Use Cases. Also, this work studies -based on the formalization- the composition between these relations during the evolution phase, showing in which cases this combination can be applied and when it may be conflicting.Laboratorio de Investigación y Formación en Informática Avanzada