IMDEA Software Institute

Contact Information

---

Carolina Dania
IMDEA Software Institute
Campus de Montegancedo s/n
28223-Pozuelo de Alarcón, Madrid
SPAIN

Telephone: +34-91-101-2202
Fax: +34-91-101-1358
Cel: +34-683-294404

e-mail:
carolina.dania # imdea.org
       (Replace "#" by "@")

OCL2FOL

• 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.