Formal foundations for the Unified Modeling Language - Funes, Ana