Re: [gemoc-dev] concurrency-analysis branches

[Steffen Zschaler <steffen.zschaler@xxxxxxxxx>]

Hi,

 

I had thought this had been integrated a while ago?

 

Henshin is available from an update site here: http://download.eclipse.org/modeling/emft/henshin/updates/release

 

Best,

 

Steffen

 

Dr. rer. nat. Steffen Zschaler AHEA

 

Reader in Software Engineering

Deputy Head of Department (Education)

Department of Informatics

King's College London

 

Director MDENet: the expert network for model-driven engineering

 

Visiting Scientist

The Francis Crick Institute

 

Email szschaler@xxxxxxx

Phone +44 (020) 7848 1513

Office Bush House, BH(N)7.01

WWW   www.steffen-zschaler.de

 

From: gemoc-dev <gemoc-dev-bounces@xxxxxxxxxxx> On Behalf Of Didier Vojtisek
Sent: Friday, June 2, 2023 10:44 AM
To: gemoc developer discussions <gemoc-dev@xxxxxxxxxxx>; Julien Deantoni <julien.deantoni@xxxxxxxx>; Erwan Bousse <erwan.bousse@xxxxxxx>
Subject: [gemoc-dev] concurrency-analysis branches

 

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