Validation using the embedded OCL Expressions of UML4PF

The OCLValidator contains a list of OCL experssions, which are used to check consistency of different diagrams. You can use these expressions to validate a *.uml file by right-clicking the file and using the menu entry "Validate now" which has a purple symbol (have a look at picture 1)

Currently, the following diagrams are supported: