[gemoc-dev] concurrency-analysis branches

[Didier Vojtisek <didier.vojtisek@xxxxxxxx>]

Hi Julien and 
Erwan

I've (again) aligned the concurrent-analysis branch and master in order to prepare a PR to integrate this work (ci is passing https://ci.eclipse.org/gemoc/job/gemoc-studio-integration/job/concurrency-analysis/ )

but I've an issue with one of the official example that doesn't work anymore : tfsm

It raises the following error: about the chocosolver:

> Diagnostic OK source=org.eclipse.m2m.qvt.oml.execution 
> code=0: OK
> Create RelationModelListener 
> fr.inria.aoste.timesquare.instantrelation.listener.RelationModelListener@7f0ebf57
> CCSL 
> Factory
> adding Adapter : 
> fr.inria.aoste.timesquare.ccslkernel.model.adapter.ModelAdapter
> inital 
> computation choice -->1
> java.lang.RuntimeException: 
> java.lang.UnsupportedOperationException
> 	
> at 
> org.eclipse.gemoc.execution.concurrent.ccsljavaxdsml.api.core.AbstractConcurrentExecutionEngine.performStart(AbstractConcurrentExecutionEngine.java:203)
> 	at 
> org.eclipse.gemoc.executionframework.engine.core.AbstractExecutionEngine.startSynchronous(AbstractExecutionEngine.java:352)
> 	at 
> org.eclipse.gemoc.executionframework.engine.core.AbstractExecutionEngine$1.run(AbstractExecutionEngine.java:335)
> 	at 
> java.base/java.lang.Thread.run(Thread.java:829)
> Caused by: 
> java.lang.UnsupportedOperationException
> 	
> at 
> org.chocosolver.solver._expression_.discrete.relational.ReExpression.decompose(ReExpression.java:139)
> 	at 
> org.chocosolver.solver._expression_.discrete.relational.ReExpression.post(ReExpression.java:131)
> 	at 
> org.eclipse.gemoc.execution.concurrent.ccsljavaengine.extensions.timesquare.moc.impl.CcslSolver.fromLogicalStepsToModel(CcslSolver.java:324)
> 	at 
> org.eclipse.gemoc.execution.concurrent.ccsljavaengine.extensions.timesquare.moc.impl.CcslSolver.computeAndGetPossibleLogicalSteps(CcslSolver.java:278)
> 	at 
> org.eclipse.gemoc.execution.concurrent.ccsljavaengine.engine.AbstractSolverCodeExecutorConcurrentEngine.computeWithoutUpdatePossibleLogicalSteps(AbstractSolverCodeExecutorConcurrentEngine.java:50)
> 	at 
> org.eclipse.gemoc.execution.concurrent.ccsljavaengine.engine.AbstractSolverCodeExecutorConcurrentEngine.computeInitialLogicalSteps(AbstractSolverCodeExecutorConcurrentEngine.java:64)
> 	at 
> org.eclipse.gemoc.execution.concurrent.ccsljavaxdsml.api.core.AbstractConcurrentExecutionEngine.computePossibleLogicalSteps(AbstractConcurrentExecutionEngine.java:111)
> 	at 
> org.eclipse.gemoc.execution.concurrent.ccsljavaengine.engine.MoccmlExecutionEngine.performExecutionStep(MoccmlExecutionEngine.java:219)
> 	at 
> org.eclipse.gemoc.execution.concurrent.ccsljavaxdsml.api.core.AbstractConcurrentExecutionEngine.performStart(AbstractConcurrentExecutionEngine.java:195)
> 	... 3 
> more

Additionnally, the branch contains some henshin related content (in the example) but has henshin is neither part of gemoc (@eclipse) not available as a thirdparty update site, I'll plan to remove this content.

As I have no clue or real indication what this branch does and how the new solver work,

Could you help to :

1/ debug the engine so it can also work on the tfsm example

2/ prepare a PR description that explain what is done in the branch ?

3/ make sure that the henshin examples are saved in some other place

Thanks

best regards

Didier

-- 
--
Didier Vojtisek
SED Rennes - DiverSE Team - LogicA Team
Inria, Univ Rennes, CNRS, IRISA
Campus de beaulieu
35042 Rennes
02 99 84 75 07