We show how to combine the Unified Modeling Language's (UML) Object Constraint Language (OCL) with the design techniques first developed by Bertrand Meyer for Eiffel, stressing the benefits of ...

For more complex constraints, Protégé has a built-in language called Protégé Axiom Language (PAL). PAL is similar to the Object Constraint Language (OCL) in UML.

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.