welcome
The Dresden OCL Toolkit is a modular toolkit for OCL (Object Constraint Language) support.
It is based on an OCL compiler developed by Frank Finger at the Dresden University of Technology.
The compiler consists of several modules which parse, type check, and normalize OCL constraints.
Interfaces are provided to use and enhance the functionality of the basic modules.
Therefore, the compiler is adaptable for a vast variety of purposes.
The following list shows projects that build on the OCL compiler:
- Kendar Dongre at Clemson University is working on an extension of the OCL for the specification of state machines.
- The OCL compiler has been integrated into the open-source CASE tool Argo/UML by Steffen Zschaler.
-
XMI support has been implemented by Ralf Wiebicke.
It is not really reuse anymore since it is part of the standard configuration of the OCL compiler.
- A SQL code generator has been developed by Sten Löcher.
-
A project managed by Gabriele Taentzer at the University of Technology Berlin aims at the development
of a visual language for OCL (http://tfs.cs.tu-berlin.de/~vila).
-
The KeY project at the University of Karlsruhe
aims at the integration of formal software specification and verification
into the industrial software engineering process. A tool prototype has been developed.
-
In the context of the Fondue Method,
an Operation Schema
Compiler has been developed at the Swiss Federal Institute of Technology, Lausanne.
The diploma paper on the compiler is written in English and contains detailed documentation of the compiler and its modules.
Both the compiler and documentation are available on the documentation and download pages respectivly.
Last update: May 8, 2002