Eclipse Community Forums: M2M (model-to-model transformation) » [ATL] Transformation termination and confluence

Help

Home

Home » Archived » M2M (model-to-model transformation) » [ATL] Transformation termination and confluence

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

[ATL] Transformation termination and confluence [message #494169]

Thu, 29 October 2009 13:13

Anonymous

Messages: 7
Registered: July 2009

Junior Member

questions I suppose for the ATL creators/developers:
how ATL engine achieves transformation termination and confluence? very deep technical implementation explanation is unnecessary, but key theoretical points would be nice to know - algorithm or assumptions? is this topic already covered somewhere?

I would guess, that termination is achieved by removing source model objects, which already initiated rule executions. No guess for confluence
Do I miss badly? Wink

[Updated on: Thu, 29 October 2009 13:18]

Report message to a moderator

Re: [ATL] Transformation termination and confluence [message #494214 is a reply to message #494169]

Thu, 29 October 2009 15:24

William Piers

Messages: 297
Registered: July 2009

Senior Member

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

Hello,

Here are a few more details about ATL execution:
http://wiki.eclipse.org/ATL/User_Guide#Default_mode_executio n_semantics

Best regards,

William

Anonymous a écrit :
> questions I suppose for the ATL creators/developers:
> how ATL engine achieves transformation termination and confluence? very
> deep technical implementation explanation is unnecessary, but key
> theoretical points would be nice to know - algorithm or assumptions? is
> this topic already covered somewhere?
>
> I would guess, that termination is achieved by removing source model
> objects, which already initiated rule executions. No guess for confluence
> Do I miss badly? ;)

--
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

--------------050808060902050300040602
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
--------------050808060902050300040602--

Report message to a moderator

Re: [ATL] Transformation termination and confluence [message #494343 is a reply to message #494214]

Fri, 30 October 2009 11:04

Anonymous

Messages: 7
Registered: July 2009

Junior Member

William, thanks for the link, however there actually is no useful information. How does stages relate to termination/confluence - rules could be matched forever meaning no termination, because matched source patterns are not removed from further pattern application. This is logical conclusion by reading that link.
Is double pushout (DPO) or single pushout (SPO) approach used for transformations? How does confluence achieved (which by simple words mean, that rules can be applied in different order producing the same result, i.e. transforming the same source model ATL produces the same target model even if transformation rule application order is unique in each run)? what assumptions let apply rules in a non-deterministic way (declarative execution mode) and to produce the same result (this is confluence Smile

)? is this a result of late initialization of target patterns? if so, how circular (mutual) dependencies are avoided?

I understand, that not every ATL user is familiar with these topics, but I am sure, that termination/confluence should been addressed by developing declarative transformation execution mode. May better informed to shed more light?

Report message to a moderator