ANN: Alternative representations of a given OCL constraint

ANN: Alternative representations of a given OCL constraint

From: Jordi Cabot Sagrera <>
Date: Tue, 19 Sep 2006 10:14:14 +0200
Message-ID: <6596951.1158653674180.JavaMail.root@panama>
Dear all,

At you can download a small tool that, given an OCL constraint, generates a set of alternative (equivalent) representations for the constraint, mainly by changing the context type used to specify the constraint.

The transformation mechanism is formalized as a path problem over a graph representing the class diagram. The graph is created in such a way that every path between two vertices (i.e. two classes) corresponds to a different alternative to represent the set of constraints defined over the first vertex (i.e. over the type represented by the vertex) by using the second one as a context type. Using this graph we are able to compute the different alternative representations.

The tool may be useful to assist designers when defining the constraints (so that they may be aware of the different existing alternatives, and thus, choose the one they think more appropriate). The tool may also be useful when implementing model refactoring or transformation operations, when verifying the class diagram (for instance to help in detecting redundancies among constraints) or when generating automatically the code from the PIM (or PSM) models.

Detailed information about the transformation techniques included in the tool and its possible applications is also available in the previous web page. 

Do not hesitate to contact me for more information.


Jordi Cabot
Received on Tue 19 Sep 2006 - 09:15:11 BST