DresdenOCL is pretty good:

http://www.dresden-ocl.org/index.php/DresdenOCL

There is also an Eclipse based OCL project:

https://projects.eclipse.org/projects/modeling.mdt.ocl

ArgoUML

Eclipse (from v3.0 version) with OCL-dedicated Octopus plugin.

Follow:

• Download URL: http://octopus.sourceforge.net/
• Documentation: http://www.szallies-informatik.de/sware/ocl/OctopusOCLwithMagicDraw.pdf
• citation in https://www.google.fr/url?sa=t&rct=j&q=&esrc=s&source=web&cd=3&cad=rja&uact=8&ved=0ahUKEwiZuqvKlcnSAhWGcBoKHQsCCZkQFggqMAI&url=http%3A%2F%2Fwww.eclipse.org%2Fgmt%2Fomcw%2Fresources%2Fchapter01%2Fdownloads%2FOCL2.Fraunhofer.ppt&usg=AFQjCNG--4TgixG9Rv8aT9Z_TaLkTWOTiA )

Hi Vojtech,

Recommending one freeware software for UML modeling with OCL support is rather difficult because no ideal tool exists yet and some existing ones are no longer supported (Octopus plugin cited here-above for example)! A good overview of the existing tools is available from https://dept-info.univ-fcomte.fr/joomla/images/CR0700/Projets/2012/M2/rapport_ProjetVernotte.pdf but it is written in French language.

However, here are the results of my own investigation:

Detailed guidelines to use OCL with Eclipse may be found from https://eclipse.org/papyrus/resources/TutorialOnPapyrusUSE_d20101001.pdf and http://www.urbanisation-si.com/modelisation-de-systeme-comment-utiliser-ocl-avec-eclipse-c-est-bien-la-question-que-tout-le-monde-se-pose .

 Regards

Conference Paper A Test Generation Solution to Automate Software Testing.

I have recommended without any aditional text few days ago. Just by clicking button "recommend". Have you seen it?