Enviar por SMS: Translating between Alloy specifications and UML class diagrams annotated with OCL