OCL constraints validation broken

[AlmaMater]

The OCL constraint validation is acting weird for me.
I get the OCL violation message everytime I validate the model no matter  what I actually type in. I get that even for something like inv: self=self or inv: 1>0 which are obviously always true.
When I save the model and restart EA it works and I get no violation messages for rules returning true until I change them, then I can't validate them anymore and need to restart again in order to verify any new/updated OCL constraint.

I am currently using the 9.3 trial if it's of any help. I really need to get this working ASAP so any help is greatly appreciated.

[qwerty]

EA actually can't execute OCL. It only validates the syntax of the OCL. Seems to be a common misunderstanding. If you need to validate your model against OCL you need to do that externally. I have no idea which tool can be used for that.

q.

P.S. Google revealed this: http://www.empowertec.de/blog/2007/01/15/ocl-support-in-enterprise-architect/