Due to the high expressiveness of the OCL, the designer has different syntactic alternatives to express each constraint. This tool assists the designer during the definition of the constraints by means of generating equivalent alternatives for the initially defined ones.

In the context of the MDA, transformations between these different alternatives are required as part of the PIM-to-PIM, PIM-to-PSM or PIM-to-code transformations of the original conceptual schema.

Specially, the tool is able to generate all alternative equivalent representations of a constraint obtained by means of  changing the context type used to define the original constraint.

 More information in: http://www.lsi.upc.edu/~jcabot/research/OCLTransformations/