Tools


  • 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.