Skip to main content

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index] [List Home]
[m2m-atl-dev] Proposed change in semantics for ATL/EMFTVM refining mode

Dear ATL devs,

I'd like to know your thoughts on the following bug:

https://bugs.eclipse.org/bugs/show_bug.cgi?id=425492

The idea is to remove all in-place behaviour from EMFTVM lazy rules in
refining mode. Instead, *unique* lazy rules will get the same in-place
behaviour as regular matched rules: "source == target" when same type and
"source" maps to "target", and implicit "dropping" of "from" elements that are
not specified again in the "to" part.

EMFTVM matched rules have additional behaviour, which I do *not* plan to
implement on unique lazy rules: "from" elements that map to "to" elements of a
different type will get "replaced": all references to the "from" element will
be "remapped" to the "to" element. This is the refining mode equivalent of
ATL's implicit tracing mechanism in standard mode. Unique lazy rules do not
generate "default" traces, so references to its "from" elements would never be
replaced by the implicit tracing mechanism in standard mode.

What do you think about this?

Regards,

-- 
Dennis Wagelaar



Back to the top