[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?
[Updated on: Thu, 29 October 2009 13:18] 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 )? 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?
|
|
|
|
Powered by
FUDForum. Page generated in 0.03596 seconds