Diploma Thesis:
Utility Support for Checking OCL Business Rules in Java Programs

Ralf Wiebicke

December 2000

Copyright

Copyright © 2000 Ralf Wiebicke.

Permission is granted to copy, distribute and/or modify this document under the terms of the GNU Free Documentation License, Version 1.1 or any later version published by the Free Software Foundation; with no Invariant Sections, no Front-Cover Texts, and no Back-Cover Texts. A copy of the license is available at http://www.gnu.org/copyleft/fdl.html.

The source code developed together with this paper is Copyright © 2000 Ralf Wiebicke and published under the GNU Lesser General Public License (LGPL). Additional source code was developed by Steffen Zschaler under LGPL.

Availability

This document is available at http://rw7.de/ralf/diplom00/intro.html in several electronic forms including L^ATEX, Postscript, PDF, HTML and the original kLYX1000 version.

The source code developed together with this paper is available at http:// dresden-ocl.sourceforge.net/.

Modifications

This version includes several post-submission updates as listed below. For the submission version see the CVS repository.

• The paper moved to http://rw7.de/ralf/diplom00/intro.html.
• Versant provided a fix for the bug mentioned in chapter  and appendix .
• Removed -xmi-model in , was superfluous and caused some trouble.