On this page you can find different papers, reports and slides. The publications are divided into the following categories:
| Publications which are linked with an PDF are marked with a PDF icon, publications which are linked with a website, are marekd whith a website icon. | ![]() |
A Framework for Generating Query Language Code from OCL Invariants
Florian Heidenreich, Christian Wende, Birgit Demuth, September/October 2007 at the 7th OCL Workshop at the UML/MoDELS Conferences
(http://st.inf.tu-dresden.de/Ocl4All2007/).
Model-Level Integration of the OCL Standard Library Using a Pivot Model with Generics Support
Matthias Bräuer, Birgit Demuth, September/October 2007 at the 7th OCL Workshop at the UML/MoDELS Conferences
(http://st.inf.tu-dresden.de/Ocl4All2007/).
Integrating OCL and Model Transformations in Fujaba
![]()
Mirko Stölzel, Steffen Zschaler, Leif Geiger, September 2006 at the 6th OCL Workshop at the UML/MoDELS Conferences
(http://st.inf.tu-dresden.de/OCLApps2006/).
Proceedings of the OCLApps 2006 Workshop
![]()
Birgit Demuth, Dan Chiorean, Martin Gogolla, Jos Warmer (eds.), September 2006; Technical Reportsat the 6th OCL Workshop at the UML/MoDELS Conferences
(http://st.inf.tu-dresden.de/OCLApps2006/),
TUD-FI06-04-SEPT.2006, Technische Universität Dresden
The Object Constraint Language for
UML 2.0 -- Overview and Assessment
![]()
Heinrich Hussmann and Steffen Zschaler, April 2004 in: Upgrade, digital journal of
CEPIS
(Council of European Professional Informatics Societies)
issue
The Dresden OCL Toolkit and its Role in
Information Systems Development
![]()
Birgit Demuth 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
Structure of the Dresden OCL Toolkit
![]()
Birgit Demuth, Sten Löcher
and Steffen Zschaler at the 2nd International Fujaba Days "MDA with UML
and Rule-based
Object Manipulation", Technical University of Darmstadt, Germany,
September 15 - 17, 2004
A Metamodel-Based OCL-Compiler for
UML and MOF
![]()
Sten Loecher and Stefan Ocke 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.
Modular architecture for a toolset supporting OCL
![]()
Birgit Demuth, Frank Finger and Heinricht Hussmann in: Science of
Computer Programming 44(2002) 51-69
Loose Semantics for UML/OCL
![]()
Heinrich Hussmann 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
Formal Semantics for a UML
Fragment Using UML/OCL Metamodeling
![]()
Alexei Tchertchago in: 6th IASTED International Conference on Software
Engineering
and Applications (SEA 2002), November 4-6, 2002, Cambridge, USA
Experiments With XMI Based
Transformations of Software Models
![]()
Birgit Demuth, Heinrich Hussmann and Sven Obermaier on: Workshop on
Transformations
in UML, ETAPS 2001 Satellite Event, Genova, Italy, Saturday April 7th,
2001
OCL as a Specification Language for Business Rules in
Data Base Applications
![]()
Birgit Demuth, Heinrich Hussmann, Sten Loecher,
in: Martin Gogolla, Cris Kobryn (Eds.),
<<UML>>2001 - The Unified Modeling
Language. 4th International Conference, Toronto, Canada, October 2001,
Proceedings, Springer, LNCS 2185, 2001
On the Precise Meaning of OCL Constraints
![]()
H. Hussmann, M. Bidoit
and R. Hennicker in: Tony Clark, Jos Warmer (eds): Advances in Object
Modelling
with the OCL, Springer 2001 (LNCS 2263), pp. 70-85
Analysing UML Active Classes and
Associated State Machines - A Lightweight Formal Approach
![]()
C. Choppy, E. Astesiano, G. Reggio and H. Hussmann in: Proc. FASE 2000
Conference, Springer LNCS 1783, pp. 127-146
Using Previous Property Values in OCL
Postconditions - An Implementation Perspective
![]()
Heinrich Hussmann, Frank Finger, Ralf Wiebicke, accepted for the
international Workshop
"UML 2.0 - The Future of the UML Constraint Language OCL", October 2,
2000, York, UK.
Modular Architecture for a Toolset Supporting OCL
![]()
Heinrich Hussmann; Birgit Demuth, Frank Finger, draft,
to appear in Proceedings <<UML>>2000,
Conference, October 3-6, 2000, York, UK.
Using OCL Constraints for
Relational Database Design
![]()
Birgit Demuth and Heinrich Hussmann in: R. France, B. Rumpe (eds),
<<UML>>'99 - The
Unified Modeling Language, Proc. 2nd International Conference, Springer
LNCS 1723, pp. 598-613, 1999
The Parser Subsystem of the
Dresden OCL2 Toolkit - Design and Implementation
![]()
Ansgar Konermann, 2005
Dresden OCL Toolkit - Metadata
Repository and Java Metadata Interface
![]()
Mirko Stölzel, 2005 (german)
Dresden OCL Toolkit -
Integrationsschnittstelle
![]()
Mirko Stölzel, 2005 (german)
The thesis listed below are not linked from this website. For more information about the thesis, visist also the list of thesis at the website of the Software Technology Group at Technische Universität Dresden.
Reengineering des OCL2-Parsers
Nils Thieme, Großer Beleg, Januar 2008.
Ein OCL-Interpreter für das Dresden OCL2 Toolkit basierend auf dem Pivotmodell
Ronny Brandt, Diploma Thesis, November 2007.
Design and Prototypical Implementation of a
Pivot Model as Exchange Format for Models and
Metamodels in a QVT/OCL Development
Environment

Matthias Bräuer, Großer Beleg, May 2007.
Konzeption einer QVT Engine im Rahmen des Dresden OCL Toolkits
Christian Wende, Diploma Thesis, December 2006.
Erweiterungsmöglichkeiten für OCL -- Ein Überblick
Sebastian Käppler, Großer Beleg, October 2006.
Varianzanalyse zur Generierung imperativen Codes aus OCL-Ausdrücken
Katrin Eisenreich, Großer Beleg, October 2006.
OCL in Story Diagrammen *EP*
Mirko Stälzel, Diploma Thesis, September 2006.
Entwicklung eines konfigurierbaren Datenbankschemagenerators für das Dresden OCL2 Toolkit
Christian Wende, Großer Beleg, June 2006.
Visualisierung des Abstrakten Syntaxmodells (ASM) von OCL-Ausdrücken
Kai-Uwe Gärtner, Großer Beleg, April 2006.
Java-Codegenerierung und Instrumentierung von Java-Programmen
Ronny Brandt, Großer Beleg, April 2006.
OCL-Codegenerierung für deklarative Sprachen
Florian Heidenreich, Diploma Thesis, March 2006.
Integration von Together Control Center mit OCL2SQL
Irina Soudnik, Diploma Thesis, Ocotber 2005.
OCL für Fujaba
Mirko Stölzel, Großer Beleg, Ocotber 2005.
SQL-Codegenerierung in der metamodellbasierten Architektur des Dresden OCL Toolkit
Florian Heidenreich, Großer Beleg, August 2005.
Entwurf und prototypische Implementation eines OCL2.0-Parser
Ansgar Konermann, Diploma Thesis, August 2003.
Entwurf und Implementation eines metamodellbasierten OCL-Compilers
![]()
Stefan Ocke, Diploma Thesis, June 2003.
Evaluation der Praxistauglichkeit von OCL-Spezifikationen
Steffen Zschaler, Diploma Thesis, July 2002.
Writing a Tutorial for Using "Dresden OCL Toolset"
Muhammad Muazzam Ali, Großer Beleg, March 2002.
UML/OCL für die Integritätssicherung in Datenbankanwendungen
![]()
Sten Löcher, Diploma Thesis, July 2001.
Utility Support for Checking OCL Business Rules in Java Programs

Ralf Wiebicke, Diploma Thesis, December 2000.
Prototypische Untersuchungen zur Implementierung eines OCL-to-SQL-Compilers
Sten Löcher, Großer Beleg, October 2000.
Design and Implementation of a Modular OCL Compiler
![]()
Frank Finger, Diploma Thesis, March 2000.
A Type Information Component for OCL:

Chapter 3 in XML Query Languages for Repositories Based on XML Documents,
Ralf Wiebicke, Großer Beleg, March 2000.
Java-Implementierung der OCL-Basisbibliothek
![]()
Frank Finger, Großer Beleg, July 1999.
Untersuchung zur Entwicklung eines UML/OCL-CASE-Tools
Sven Obermaier, Großer Beleg, April 1999.
Abbildung OCL auf SQL
Alexander Schmidt, Diploma Thesis, April 1998.