Dresden OCL Logo
Dresden OCL
OCL support for your modeling language

News

25.02.2014 - Dresden OCL v. 3.3 released!

The new Dresden OCL Logo

The team of Dresden OCL is proud to announce the release of Dresden OCL 3.3. The new release now supports Eclipse 4.3 but dropps support for 3.x series and includes many bugfixes.

The release also includes the Dresden OCL Debugger with which you can debug your OCL expressions right within Eclipse. The full list of changes can be found at the changelog.

Dresden OCL 3.3. is installable from the update site. Source distribution from Git.

24.02.2014 - Dresden OCL switches to GitHub

The new Dresden OCL Logo

Dresden OCL source code is now hosted at GitHub https://github.com/dresden-ocl/dresdenocl. If you encounter any bugs or want to discuss with the Dresden OCL Team please use the bug tracker and infrastructure provided by GitHub. The links for the update site stay the same: http://www.dresden-ocl.org/update or for the latest build http://www.dresden-ocl.org/update/latestbuild.

24.09.2012 - Dresden OCL v. 3.2 released!

The new Dresden OCL Logo

The team of Dresden OCL is proud to announce the release of Dresden OCL 3.2. The new release now supports Eclipse 4.2 and includes many bugfixes.

Besides, Dresden OCL 3.2 includes a tracer to illustrate the results of OCL interpretation in a tree-based manner. Additionally, refactoring support for OCL expressions can be optionally installed. A complete list of introduced changes can be found at http://www.dresden-ocl.org/index.php/DresdenOCL:Changelog

Dresden OCL 3.2 can be installed via the Eclipse update site available at http://dresden-ocl.sourceforge.net/downloads/updatesite/ or using the Eclipse Marketplace Client.

The standalone version of Dresden OCL 3.2 will be released within a few days.


09.09.2011 - Dresden OCL goes Refactoring

The new Dresden OCL Logo

Yesterday, Michael Muck successfully defended his Diploma Thesis focusing on enhancing Dresden OCL w.r.t. refactorings. Several refactorings have been implemented using the generic refactoring framework Refactory.

We are currently adapting the thesis' results for a new release of Dresden OCL that will then support refactorings like extract variable, renamings etc. Unfortunately we cannot give a precise date for this next release of Dresden OCL, yet.


30.06.2011 - Dresden OCL @ The OCL 2011 Workshop

The new Dresden OCL Logo

Yesterday, 2011's edition of the International Workshop on OCL and Textual Modeling Languages took place, collocated with the Tools Europe Conference at Zurich, Switzerland.

Dresden OCL was present with two publications, one focusing on the vision of an IDE for OCL and one on investigating inconsistencies of OCL constraints within the UML specification. Both are online available from our publications section.


17.01.2011 - Dresden OCL switches SVN location

The new Dresden OCL Logo

Dear Dresden OCL users,

due to a continued degradation of performance for our SVN, the inconveniences resulting from the latest attacks on sourceforge, and for reasons of a more convenient backup, we decided to move the Dresden OCL SVN to our own server infrastructure.

The new public (read-only) SVN URL is:

If you prefer a more convenient browsing experience you can also use WebSVN via:

SVN commit notifications are still send to the mailing-list: dresden-ocl-svn@lists.sourceforge.net


01.02.2011 - Some services down after Sourceforge attack

SourceForge.net Logo

Since SourceForge has shut down some services since the attack against SourceForge services (see this link for more details), some services of Dresden OCL were or are currently not available. For example we had to move the PDF version of our manual to another server since HTTP access to the SVN is currently disabled. The manual can now be found using this link.

Plese let us know if you discover further non-working link on our website or other corrupted or non-working services. Please apologize any inconvenience caused by the service shut down.


17.01.2011 - Dresden OCL v. 3.1 released!

The new Dresden OCL Logo

The team of Dresden OCL is proud to announce the release of Dresden OCL 3.1. The new release includes first features of the upcoming OCL version 2.3 such as the newly introduced closure iterator.

