.

  • Increase font size
  • Default font size
  • Decrease font size

Dresden OCL Toolkit

Friday, 02 December 2005 15:50 Birgit Demuth OCL Software
Print PDF

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.
All versions have a different architecture. In contrast to the first version of the toolkit, Dresden OCL2 Toolkit works together with a MOF repository implementation and manages OCL expressions as instances of the MOF/OCL or UML/OCL metamodel instances. Our newest versions Dresden OCL for Eclipse and the standalone version are based on a new infrastructure, the so-called pivot model as exchange format for models and metamodels developed by Matthias Bräuer. The aim of the pivotal metamodel 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).
Last Updated on Monday, 26 November 2012 12:18