• Description:
    OCL2FOL is a tool that implements a mapping from OCL (2 values) to first-order logic. Finally, you can find the tutorial and more information about this project here.

    Now, there is a better mapping available, please see OCL2MSFOL.

  • More people envolved: Manuel Clavel, Marina Egea, and Miguel Angel Garcia de Dios.