OCL-Based Visual UML Model Verification Environment

In order to resolve the ambiguous and inconsistent problem which potentially caused by informal description, this paper elaborates an OCL-based UML verification environment (OUVE). OUVE can verify the relationship and constraints about classes before code starts, so it reduces the cost of correcting the design and coding errors.