• Description:
    OCL2FOL+ is a tool that implements a mapping from OCL (Object Constraint Language) to first-order logic. This mapping allows us to reason on UML models with OCL expressions and check satisfaction of them. It translation considers the four-value characteristics of OCL and is significantly more comprehensive than previous works.

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

  • More people envolved: Manuel Clavel and Marina Egea.

  • Case study: CSM. A security metamodel for cloud applications