Model Validation

[R. Carbon]

Hi,

I'm currently trying out the model validation using OCL constraints. I have the impression that the feature does not work correctly. Has anyone made similar experiences?

Example: model two objects c1 and c2 and connect them via an association. Give c2 the association role r and add the following OCL constraint: context c1 inv: self.r-> isEmpty()
The model validation should produce a warning but it doesn't...

Am I doing a crucial mistake?

Regards,
R. Carbon