Un inconveniente importante que presenta hoy en día UML es la falta de semántica formal. Existen muchos conceptos que no define con la suficiente precisión como para que puedan ser interpretados sin ambigüedades. Uno de los principales objetivos de este trabajo es precisar la semántica de la redefinición de asociaciones, un constructor de UML que nos permite definir de manera más específica extremos de asociaciones. Así mismo, comparamos este constructor con conceptos similares, como el subsetting (de UML) o el refinamiento de asociaciones (de otros lenguajes de modelado), con el objetivo de mostrar claramente que se tratan de conceptos semánticamente diferentes. Todo ello ayudará al diseñador a hacer un uso correcto del constructor de la redefinición de asociaciones. Otra contribución significativa de este trabajo es la de incorporar a UML la semántica del refinamiento de asociaciones. Para ello, creamos nuevos estereotipos que nos permitirán incorporar todos aquellos casos que podemos expresar con el refinamiento y que no quedan cubiertos por la redefinición de asociaciones. Finalmente, implementamos estos estereotipos en la herramienta CASE PoseidonUML.