Examples

  • Library. ¬†This project consists of the data model and the OCL expressions which are used as a running example in the original paper about OCL2FOL.