Eclipse Community Forums: M2M (model-to-model transformation)

Help

Home

Home » Archived » M2M (model-to-model transformation) » Refining Execution Mode

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

Refining Execution Mode [message #498641]

Tue, 17 November 2009 19:40

Andreza Mising name

Messages: 10
Registered: October 2009

Junior Member

Hello everybody,

I want to know if the keyword refining in the header of the ATL module is working. Because I need to do an ATL transformation only for modifying few features in a UML model. But, when I use refining the rest of the code is not copied, as it proposes.

Does anyone knows how can I copy the rest of the code automatically?

Thanks a lot.
Andreza

Report message to a moderator

[ATL] Re: Refining Execution Mode [message #501193 is a reply to message #498641]

Tue, 01 December 2009 13:37

William Piers

Messages: 301
Registered: July 2009

Senior Member

This is a multi-part message in MIME format.
--------------050001060308000900060805
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit

Hello,

Please prefix your subject with [ATL] when posting about ATL.

With ATL 3.0 you can test a full working refining mode example: New ->
Example -> ATL -> public to private

Best regards,

William

Andreza a écrit :
> Hello everybody,
>
> I want to know if the keyword refining in the header of the ATL module
> is working. Because I need to do an ATL transformation only for
> modifying few features in a UML model. But, when I use refining the
> rest of the code is not copied, as it proposes.
>
> Does anyone knows how can I copy the rest of the code automatically?
>
> Thanks a lot.
> Andreza

--
Ne manquez pas notre prochaine formation ATL inter entreprises:
ATL - Paris - du 2 au 3 Décembre 2009
Pour plus de dates et pour le détail de cette formation:
http://www.obeo.fr/pages/formations/fr

Don't forget our next ATL training:
ATL - Paris - 2009 December from 2th to 3th
More dates and training program on:
http://www.obeo.fr/pages/formations/fr

--------------050001060308000900060805
Content-Type: text/x-vcard; charset=utf-8;
name="william_piers.vcf"
Content-Transfer-Encoding: base64
Content-Disposition: attachment;
filename="william_piers.vcf"

YmVnaW46dmNhcmQNCmZuOldpbGxpYW0gUGllcnMNCm46UGllcnM7V2lsbGlh bQ0Kb3JnOk9i
ZW8NCmFkcjoyIHJ1ZSBSb2JlcnQgU2NodW1hbm47O2xvdCAyNDtOQU5URVM7 OzQ0NDA4O0Zy
YW5jZQ0KZW1haWw7aW50ZXJuZXQ6d2lsbGlhbS5waWVyc0BvYmVvLmZyDQp0 aXRsZTpNREEg
Q29uc3VsdGFudA0KdGVsO3dvcms6KzMzICgwKTIgNTEgMTMgNTAgNTMNCnVy bDpodHRwOi8v
d3d3Lm9iZW8uZnINCnZlcnNpb246Mi4xDQplbmQ6dmNhcmQNCg0K
--------------050001060308000900060805--

Report message to a moderator

Re: [ATL] Re: Refining Execution Mode [message #510956 is a reply to message #501193]

Fri, 29 January 2010 10:04

Julio

Messages: 5
Registered: November 2009

Junior Member

This example is far too simple.
I tried "sorting/reordering" model elements (inside a "root" element) as a result of refining, and this transformation worked for ATL2*, whereas now (ATL3*), it does not change anything (no matter if I use Regular VM or EMF-specific). The result of the transformation is the same as the input.
Furthermore, the new ATL disallows the use of lazy rules in a refining transformation whereas the previous version was permissive.
Is there a source to know what is not considered by the new ATL, compared with the ATL previous versions, in the case of refining transformations?

J.

[Updated on: Fri, 29 January 2010 10:06]

Report message to a moderator

Re: Refining Execution Mode [message #511318 is a reply to message #498641]

Mon, 01 February 2010 09:25

Sylvain EVEILLARD

Messages: 556
Registered: July 2009

Senior Member

The ATL2 Refining mode was using a "copy" transformation whereas ATL3 Refining mode is using an "in-place" transformation mechanism. That is way less permissive but many times faster.

You can still reproduce the ATL2 Refining mode by generating the Copy transformation for you meta-model and then using super-imposition to implement your refining rules.

Report message to a moderator

Re: Refining Execution Mode [message #511629 is a reply to message #511318]

Tue, 02 February 2010 10:42

Julio

Messages: 5
Registered: November 2009

Junior Member

I do not understand the difference implied by just saying "in place" transformation, by contrast with a "copy". Is there some pointer manipulation assumed (in ATL VM)?
That it is faster I cannot asses either, perhaps you know of a benchmark suite, or have a complexity analysis at hand that you would like to share with us Wink

In any case, a copy is linear, sorting/rearranging-elements is another business!

I do not understand either the remark about reproducing in ATL3 the ATL2 refining operation. Do you mean to program the refinement of ATL2 as a standard transformation?
My problem at hand is "simple" (I want to believe): Given a model sort the occurrence of its elements according to a given comparison relation.
Clearly models are big trees, and I do mean to "reorder" arbitrary subtrees, not only those at the same level.
I do not mean to add/change-values-of model elements, but their "order" of ocurrence.

As far as I can see
the question remains: What does refining mean in the ATL3 context? (possibly with respect to refining in ATL2)

J.

Report message to a moderator

Re: Refining Execution Mode [message #511650 is a reply to message #511629]

Tue, 02 February 2010 12:05

Vincent MAHE

Messages: 129
Registered: July 2009

Senior Member

Julio a écrit :
> I do not understand the difference implied by just saying "in place"
> transformation, by contrast with a "copy". Is there some pointer
> manipulation assumed (in ATL VM)? That it is faster I cannot asses
> either, perhaps you know of a benchmark suite, or have a complexity
> analysis at hand that you would like to share with us ;)

> In any case, a copy is linear, sorting/rearranging-elements is another
> business!

Yes but as in EMF the order is the one the model have been created with,
you cannot expect a refining mode (which only change element to be
modified) to do your ordering work. You have taken benefit of a bad
respect of refining semantic in ATL2, when ATL3 is more effective on the
refining semantic.
>
> I do not understand either the remark about reproducing in ATL3 the ATL2
> refining operation. Do you mean to program the refinement of ATL2 as a
> standard transformation?
> My problem at hand is "simple" (I want to believe): Given a model sort
> the occurrence of its elements according to a given comparison relation.
> Clearly models are big trees, and I do mean to "reorder" arbitrary
> subtrees, not only those at the same level.
> I do not mean to add/change-values-of model elements, but their "order"
> of ocurrence.
>
> As far as I can see
> the question remains: What does refining mean in the ATL3 context?
> (possibly with respect to refining in ATL2)
>
> J.

--
Cordialement

Vincent MAHÉ

Ingénieur plate-forme - Cesar/Artemisia - Équipe Espresso
IRISA-INRIA, Campus de Beaulieu, 35042 Rennes cedex, France
Tél: +33 (0) 2 99 84 71 00, Fax: +33 (0) 2 99 84 71 71

Report message to a moderator

Previous Topic:	[ATL] Unique lazy rules with multiple arguments
Next Topic:	[QVTo] Caption for symbols/icons used in Metamodel Explorer

Goto Forum:

-=] Back to Top [=-

[ Syndicate this forum (XML) ] [

]

Current Time: Thu Apr 18 14:54:40 GMT 2024

.:: Contact :: Home ::.

Breadcrumbs

Sign up to our Newsletter