Entrelazamiento de los aspectos estático y dinámico en las asociaciones UML

El Lenguaje Unificado de Modelado (Unified Modeling Language - UML) es un lenguaje visual de modelado de propósito general utilizado para especificar, visualizar, construir y documentar los artefactos (piezas de información) de un sistema informático orientado a objetos. Uno de los elementos básicos del lenguaje UML es la "asociación", que se define como "la relación semántica entre dos o más clasificadores que especifica conexiones entre sus instancias". Como ocurre con otros elementos del lenguaje, la definición de asociación y de sus propiedades presenta faltas de precisión, ambigüedades, contradicciones internas y dificultades para su aplicación práctica. En esta Tesis Doctoral se ha desarrollado una investigación acerca del concepto de asociación en UML, centrada en tres grandes aspectos teóricos (la multiplicidad, la navegabilidad y la visibilidad) y buscando siempre las consecuencias de su aplicación práctica (la implementación). La principal conclusión de esta Tesis Doctoral es que la semántica o significado de toda asociación incluye dos aspectos que están íntimamente entrelazados: el aspecto estático y el aspecto dinámico, relacionados respectivamente con la estructura y comportamiento del sistema. También hemos argumentado que, para lograr un mayor desacoplamiento entre los participantes en una asociación, conviene definir una asociación no entre clasificadores, sino entre interfaces