.
Many UML tools support in their recent versions the specification of OCL constraints on UML models, however, most of them without parsing, typechecking and execution of the constraints.