Table 1 From Systematic Mapping Formalization Of Uml Semantics Using