Dresden OCL Logo
Dresden OCL
OCL support for your modeling language


Frequently Asked Questions

This page contains a set of frequently asked questions on Dresden OCL. If a question cannot be answered by using this FAQ, please do not hesitate to contact us.

Installation and Source code

Is the source code of Dresden OCL2 for Eclipse available?

Yes, Dresden OCL is open source. The latest version of our source code can be accessed from our SVN repository. More information about the SVN is available via this link.

Is there any documentation available for the source code?

Yes. Most parts of Dresden OCL have been developed as student theses and thus are documented in the theses. Publications, theses and further literature is available in our publications section.

Supported Models and Model Instances

How can I create an own Model that can be imported into Dresden OCL?

Which tool you can use depends on the question what kind of model you want to create. Below, some tools are enlisted that can be used for model creation and editing:

  • EMF Ecore Meta-Model:
    • EMF Ecore Tree Editor (included in Eclipse when installed with EMF tools as required for Dresden OCL).
  • Java Meta-Model:
    • Java Text Editor (included in Eclipse).
  • UML2 Meta-Model:

Which types of Models and Model Instances are supported by Dresden OCL

Within our manual, two section document existing models and instances respectively possible use cases of them. These are the Sections 1.2-1.3 and 2.3.