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.

Download
dresden-ocl2 - 2.0
Last Update: Jun 19 2008


At a glance ... RSS