Using OCL when specifing UML profile

[futuros]

Dear Sirs,

I would like to ask you one important technical question for us,  connected with OCL usability in EA. We need to use UML tool also for working with OCL, i.e. model validation.

Does EA supports OCL constraints also when specifing UML profile?

EXAMPLE: BusinessProfile definition
- BusinessGoal(class with stereotype BusinessGoal) must be always connected with Problems (class with stereotype Problem). We want to achieve this using OCL contraints.

Usability:
After any analyst will specify business strategy model using BusinessProfile, we want to verify, if his model contains Problems connected into Goals.

Thank you,
With regards
Futuros astral user