Dresden OCL Logo
Dresden OCL
OCL support for your modeling language

Contents

Publications

On this page you can find different papers, reports and slides. The publications are divided into the following categories:

  • Papers
  • Technical Reports
  • Theses

Papers

2013

Harry Sneed, Birgit Demuth, Björn Freitag:
A Process for Assessing Data Quality
In: TAICPART 2013, IEEE, Luxemburg, March 2013.
Conference Website

Lars Schütze, Claas Wilke, Birgit Demuth:
Tool-Supported Step-By-Step Debugging for the Object Constraint Language
In: OCL@MODELS 2013, Miami/USA, September 2013
CEUR-WS Proceedings, Vol-1092
pdf

Achim D. Brucker, Dan Chiorean, Tony Clark, Birgit Demuth, Martin Gogolla, Dimitri Plotnikov, Berhard Rumpe, Edward D. Willink, Burkhart Wolff
Report on the Aachen OCL Meeting
CEUR-WS Proceedings, Vol-1092
pdf


2012

Uwe Aßmann, Andreas Bartho, Christoff Bürger, Sebastian Cech, Birgit Demuth, Florian Heidenreich, Jendrik Johannes, Sven Karol, Jan Polowinski, Jan Reimann, Julia Schroeter, Mirko Seifert, Michael Thiele, Christian Wende, and Claas Wilke:
DropsBox: the Dresden Open Software Toolbox
In: Vol. 11 of Software Systems and Modeling, November 2012.
PDF via Springerlink

Jan Reimann, Claas Wilke, Birgit Demuth, Michael Muck, and Uwe Aßmann:
Tool Supported OCL Refactoring Catalogue
In: 2012 Workshop on OCL and Textual Modelling (OCL 2012).
ACM Link

2011

Joanna Chimiak-Opoka, Birgit Demuth, Andreas Awenius, Dan Chiorean, Sebastien Gabel, Lars Hamann and Edward Willink:
OCL Tools Report based on the IDE4OCL Feature Model
In: OCL and Textual Modelling 2011, Vol. 44 of Electronic Communications of the EASST, 2011.
PDF

Claas Wilke and Birgit Demuth:
UML is still inconsistent! How to improve OCL Constraints in the UML 2.3 Superstructure
In: OCL and Textual Modelling 2011, Vol. 44 of Electronic Communications of the EASST, 2011.
PDF

2010

Florian Heidenreich, Jendrik Johannes, Mirko Seifert, Michael Thiele, Christian Wende, and Claas Wilke:
Integrating OCL and Textual Modelling Languages
In proceedings of the Workshop on OCL and Textual Modelling (OCL2010), Oslo, Norway, October 3, 2010.
PDF | Presentation Slides

Birgit Demuth and Joanna Chimiak-Opoka:
A Feature Model for an IDE4OCL
In proceedings of the Workshop on OCL and Textual Modelling (OCL2010), Oslo, Norway, October 3, 2010.
PDF

Claas Wilke, Michael Thiele, Christian Wende:
Extending Variability for OCL Interpretation.
In: Petriu, D. C., Rouquette, N. and Haugen, Ø. (Eds.): Extending Variability for OCL Interpretation Model Driven Engineering Languages and Systems, 13th International Conference, MODELS 2010, Oslo, Norway, October 3-8, 2010, Proceedings, Part I. LNCS Series (6394), Springer, Berlin Heidelberg, 2010, pages 361-375.
PDF | Presentation Slides | Conference Website

2009

Joanna Chimiak-Opoka, Birgit Demuth, Darius Silingas, Nicolas F. Rouquette:
Requirements Analysis for an Integrated OCL Development Environment PDF
In: OCL 2009 Workshop - The Pragmatics of OCL and other textual specification languages, ACM/IEEE MoDELS International Conference, Denver, Colorado, USA, October, 2009.
PDF

Christian Wende, Nils Thieme, Steffen Zschaler:
A Role-based Approach Towards Modular Language Engineering
In: Proceedings of the 2nd International Conference on Software Language Engineering (SLE 2009), Denver, Colorado, USA, October 5-6 2009.
PDF | Workshop Website

Birgit Demuth, Claas Wilke:
Model and Object Verification by Using Dresden OCL
In: Proceedings of the Russian-German Workshop Innovation Information Technologies: Theory and Practice, July 25-31, Ufa, Russia, 2009, page 81. Ufa State Aviation Technical University, Ufa, Bashkortostan, Russia.
PDF

2008

François Pinet, Magali Duboisset, Birgit Demuth, Michel Schneider, Vincent Soulignac, François Barnabé:
Constraints Modeling in Agricultural Databases
In: Advances in Modeling Agricultural Systems Series: Springer Optimization and Its Applications, Vol. 25 Papajorgji, Petraq J.; Pardalos, Panos M. (Eds.) 2009, ISBN: 978-0-387-75180-1.
PDF

2007

Florian Heidenreich, Christian Wende, Birgit Demuth:
A Framework for Generating Query Language Code from OCL Invariants
In: Proceedings of the 7th OCL Workshop at the UML/MoDELS Conferences.
PDF | Workshop Website

