ocl2fol
http://www.actiongui.org/index.php/ocl2fol-project?showall=&start=4
OCL2FOL implements our mapping ocl2fol from OCL to first-order logic.
This mapping follows (but also corrects and extends) the mapping originally introduced in Clavel et al. 2009.