UML and OCL The Object Constraint Language (OCL) is a formal language that expresses side effect-free constraints 3,6,7 in UML models. A side effect-free operation is defined as one that will not ...

UML (Unified Modeling Language) as a standard as a standard of specification of object systems should be a natural source of information relevant to the testing. However, the systems are usually ...