A modular OCL (Object Constraint Language) toolkit. Parses and type-checks OCL constraints, and instruments java code for runtime verification. Integrated into various CASE-tools and an SQL-code generator. There are now two versions: OCL1.x and OCL2.0.