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

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

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

Thu, 29 October 2009 09:13

Eclipse User

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 09:18] by Moderator

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

Thu, 29 October 2009 11:24

Eclipse User

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 07:04

Eclipse User

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 04:44

Eclipse User

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:

-=] Back to Top [=-

Current Time: Sat Jul 05 03:10:54 EDT 2025

.:: Contact :: Home ::.

Breadcrumbs

Sign up to our Newsletter