Abstract: The semantics of Unified Modeling Language (UML) version 2.5, as defined by Object Management Group (OMG), are informal which leads to critical problems like ambiguities, inconsistencies, ...