The Dresden OCL Toolkit is a software platform for OCL tool support providing tools for specification and evaluation of OCL constraints. The platform is designed for openness and modularity. It is made available as open source. The goal of the toolkit is, for one thing, to enable practical experiments with various variants of OCL tool support, and then, to allow UML tool builders and users to integrate and adapt the existing OCL tools into their own environments. The OCL tools can be also used standalone importing UML models by XMI.
The homepage you can find under http://www.dresden-ocl.org/
Releases and the source code you can find under http://sourceforge.net/projects/dresden-ocl/
The Dresden OCL Toolkit project was initiated in 1999 and is still driven today by the Software Engineering group at the Technische Universität Dresden (http://www-st.inf.tu-dresden.de/ )
Basically, there are three different version of the toolkit:
- Dresden OCL for Eclipse that supports OCL2.3.
- Dresden OCL standalone Java library that supports OCL2.3.
- Dresden OCL2 Toolkit that supports OCL2.0.
- Dresden OCL Toolkit that supports OCL1.3.