As I pinned some days ago I am very interested in verification and validation methods. While thinking in preconditions, invariants and stuff OCL came to my mind and I started diving the web looking for a OCL parser and I found an OCL ANTLR grammar: http://www.cs.columbia.edu/~akonstan/ocl/
Benjamin (HP workmate) pointed me to an Java/C++ parser tool which I can’t remember!!
I am starting a personal projects page to write down all I have in mind and get some feedback from the wee community which read this blog.
Do not forget Dresden OCL Toolkit