| How to refine a model from another ? [message #1808899] |
Thu, 04 July 2019 09:10  |
 Marshall Charron
Messages: 72
Registered: August 2018 |
Member |
|
|
Hi,
The refining mode in ATL is limited to only ONE to ONE transformation with the same metamodel.
I want to accomplish MANY to ONE refining transformation.
Something like that :
create OUT: MODELA from M1: MODELA, M2 : MODELB
rule rule1 {
from
att1 : MODELA!Att1,
att2 : MODELB!Att2
to
atout : MODELB!Att1 (
name <- att2.name
)
}
Where I want to use element from MODELB to refine MODELA.
How can I achieve that ?
[Updated on: Thu, 04 July 2019 09:13] Report message to a moderator |
|
|
|
| Re: How to refine a model from another ? [message #1808944 is a reply to message #1808942] |
Thu, 04 July 2019 17:53  |
Marshall Charron
Messages: 72
Registered: August 2018 |
Member |
|
|
Thanks for you reply.
It was a mistake. Here is the right transformation :
create OUT: MODELA from M1: MODELA, M2 : MODELB
rule rule1 {
from
att1 : MODELA!Att1,
att2 : MODELB!Att2
to
atout : MODELA!Att1 (
name <- att2.name
)
}
Basically, just refining an element in MODELA!Att1 with an element from MODELB!Att2.
How can I achieve that ? If possible could you provide a little snippet.
[Updated on: Thu, 04 July 2019 17:54] Report message to a moderator |
|
|
| Re: How to refine a model from another ? [message #1809040 is a reply to message #1808944] |
Sun, 07 July 2019 08:38 |
|
An example transformation module could look like this:
-- @atlcompiler emftvm
-- @path MODELA=/RefiningTest/metamodels/ModelA.ecore
-- @path MODELB=/RefiningTest/metamodels/ModelB.ecore
module RefiningTest;
create OUT: MODELA refining M1: MODELA, M2 : MODELB;
rule rule1 {
from
att1 : MODELA!Att1 in M1,
att2 : MODELB!Att2 in M2 (
att1.name = att2.name
)
to
atout : MODELA!Att1 mapsTo att1 (
name <- att1.name,
att2Tag <- att2.tag
)
}
The transformation above adds an "att2Tag" value to all Att1 elements for which there exists an Att2 element with the same name. I've attached a zipped Eclipse project with the full example.
Note that if you want to specify extra input/output elements for a rule, you must explicitly declare that "atout" maps one-to-one to "att1", using the "mapsTo" keyword. Normally, there is an implicit "mapsTo" in each matched rule, which maps the first output element to the input element in case there is only one input element, or the Sequence of input elements in case there are multiple input elements.
I've also added "in" clauses to the input elements for efficiency reasons: this tells ATL to only search within a single model for matches.
Cheers,
Dennis
|
|
|
Powered by
FUDForum. Page generated in 0.02331 seconds
] 
Search
Help
Register
Login
Home
