Formal Semantics and Ontological Analysis for Understanding Subsetting, Specialization and Redefinition of Associations in UML | Publicación