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

Help

Home

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

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

Transformation termination and confluence [message #494167]

Thu, 29 October 2009 13:11

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

PLEASE answer in the properly named thread/topic:
http://www.eclipse.org/forums/index.php?t=msg&th=156782& amp; amp;start=0&S=fd34bb45b225072011871fc23c7b20f9

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

Report message to a moderator

Previous Topic:	[QVTO] Running my first QVTO Transformation produces empty model, but why?
Next Topic:	my-own metamodel needs to be used in a Modeling tool

Goto Forum:

-=] Back to Top [=-

[ Syndicate this forum (XML) ] [

]

Current Time: Fri Apr 26 10:56:08 GMT 2024

.:: Contact :: Home ::.

Breadcrumbs

Sign up to our Newsletter