Skip to main content


Eclipse Community Forums
Forum Search:

Search      Help    Register    Login    Home
Home » Archived » M2M (model-to-model transformation) » [ATL] Transformation termination and confluence
[ATL] Transformation termination and confluence [message #494169] Thu, 29 October 2009 13:13 Go to next message
Anonymous  is currently offline Anonymous Friend
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 Go to previous messageGo to next message
William Piers is currently offline William PiersFriend
Messages: 301
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--
Re: [ATL] Transformation termination and confluence [message #494343 is a reply to message #494214] Fri, 30 October 2009 11:04 Go to previous messageGo to next message
Anonymous  is currently offline Anonymous Friend
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?
Re: [ATL] Transformation termination and confluence [message #498936 is a reply to message #494169] Thu, 19 November 2009 09:44 Go to previous message
Anonymous  is currently offline Anonymous Friend
Messages: 7
Registered: July 2009
Junior Member
Thread should be closed - termination and confluence question is solved Smile
Previous Topic:[QVTO] Composite Transformations
Next Topic:[QVTo] Failed to resolve metamodel
Goto Forum:
  


Current Time: Fri Mar 29 11:41:41 GMT 2024

Powered by FUDForum. Page generated in 0.04188 seconds
.:: Contact :: Home ::.

Powered by: FUDforum 3.0.2.
Copyright ©2001-2010 FUDforum Bulletin Board Software

Back to the top