search

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

The incremental activation coder fails #55

Open eclipse-viatra-bot opened 5 months ago

eclipse-viatra-bot commented 5 months ago

| --- | --- | | Bugzilla Link | 510272 | | Status | NEW | | Importance | P3 normal | | Reported | Jan 11, 2017 09:46 EDT | | Modified | Oct 04, 2017 04:41 EDT | | Version | 1.6.0 | | Reporter | Andras Szabolcs Nagy |

Description

In the CPS example the incremental activation coder fails.

While the exploration with the genetic strategy seems to run correctly, executing the solution trajectory on the initial model fails.\ Closer inspection revealed that the solution included two allocation of the same application instance, which is forbidden by the left hand side of the rule.

As a temporary quick fix, incremental activation coding should be disabled.

eclipse-viatra-bot commented 5 months ago

By Andras Szabolcs Nagy on Jan 11, 2017 11:39

Incremental activation coding is disabled by default.\ It can be turned on by DseActivationNotificationListener.setIncremental(true);

eclipse-viatra-bot commented 5 months ago

By Zoltan Ujhelyi on Jan 25, 2017 08:13

Postponed tentatively. If work starts earlier, feel free to adjust the milestone.

eclipse-viatra-bot commented 5 months ago

By Zoltan Ujhelyi on Oct 04, 2017 04:41

Postponing.