Publications
This project is hosted by
Last modified: 02/26/08
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. | 
 |
Papers
2007
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/).
2006
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
2004
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
2003
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.
2002
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
2001
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
2000
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.
1999
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
Technical Reports
2005
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)
Thesis
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.
2008
Reengineering des OCL2-Parsers
Nils Thieme, Großer Beleg, Januar 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
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
Stefan Ocke, Diploma Thesis, June 2003.
2002
Evaluation der Praxistauglichkeit von OCL-Spezifikationen
Steffen Zschaler, Diploma Thesis, July 2002.
Muhammad Muazzam Ali, Großer Beleg, March 2002.
2001
UML/OCL für die Integritätssicherung in Datenbankanwendungen
Sten Löcher, Diploma Thesis, July 2001.
2000
Utility Support for Checking OCL Business Rules in Java Programs
Ralf Wiebicke, Diploma Thesis, December 2000.
Sten Löcher, Großer Beleg, October 2000.
Design and Implementation of a Modular OCL Compiler
Frank Finger, Diploma Thesis, March 2000.
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
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.