MDK User Guide: OCL Resources

UML OCL CheatSheet: https://scribetools.readthedocs.io/en/latest/_downloads/UMLOCL-CheatSheet-18.pdf

OCL Quick References: https://www.eoinwoods.info/media/writing/OCL1.5-quick-reference.pdf

UML OCL Tutorials:

• http://www-sop.inria.fr/members/Charles.Andre/CAdoc/ESINSA/UMLOCL-memo.pdf

• https://formal.kastel.kit.edu/~beckert/teaching/Verification-SS06/10OCL.pdf 

NoMagic OCL documentation: https://docs.nomagic.com/display/MD190/Object+Constraint+Language

OMG OCL Book: https://www.omg.org/spec/OCL/2.4/PDF