Text this: UML formal semantics