List of OCL tools
The number of modeling tools supporting OCL is growing but still small. Of course, in all CASE tools UML models can be annotated with textual OCL expressions but this does not mean that the tool actually understand the expression, usually the expression is treated as any other kind of annotation written by the designer.
A survey of tools that do really support OCL can be found here (at least until I find the time to port the contents from there to here). In last year’s edition OF the OCL workshop we organized a tool showcase where a number of (prototype) OCL tools were presented. You can also check the tool section in the OCL Portal AND the new OCL Eclipse plug-in.
We have also recently presented Oclarity , a productive authoring environment for the writing of OCL expressions and SimpleOCL an OCL component designed to be embedded in other MDE tools