Eclipse Community Forums: Model-to-Model Transformation » OCL metamodel constraint to ATL helper

Help

Home

Home » Modeling » Model-to-Model Transformation » OCL metamodel constraint to ATL helper

Show: Today's Messages :: Show Polls :: Message Navigator

OCL metamodel constraint to ATL helper [message #1752303]

Fri, 20 January 2017 18:32

meriem lahr

Messages: 31
Registered: March 2013

Member

Hi all,

I'm writing an ATL higher order transformation to verify either a model conforms to a metamodel.

Please, does someone know how to translate the metamodel constraints writen in OCL into ATL? For example, for the class diagram metamodel, if a constraint asserts that two classes cannot have the same name, an ATL helper in this form should be created :

helper context CD!Class def: existSameName() : Boolean =
-- verification of the constraint

Thank you very much

Meriem

Report message to a moderator

Re: OCL metamodel constraint to ATL helper [message #1752306 is a reply to message #1752303]

Fri, 20 January 2017 19:24

Ed Willink

Messages: 7655
Registered: July 2009

Senior Member

Hi

ATL uses its own implementation that is OCL-like, but since it is independent you have no option of re-using models from another OCL. You will find it easiest to construct the required ATL as a text file and then parse it. You could try a M2M between an OCL AST and an ATL AST, but I would expect that you would find quite a few extra excitements.

Regards

Ed Willink

Report message to a moderator

Re: OCL metamodel constraint to ATL helper [message #1752328 is a reply to message #1752306]

Sat, 21 January 2017 15:54

meriem lahr

Messages: 31
Registered: March 2013

Member

Hi Ed

Thanks a lot for your answer.

Excuse me, I did not understand what do you mean by I have no option of re-using models from another OCL

To avoid misunderstanding, I would like to give more details about my problem. My ATL higher order transformation takes only a UML metamodel as input and provides another ATL transformation. The output transformation should verify either a model conforms to the metamodel (input of the HOT) so it takes a model as input and a verification result as model as output. The issue is that since we have an access to the input metamodel in ATL HOT, and the well-formedness rules, written in OCL, are part of this metamodel, is there any way to access them?

Regards

Meriem

Report message to a moderator

Re: OCL metamodel constraint to ATL helper [message #1752329 is a reply to message #1752328]

Sat, 21 January 2017 17:04

Ed Willink

Messages: 7655
Registered: July 2009

Senior Member

Hi

It is very difficult to provide helpful answers to vague questions. Without seeing what you really have, I can only repeat my previous answer. Use text. Interchangeable OCL is text.

Regards

Ed Willink

Report message to a moderator

Previous Topic:	[QVTo] how to use two target sources?
Next Topic:	Assignment statement in ATL helpers

Goto Forum:

-=] Back to Top [=-

[ Syndicate this forum (XML) ] [

]

Current Time: Tue Apr 16 09:51:30 GMT 2024

.:: Contact :: Home ::.

Breadcrumbs

Sign up to our Newsletter