Dresden OCL2 for Eclipse - An introduction

What Dresden OCL2 for Eclipse?

Dresden OCL2 for Eclipse is the newest version of the Dresden OCL Toolkit which is based on the Eclipse SDK.

Dresden OCL2 for Eclipse is based on the so-called pivot model as exchange format for models and meta models developed by Matthias Bräuer. The aim of this new pivotal meta model is to provide an abstraction to evaluate OCL queries over instances of arbitrary domain-specific languages (including MOF and UML). Furthermore, we support multiple repositories such as EMF besides the currently used repository Netbeans MDR. The implementation of the pivot model is based on the Eclipse Modeling Framework (EMF).

The tools of the Dresden OCL2 for Eclipse

Dresden OCL2 for Eclipse contains:

• The pivot model infrastructure developed by Matthias Bräuer which enables the user to connect the toolkit with any repository and meta model he wants. By now, MOF1.4 and UML1.5 with Netbeans MDR, UML2.0 with Eclipse UML and PML models are supported.
• An OCL2 Parser developed by Nils Thieme.
• An OCL2 Interpreter developed by Ronny Brandt.
• A Java Code Generator developed by Claas Wilke.

A technical introduction into Dresden OCL2 for Eclipse can be found via this link.

Getting started with Dresden OCL2 for Eclipse

Dresden OCL2 for Eclipse is built as a set of Eclipse plug.ins. How to install the plug-ins and getting started with the toolkit is explained in the usage examples section.