Besides, further revisions of the OCL Parser/Editor and the code generators OCL2Java/AspectJ and OCL2SQL regarding bugs have been performed. A complete list of introduced changes can be found at http://www.reuseware.org/index.php/DresdenOCL:Changelog

Dresden OCL 3.1 can be installed via the Eclipse update site available at http://dresden-ocl.sourceforge.net/downloads/updatesite/ or using the Eclipse Marketplace Client.

The standalone version of Dresden OCL 3.1 is available for download at http://sourceforge.net/projects/dresden-ocl/files/


26.11.2010 - Dresden OCL @ Eclipse Demo Camp

The new Dresden OCL Logo

Yesterday, Dresden OCL was topic of one of the official Eclipse Demo Camps. The talk included a demonstration of an easy integration of Dresden OCL within EMFText-based domain specific languages.

More information about the Eclispe Demo Camp can be found via this link.


05.11.2010 - Common Workshop of MDT/OCL and Dresden OCL

The new Dresden OCL Logo

Today, the team of Dresden OCL is having a common workshop together with Ed Willink and Adolfo Herrera from MDT/OCL discussing the future of MDT/OCL, Dresden OCL and the OCL specification.

Expecations include some visions for future OCL tools and perhaps a common EU-funded project for OCL tooling.


29.10.2010 - Problems installing Dresden OCL under Eclipse 3.6.1

The new Dresden OCL Logo

Using some distributions of Eclipse 3.6.1 can cause trouble when trying to install Dresden OCL using the P2 Update Manager or the new Eclipse Marketplace Client. Since the installation works well within Eclipse 3.6.0, the issue seems to be a bug within the P2 system of Eclipse.

How to install Dresden OCL anyway is documented here.


08.10.2010 - Dresden OCL paper awarded as Most Influencial Paper

Models2010-logo.png

A very happy surprise for the complete Dresden OCL team was the announcement at the yesterdays MoDELS 2010 banquett, that the paper Modular Architecture for a Toolset Supporting OCL by Heinrich Hussmann, Birgit Demuth and Frank Finger submitted to the UML2000 conference was awarded as one of the most influencial papers in the last ten years of MoDELS conferences.

Congratulations to the authors. The paper is online available via SpringerLink.


06.10.2010 - Dresden OCL at Models2010

Today, Claas had a talk at the MoDELS 2010 Conference in Oslo. The talk was about how to achieve variability for OCL interpretation at both, the model and the instance level.

The paper of the presentation can be found at SpringerLink via this link. The slides of the presentation are available via this link.


03.10.2010 - Dresden OCL at Models2010

Models2010-logo.png

Today, the Workshop on OCL and Textual Modelling was held on the MoDELS 2010 Conference in Oslo.

The slides of our first presentation are now online available. The slides of the second presentation at the OCL workshop can be reached via this link.

A summary of the complete workshop can be found at http://modeling-languages.com/blog/content/summary-ocl-and-textual-modelling-workshop-2010.


29.09.2010 - Dresden OCL v. 3.0 released!

The new Eclipse perspective of Dresden OCL v. 3.0

