MySQL4OCL is a compiler from OCL to MySQL that allows the automatic evaluation of OCL expressions on relational databases.

OCL2FOL implements a mapping from OCL (2 values) into first-order logic.

OCL2FOL+ implements a mapping from OCL (4 values) into first-order logic.

Traces Analyzer is a methodology for the analysis of ActionGUI models.

OCL2MSFOL implements a mapping from OCL (4 values) into first-order logic.

SQL-PL4OCL is a code generator from UML+OCL to MariaDB, MySQL, SQL Server, and PostgreSQL that allows automatic evaluation of OCL expressions on relational databases.