Text this: A Framework to Simulate UML Models: Moving from a Semi−Formal to a Formal Environment