Formal semantics and ontological analysis for understanding subsetting, specialization and redefinition of associations in UML | Publicación