Mathias Bräuer, Birgit Demuth:
Model-Level Integration of the OCL Standard Library Using a Pivot Model with Generics Support
In: Models in Software Engineering, LNCS 5002, 182-193, Springer Berlin / Heidelberg.
PDF | Workshop Website

2006

Mirko Stölzel, Steffen Zschaler, Leif Geiger:
Integrating OCL and Model Transformations in Fujaba
In: Proceedings of the 6th OCL Workshop at the UML/MoDELS Conferences.
PDF | Workshop Website

Birgit Demuth, Dan Chiorean, Martin Gogolla, Jos Warmer (eds.):
Proceedings of the OCLApps 2006 Workshop
September 2006; Technical Report, TUD-FI06-04-SEPT.2006, Technische Universität Dresden.
PDF | Workshop Website

2004

Heinrich Hussmann and Steffen Zschaler:
The Object Constraint Language for UML 2.0 -- Overview and Assessment
In: Upgrade, digital journal of CEPIS (Council of European Professional Informatics Societies) issue

Birgit Demuth:
The Dresden OCL Toolkit and its Role in Information Systems Development
In: 13th International Conference on Information Systems Development: Methods and Tools, Theory and Practice Conference, Advances in Theory, Practice and Education (ISD'2004), Vilnius, Lithuania, 9-11 September, 2004.
PDF

Birgit Demuth, Sten Löcher and Steffen Zschaler:
Structure of the Dresden OCL Toolkit
In: The 2nd International Fujaba Days "MDA with UML and Rule-based Object Manipulation", Technical University of Darmstadt, Germany, September 15 - 17, 2004.
PDF

2003

Sten Loecher and Stefan Ocke:
A Metamodel-Based OCL-Compiler for UML and MOF
In: OCL 2.0 - Industry standard or scientific playground?, Workshop Proceedings, 6th International Conference on the Unified Modelling Language and its Applications, <<UML>> 2003, volume 154 of ENTCS. Elsevier, October 2003.
PDF

2002

Birgit Demuth, Frank Finger and Heinrich Hussmann:
Modular architecture for a toolset supporting OCL
In: Science of Computer Programming 44(2002) 51-69.
PDF

Heinrich Hussmann:
Loose Semantics for UML/OCL PDF
In: H. Ehrig, B.J.Krämer, A.Ertas (eds.): Proceedings of the 6th World Conference on Integrated Design and Process Technology (IDPT 2002), Pasadena, California, June 23-28, 2002.

Alexei Tchertchago:
Formal Semantics for a UML Fragment Using UML/OCL Metamodeling.
In: 6th IASTED International Conference on Software Engineering and Applications (SEA 2002), November 4-6, 2002, Cambridge, USA.

2001

Birgit Demuth, Heinrich Hussmann and Sven Obermaier:
Experiments With XMI Based Transformations of Software Models
In: Workshop on Transformations in UML, ETAPS 2001 Satellite Event, Genova, Italy, Saturday April 7th, 2001.

Birgit Demuth, Heinrich Hussmann, Sten Loecher:
OCL as a Specification Language for Business Rules in Data Base Applications
In: Martin Gogolla, Cris Kobryn (Eds.), <<UML>>2001 - The Unified Modeling Language. 4th International Conference, Toronto, Canada, October 2001, Proceedings, Springer, LNCS 2185, 2001.
PDF

H. Hussmann, M. Bidoit and R. Hennicker:
On the Precise Meaning of OCL Constraints
In: Tony Clark, Jos Warmer (eds): Advances in Object Modelling with the OCL, Springer 2001 (LNCS 2263), pp. 70-85.
PDF

2000

C. Choppy, E. Astesiano, G. Reggio and H. Hussmann:
Analysing UML Active Classes and Associated State Machines - A Lightweight Formal Approach
In: Proc. FASE 2000 Conference, Springer LNCS 1783, pp. 127-146.

Heinrich Hussmann, Frank Finger, Ralf Wiebicke:
Using Previous Property Values in OCL Postconditions - An Implementation Perspective
In: The international Workshop "UML 2.0 - The Future of the UML Constraint Language OCL", October 2, 2000, York, UK.
PDF

Heinrich Hussmann; Birgit Demuth, Frank Finger:
Modular Architecture for a Toolset Supporting OCL
In Proceedings <<UML>>2000, Conference, October 3-6, 2000, York, UK.
Awarded as Most Influencial Paper at the MoDELS 2010 conference.
PDF

1999

Birgit Demuth and Heinrich Hussmann:
Using OCL Constraints for Relational Database Design
In: R. France, B. Rumpe (eds), <<UML>>'99 - The Unified Modeling Language, Proc. 2nd International Conference, Springer LNCS 1723, pp. 598-613, 1999.

Technical Reports

2011

Claas Wilke, Michael Thiele and Björn Freitag:
Dresden OCL - Manual for Installation Use and Development
TU Dresden, 2009-2011.
PDF

2005

Ansgar Konermann:
The Parser Subsystem of the Dresden OCL2 Toolkit - Design and Implementation
(Documentation of Dresden OCL2 Toolkit (legacy)), 2005.

Mirko Stölzel:
Dresden OCL Toolkit - Metadata Repository and Java Metadata Interface
(Documentation of Dresden OCL2 Toolkit (legacy)), 2005.

Mirko Stölzel:
Dresden OCL Toolkit - Integrationsschnittstelle
(Documentation of Dresden OCL2 Toolkit (legacy)), 2005.

Theses

The theses listed below are not linked from this website. For more information about the theses, visist also the list of theses at the website of the Software Technology Group at Technische Universität Dresden.

2013

Lars Schütze
Implementing a Debugger for Dresden OCL
Bachelor's Thesis, March 2013.
PDF

2011

Michael Muck:
Refactoring for OCL
Diploma Thesis, August 2011.

Björn Freitag:
Reengineering-Konzept für das DeclarativeCodeGenerator-Framework von Dresden OCL
Großer Beleg, March 2011.

2010

Martin Krebs:
Verifikation von Modelica-Programmen mit OCL
Diploma Thesis, August 2010.

2009

Claas Wilke:
Model-Based Run-Time Verification of Software Components by Integrating OCL into Treaty
Diploma Thesis, September 2009.
PDF

Claas Wilke:
Java Code Generation for Dresden OCL2 for Eclipse
Großer Beleg, February 2009.
PDF

2008

Nils Thieme:
Reengineering des OCL2-Parsers
Großer Beleg, January 2008.
PDF

2007

Ronny Brandt:
Ein OCL-Interpreter für das Dresden OCL2 Toolkit basierend auf dem Pivotmodell
Diploma Thesis, November 2007.

Matthias Bräuer
Design and Prototypical Implementation of a Pivot Model as Exchange Format for Models and Metamodels in a QVT/OCL Development Environment
Großer Beleg, May 2007.
Website

2006

Christian Wende:
Konzeption einer QVT Engine im Rahmen des Dresden OCL Toolkits
Diploma Thesis, December 2006.

Sebastian Käppler:
Erweiterungsmöglichkeiten für OCL - Ein Überblick
Großer Beleg, October 2006.

Katrin Eisenreich:
Varianzanalyse zur Generierung imperativen Codes aus OCL-Ausdrücken
Großer Beleg, October 2006.

Mirko Stölzel:
OCL in Story Diagrammen
Diploma Thesis, September 2006.

Christian Wende:
Entwicklung eines konfigurierbaren Datenbankschemagenerators für das Dresden OCL2 Toolkit
Großer Beleg, June 2006.

Kai-Uwe Gärtner:
Visualisierung des Abstrakten Syntaxmodells (ASM) von OCL-Ausdrücken
Großer Beleg, April 2006.

Ronny Brandt:
Java-Codegenerierung und Instrumentierung von Java-Programmen
Großer Beleg, April 2006.

Florian Heidenreich:
OCL-Codegenerierung für deklarative Sprachen
Diploma Thesis, March 2006.

2005

Irina Soudnik:
Integration von Together Control Center mit OCL2SQL
Diploma Thesis, Ocotber 2005.

Mirko Stölzel:
OCL für Fujaba
Großer Beleg, Ocotber 2005.

Florian Heidenreich:
SQL-Codegenerierung in der metamodellbasierten Architektur des Dresden OCL Toolkit
Großer Beleg, August 2005.

2003

Ansgar Konermann:
Entwurf und prototypische Implementation eines OCL2.0-Parser
Diploma Thesis, August 2003.

Stefan Ocke:
Entwurf und Implementation eines metamodellbasierten OCL-Compilers
Diploma Thesis, June 2003.
PDF

2002

Steffen Zschaler:
Evaluation der Praxistauglichkeit von OCL-Spezifikationen
Diploma Thesis, July 2002.

Muhammad Muazzam Ali:
Writing a Tutorial for Using Dresden OCL Toolset
Großer Beleg, March 2002.

2001

Sten Löcher:
UML/OCL für die Integritätssicherung in Datenbankanwendungen
Diploma Thesis, July 2001.

2000

Ralf Wiebicke:
Utility Support for Checking OCL Business Rules in Java Programs Diploma Thesis, December 2000.
Website

Sten Löcher:
Prototypische Untersuchungen zur Implementierung eines OCL-to-SQL-Compilers
Großer Beleg, October 2000.

Frank Finger:
Design and Implementation of a Modular OCL Compiler
Diploma Thesis, March 2000.

Ralf Wiebicke:
A Type Information Component for OCL
Chapter 3 in XML Query Languages for Repositories Based on XML Documents, Großer Beleg, March 2000.
Website

1999

Frank Finger:
Java-Implementierung der OCL-Basisbibliothek
Großer Beleg, July 1999.

Sven Obermaier:
Untersuchung zur Entwicklung eines UML/OCL-CASE-Tools
Großer Beleg, April 1999.

1998

Alexander Schmidt:
Abbildung OCL auf SQL
Diploma Thesis, April 1998.