OCL in Enterprise Architect

[lvdbrink]

I have some questions about the support for OCL in Enterprise Architect.

First off, we are using aliases in our models for simple bi-lingual modeling. We are also working on adding OCL constraints to our model. In these OCL constraints, can we use the aliases of classes/attributes/associations instead of their names?

Also, I'm wondering about the validation support for OCL. Which version of OCL is supported? Is the validation functionality reliable?

I'm also looking for more information about what the validation functionality for OCL does, exactly.
* When you enter an OCL constraint for a class and you hit save, then I suppose the syntax of the OCL constraint is checked. Am I right?
* When you have a class diagram with several OCL constraints and you select Project > Model Validation > Validate selected, are OCL constraints then also validated? Is logical/type correctness of the constraints then checked, e.g. if relations/attributes that are referred to in a constraints actually exist?