Table 3: Comparison of UML stereotypes by each tool.

Stereotype HOL-OCL MOVA UMLtoCSP Alloy UML2Alloy USE

Auxiliary No No No Yes No No
Enumeration Yes Yes No Yes Yes Yes
Type No No No No No No