The team of Dresden OCL is proud to announce the release of Dresden OCL 3.0. Dresden OCL now includes a new OCL Parser and Editor based on EMFText (http://www.emf-text.org/). The new OCL Editor comes with features like syntax highlighting and code completion. Furthermore, the new OCL Parser allows type inference in OCL constraints, e.g. for the return types of expressions.

Besides the new OCL Editor, a new version of the OCL2SQL Code Generator is shipped with Dresden OCL 3.0. The SQL Code Generator that existed in the Dresden OCL2 Toolkit has now been adapted and reimplemented for the Pivot-Model based infrastructure of Dresden OCL an can thus be used within the latest release of Dresden OCL.

Furthermore the new release addresses some bugs of our OCL infrastructure and its OCL Interpreter and OCL2Java Code Generator. A complete list of introduced changes can be found at http://www.reuseware.org/index.php/DresdenOCL:Changelog

Dresden OCL 3.0 can be installed via the Eclipse update site available at http://dresden-ocl.sourceforge.net/downloads/updatesite/

The standalone Java Library will be available for download at http://sourceforge.net/projects/dresden-ocl/files/ within the next days.


23.09.2010 - Dresden OCL switches to its new Website

The new Dresden OCL Logo

Today, Dresden OCL has relaunched its website that now comes with a new design. The complete content of the website has been revised, renewed and updated.

Enjoy to explore our new website. Feedback is welcome!


24.08.2010 - DresdenOCL at Models2010

Models2010-logo.png

The newest version of DresdenOCL will be a topic at the 13th International Conference on Model Driven Engineering Languages and Systems (Models2010) and the OCL 2010 workshop collocated with the Models conference.

At the Models Applications Track the Generic OCL Interpreter of DresdenOCL and its architecture will be presented at Wednesday, October 6.

At the OCL workshop, an approach for integrating OCL into arbitrary DSLs and modeling languages will be discussed at Sunday, October 3.

More details can be found at http://models2010.ifi.uio.no/full-prog.shtml and http://modeling-languages.com/events/OCLWorkshop2010/program.html

Both papers will be linked on the DresdenOCL website when they are available.


04.08.2010 - DresdenOCL Days at Quality Engineering

On Monday, August 9th, 2010 the DresdenOCL team from the TU Dresden and the Squam team from the Universität Innsbruck will have a joint workshop in Innsbruck. Talks will include an overview on DresdenOCL and its architecture. Furthermore, a pre-release version of the new DresdenOCL parser built with EMFText (http://www.emftext.org/) will be presented.

The complete workshop information is available at http://squam.info/


24.06.2010 - DresdenOCL via Eclipse Marketplace Client

Since Eclipse Helios is now available, you can install DresdenOCL 2.2 in Eclipse by using the Eclipse Marketplace Client. Simply enter 'DresdenOCL' in the search field and click 'Install' right beside the description of DresdenOCL.


16.06.2010 - Release of DresdenOCL 2.2

The DresdenOCL Team is happy to announce a new release of DresdenOCL. The new release is available as a set of Eclipse plug-ins or as a Standalone version that can be included into Eclipse-independent Java projects.

The new Eclipse Release is available via the Eclipse Update Site http://dresden-ocl.sourceforge.net/downloads/updatesite/

The Standalone Release is available via the project download area at Sourceforge available at http://sourceforge.net/project/platformdownload.php?group_id=5840

The 2.2 release contains some major changes in the Toolkit's architecture. Furthermore, DresdenOCL now supports all operations of the OCL Standard Library according to the OCL 2.2 specification. Many bugs have been fixed, DresdenOCL now supports to load XML Schema files as models and XML files as their instances. For a complete list of all changes please investigate the change log available at https://dresden-ocl.svn.sourceforge.net/svnroot/dresden-ocl/trunk/ocl20forEclipse/CHANGELOG.txt

The documentation of DresdenOCL is available at http://dresden-ocl.svn.sourceforge.net/viewvc/dresden-ocl/trunk/ocl20forEclipse/doc/pdf/manual.pdf

Enjoy DresdenOCL 2.2!


07.05.2010 - OCL community @ LinkedIn

To improve the communication of the OCL community and to exchange OCL experience and news, a LinkedIn group to network OCL users from industry and academia is now available.

The main focus of the group is pragmatics of OCL and OCL tools to promote the widespread adoption of OCL. The group is now in the phase of members gathering.

If you are interested in OCL and its tools you are more than welcome to join us, at: http://www.linkedin.com/groups?gid=3007822


21.04.2010 - EMFText+OCL wins Beauty Contest

In a beauty contest on Relationships, Objects, Roles, und Queries in Programming Languages during the Dagstuhl seminar 10152 the solution of the EMFText team won the first price. The task was to implement a domain model for theater plays and to evaluate queries on this domain model. Our solution involved the EMFText textual syntax for ecore for describing the domain of theater plays and used the Object Constraint Language (OCL) to define the queries. Furthermore, we implemented a textual concrete syntax for the theater domain model. Using this syntax we parsed the Macbeth script provided by Project Gutenberg and used it as input for various test-cases.

The implementation of the Theater DSL is available in the EMFText concrete syntax zoo: http://www.emftext.org/index.php/EMFText_Concrete_Syntax_Theater


31.03.2010 - Dresden OCL2 for Eclipse - Standalone Version

Due to multiple requests, we now propose a standalone version of Dresden OCL2 for Eclipse that can be integrated as a set of Jar libraries into other Java projects without required dependencies to the Eclipse platform.

How to integrate Dresden OCL2 for Eclipse without Eclipse is now documented in our manual available at http://dresden-ocl.svn.sourceforge.net/viewvc/dresden-ocl/trunk/ocl20forEclipse/doc/pdf/manual.pdf . See chapter 6 of the manual for further details.

The standalone version will officially released with our next release (scheduled for the end of April). Nevertheless, a first prototypically tested standalone version is already available at our SVN.


03.02.2010 - Dresden OCL2 for Eclipse has new Update Site

Dresden OCL2 for Eclipse has switched to a new update site. Now, the location http://dresden-ocl.sourceforge.net/downloads/updatesite/ will always lead you to the latest release of Dresden OCL. Old update sites will still be available. Enjoy the toolkit!


19.06.2008 - First version of Dresden OCL2 for Eclipse released

The team of the Dresden OCL Toolkit project is happy to announce the release of the Dresden Toolkit for Eclipse supporting OCL 2.0. The new version is available from the project download area at Sourceforge: http://sourceforge.net/project/showfiles.php?group_id=5840

The new Version of the Dresden OCL Toolkit is 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 this new 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).

The new toolkit also contains an OCL2 Parser developed by Nils Thieme and an OCL2 Interpreter developed by Ronny Brandt. Because of the new infrastructure the new release does not contain all the other tools provided in the Release 1.2 of the Dresden OCL2 Toolkit.

We are happy to announce this release and look forward to your comments and feedback. You can find further information at our website at http://dresden-ocl.sourceforge.net and http://www.sourceforge.net/projects/dresden-ocl.


01.10.2007 - Dresden OCL2 Toolkit switches from CVS to SVN

After thoughtful consideration the developers of the Dresden OCL2 Toolkit have decided to switch the repository management system of the Dresden OCL2 Toolkit from Current Version System (CVS) to Subversion (SVN).

The source code will be still available via CVS but will not be updated anymore. We strongly recommend to use SVN access instead. For more details about SVN and how to download the Dresden OCL2 Toolkit visit the download section.


30.05.2007 - New infrastructure for the Dresden OCL Toolkit

With the publication of Matthias Bräuer's Großer Beleg "Design and Prototypical Implementation of a Pivot Model as Exchange Format for Models and Metamodels in a QVT/OCL Development Environment" a new milestone in the development of the Dresden OCL2 Toolkit was reached.

Matthias Bräuer developed a new infrastructure for the toolkit based on a so-called pivot model as exchange format for models and metamodels. The aim of this new 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. As a first milestone Matthias Bräuer used in his implementation of the pivot model the Eclipse Modeling Framework (EMF) as its technological basis.

More details about the thesis are available on this Website.

At present Ronny Brandt is working on an OCL2 interpreter based on the new pivot model implementation. He already implemented the pivot model based on the Netbeans MDR. A new version of the Dresden OCL2 Toolkit will be released, when Ronny Brandt has finished his diploma thesis.


28.03.2007 - Version 1.2 of Dresden OCL2 Toolkit released

A new version of the Dresden OCL2 Toolkit was released. The new version contains a new software written by Ronny Brandt. It is an extension of the code generator written with which 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. The new version of the Dresden OCL2 Toolkit is available from the project download area at Sourceforge: http://sourceforge.net/project/showfiles.php?group_id=5840&package_id=173625


22.12.2005 - First Dresden OCL2 Toolkit Release

We are proud to present the first release of the Dresden OCL2 Toolkit. This release is a version of the Dresden OCL Toolkit supporting OCL2.0. You can obtain this release from our files section on SourceForge: https://sourceforge.net/project/showfiles.php?group_id=5840