OCL and Tagged Values

[gmcallow]

Hi,

I've got a few problems using OCL in EA - looking through this forum I don't seem to be the only one, but hopefully somebody will be able to shed some light on this.  A lot of the issues seem come from the lack of documentation on using OCL with EA, and also that the initial validation of the constraints only appears to do basic syntax checking.

I can use OCL on an class to specify invariants involving its attributes - that's fine.  However, I'd like to be able to use OCL to evaluate some of the elements Tagged Values.  Referencing the tagged value directly (e.g. inv: self.TaggedValueName > 2) doesn't seem to work.  Is there a way to either

* Reference a tagged value directly from OCL, or
* Link a tagged value with an attribute so I can evaluate it that way.

Regards

Glenn

[JPHespanha]

Glenn:

I am not a specialist at using OCL, I have use it in my domain model as part of my current research. I defined OCL invariants applied to properties (attributes) and association ends or association classes. There is nothing on the OCL specifications concerning the use of OCL on tagged values, so this is a "non-normative" area for now.

Applying a modeling focus, I guess it would be possible to include the tags as elements of a supporting metamodel, and then define usual OCL expressions on that metamodel.

Regards,
Joao

[gmcallow]

Joao,

Are you using EA to maintain your domain model for your current research ?  If not, which tool are you using if you don't mind me asking.

I haven't managed to get EA to correctly validate OCL invariants on AssociationEnds either.  I can reference Class A's attributes only if I have an attribute of Class A within Class B, accessing through the attribute instead of the role.

I'm quickly coming to the conclusion (having gone through many of the forum posts here) that the OCL support witin EA isn't up to much at the moment.

Regards

Glenn