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