Transcript Hydra (A General Framework for Formalizing UML with Formal