During the Lightning Talk session at the OCL Workshop this year, Martin Gogolla and Jordi Cabot made an excellent point that we need to make more OCL examples available to everyone. Easily available examples will not only help in learning OCL. More importantly, they make it easier to evaluate, test and compare OCL-related tools.
To support this initiative, we just made a collection of (toy) examples available that demonstrate the use of OCL in the context of UML as well as SecureUML models. Most of the models were developed in the context of the HOL-OCL and SecureUML projects.