Dresden OCL Toolkit

Publications

Publications and Papers

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. PDF Website

Papers

2009

Model and Object Verification by Using Dresden OCL PDF
Birgit Demuth, Claas Wilke; July 2009 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.


2008

Constraints Modeling in Agricultural Databases
François Pinet, Magali Duboisset, Birgit Demuth, Michel Schneider, Vincent Soulignac, François Barnabé, 2009 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 (http://www.springer.com/math/cse/book/978-0-387-75180-1).

Model-Level Integration of the OCL Standard Library Using a Pivot Model with Generics Support
Mathias Bräuer, Birgit Demuth, June 2008 in: Models in Software Engineering, LNCS 5002, 182-193, Springer Berlin / Heidelberg (http://www.springerlink.com/content/1j33850352l15203/).


2007

A Framework for Generating Query Language Code from OCL Invariants PDF
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 PDF
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/).


2006

Integrating OCL and Model Transformations in Fujaba PDF
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 PDF
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


2004

The Object Constraint Language for UML 2.0 -- Overview and Assessment PDF
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 PDF
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 PDF
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


2003

A Metamodel-Based OCL-Compiler for UML and MOF PDF
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.


2002

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

Loose Semantics for UML/OCL PDF
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 PDF
Alexei Tchertchago in: 6th IASTED International Conference on Software Engineering and Applications (SEA 2002), November 4-6, 2002, Cambridge, USA


2001

Experiments With XMI Based Transformations of Software Models PDF
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 PDF
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 PDF
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


2000

Analysing UML Active Classes and Associated State Machines - A Lightweight Formal Approach PDF
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 PDF
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 PDF
Heinrich Hussmann; Birgit Demuth, Frank Finger, draft, to appear in Proceedings <<UML>>2000, Conference, October 3-6, 2000, York, UK.


1999

Using OCL Constraints for Relational Database Design PDF
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

Technical Reports

2005

The Parser Subsystem of the Dresden OCL2 Toolkit - Design and Implementation PDF
Ansgar Konermann, 2005

Dresden OCL Toolkit - Metadata Repository and Java Metadata Interface PDF
Mirko Stölzel, 2005 (german)

Dresden OCL Toolkit - Integrationsschnittstelle PDF
Mirko Stölzel, 2005 (german)

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.


2009

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

Java Code Generation for Dresden OCL2 for Eclipse Get 'Java Code Generation for Dresden OCL2 for Eclipse' as PDF file.
Claas Wilke, Großer Beleg, February 2009.


2008

Reengineering des OCL2-Parsers Get 'Reengineering des OCL2-Parsers' as PDF file.
Nils Thieme, Großer Beleg, January 2008.


2007

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 Website with PDF and more information
Matthias Bräuer, Großer Beleg, May 2007.


2006

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.


2005

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.


2003

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

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


2002

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.

2001

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


2000

Utility Support for Checking OCL Business Rules in Java Programs Website
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 PDF
Frank Finger, Diploma Thesis, March 2000.

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


1999

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

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


1998

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