Dresden OCL2 Toolkit - An introduction
This project is hosted by
What is the Dresden OCL2 Toolkit?
The Dresden OCL2 Toolkit is an older version of the Toolkit which is based on the Netbeans Metadata Repository (MDR) and contains a lot of different tools.
The newest version of the toolkit is called Dresden OCL2 Toolkit for Eclipse. More information about the Dresden OCL2 Toolkit for Eclipse can be found via this link.
A technical introduction into the Dresden OCL2 Toolkit can be found via this link.
The different applications in the Dresden OCL2 Toolkit
Although this is not a stand-alone tool there is a demonstration module coming with the toolkit which helps to understand the way the Toolkit works.
There are seven applications in the Dresden OCL2 Toolkit. The different demonstration modules are listed below with some inspirational screenshots.
1. OCL2 Workbench
This software was written by Stefan Ocke for his diploma thesis. It provides the following functions:
- loading meta models into the repository using XMI
- creation of OCL invariants for loaded meta models
- generating code for those invariants
- loading of models and execution of generated code to check for compliance with invariants
 |
 |
| Installed meta model and OCL script |
Generated code |
2. OCL2 Parser GUI
This software was written by Ansgar Konermann for his diploma thesis. It provides a GUI to the OCL2 parser and allows:
- editing, loading and saving of text files containing OCL2 constraints
- parsing OCL2 constraints into a concrete syntax tree and visualizing this tree
- loading UML15 models to run attribute evaluation/AST generation against (using XMI)
- browse UML models in the repository (very basic browsing only)
- running an attribute evaluator over the concrete syntax tree to create the abstract syntax tree
 |
 |
 |
| Enter OCL constraint | Parsing constraint results in concrete syntax tree | Visualized concrete syntax tree |
3. OCL22SQL
This software was written as a prototype example for the OCL Declarative Code Generator by Florian Heidenreich for his diploma thesis. It provides a GUI to create integrity views from textual OCL invariants and allows:
- loading of OCL constraint files
- loading UML1.5 models to run attribute evaluation/AST generation against (using XMI)
- choosing between different object-relational mapping schemes to create DDL-scripts for table schemas and DDL-scripts for object views
- generating of SQL integrity views from the AST
Please note, that this tool doesn't support association classes and OCL constraints which use the class names instead of association ends for navigation.
 |
 |
 |
 |
| Loading UML model and OCL constraints | Setting transformation parameters | Generated SQL model | Generated SQL integrity views |
4. UtilityTest
This Software was written by Jordi Cabot Sagrera. It is an example how to use the Class Utility which provides some helper methods. Take a look at the classes UtilityTest and Utility if you plan to work directly on the repository. It is a text-based application, which uses the CarWorld-Model in /resources/PoseidonProjects.
5. Transformation Framework
This Software was written by Christian Wende for his student research project (Großer Beleg). It provides a framework to implement, manage, configure and execute metamodel based transformations. The distribution comes with an implementation of transformations performing a database-shema generation from uml models.
 |
 |
 |
 |
| Model selection | Transformation | Transformation configuration | Transformation result |
6. Eclipse Plugins
There are three Eclipse plugins shipped with this toolkit. The Base plugin and the OCL Editor plugin were written by Mirko Stölzel. The Visualization plugin was written by Kai-Uwe Gärtner. The OCL Editor plugin provides a text editor for OCL Constraints. The Visualization plugin helps to see what is inside the Netbeans Repository. The Base plugin provides the basic functions of the toolkit to other plugins.
7. Java Code Generator GUI
This software was written by Ronny Brandt for his student research project (Großer Beleg). It is an extension of the code generator written by Stefan Ocke. With this software you can load UML-models provided as XMI files and OCL-constraints and generate java code to check these constraints at runtime. This generated code also can be injected in existing java files (instrumentation) and they can be reverse engineered too.
 |
 |
 |
| Java Code Generator | Java Code Injector | Reverse Engineering |