eclipse-viatra / org.eclipse.viatra

Main components of the VIATRA framework
https://eclipse.dev/viatra
Eclipse Public License 2.0
0 stars 1 forks source link

Recursive rules calling not supported by batch transformations #29

Open eclipse-viatra-bot opened 4 months ago

eclipse-viatra-bot commented 4 months ago

| --- | --- | | Bugzilla Link | 492962 | | Status | NEW | | Importance | P3 normal | | Reported | May 04, 2016 04:56 EDT | | Modified | May 27, 2019 07:45 EDT | | Version | 1.2.0 | | Reporter | Peter Lunk |

Description

during the execution of batch transformation rules, rule specifications are registered in the ruleBase, the activations are executed and then the specifications are disposed. this dispose step can cause a number of problems. For example if the batch transformation consists of a single rule with a large number of different event filters, the rule calls itself recursively, until the break conditions are met (typically the source model is transformed).

The problem here is the following:\ Rule A1\ calls Rule A2 ...\ calls Rule AN

The execution of Rule AN will be finished first, and when this happens, the batch transformation statements disposes Rule A as a whole. due to this A1..AN-1 instances will be inactive (as their rule specification is disposed) resulting in a faulty transformation behavior.

eclipse-viatra-bot commented 4 months ago

By Zoltan Ujhelyi on May 26, 2016 08:34

Moved to 1.4

eclipse-viatra-bot commented 4 months ago

By Zoltan Ujhelyi on Jan 25, 2017 08:09

Postponed.

eclipse-viatra-bot commented 4 months ago

By Zoltan Ujhelyi on Oct 04, 2017 05:04

Postponing.

eclipse-viatra-bot commented 4 months ago

By Zoltan Ujhelyi on Feb 08, 2018 07:21

Postponing to a future release.

eclipse-viatra-bot commented 4 months ago

By Zoltan Ujhelyi on May 27, 2019 07:45

Postponing tickets to FUTURE until effort is allocated to fix them.