Submitted December 15, 2000.
The thesis is available in two formats:
The source of the software is available at the Dresden OCL Toolkit project page.