Skip to main content

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index] [List Home]
Re: [gemoc-dev] saving/restoring model state based on K3

On 10/9/18 5:25 PM, Didier Vojtisek wrote:
Hi  Julien
1/ your helpers generator looks interresting :-)

maybe we can think about how to improve it by making a version that is a little bit higher lever and allows only emf related objects instead of object

using "object" looks correct here since K3 allow to use any objects but maybe we should find a way to restrict to objects that can be serialized by emf
as I'm not sure the traceability feature (for the timeline) is able to deal with non emf objects...
Yes, I did not restrict to be sure to allow non EMF RTD but it could be discussed. It at least need to de Serializable but I did not find a way to make it clean...


2/ I haven't checked out the code to verify but this line is suspect : https://github.com/gemoc/concurrency/blob/master/ccsljava_execution/ccsljava_xdsml/plugins/org.eclipse.gemoc.execution.concurrent.ccsljavaxdsml.ui/src/main/java/org/eclipse/gemoc/execution/concurrent/ccsljavaxdsml/ui/builder/BuilderTemplates.java#L229

it refers to Tfsm and does not seem to be correct for a template
true, I will modify it as soon as I can

3/ about ps: right at some point we should think to a better location once we know that it also helps working with timelines
You're the best to know where it should be :)


best regards
Didier


Le 09/10/2018 à 16:06, Julien DeAntoni a écrit :
Hi,

FYI
I committed in the gemoc/concurrency repo (commit 77d2afb12fc60b2c7c7869f8297f7db2429beec8) a new builder that generates a K3RTDHelper in the DSL project to help doing get/set on RTDs defined in Kermeta (without melange).
It is for now used only in odesign animation and in a poc for state space exploration including RTD.
It may be used in the timeline (to go back in time) and in the debugger (to show RTD)  but not integrated, yet.
Any feedback welcome

j
PS: it may be moved elsewhere since it may be useful not only for concurrent DSL


On 8/29/18 2:17 PM, Didier Vojtisek wrote:
I agree too, but the only currently working way to keep the metamodel without RTD is to use Melange. If you don't use it, a lot of the feature will be missing :-(

in latest version,  role of Melange in GEMOC has been decreased to only a small subset:
from a clean dsl + K3, it generates a new dsl with the RTD and operations
but I agree in this scenario the language designer has to know if he/she is working on the base dsl or on the executable one especially when designing the sirius editor+animator+debug highlighter. 
The official example "LegacyFSM" does that (btw there's an open issue waiting for suggestions to rename this example ;-) ))


best regards
Didier
Le 29/08/2018 à 13:56, Julien DeAntoni a écrit :
I totally agree... But this is important if we do not want to "blur" the metamodel with RTD data...

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

_______________________________________________
gemoc-dev mailing list
gemoc-dev@xxxxxxxxxxx
To change your delivery options, retrieve your password, or unsubscribe from this list, visit
https://dev.eclipse.org/mailman/listinfo/gemoc-dev


-- 
Julien Deantoni
Associate Professor
I3S Lab - UMR 7271 -KAIROS
INRIA Sophia Antipolis Méditerranée
2004 rte des Lucioles (Lagrange L-041)
BP93, F-06902 Sophia Antipolis Cedex, France
tel: +334 92 38 77 66
http://www.i3s.unice.fr/~deantoni/

Don’t take life too seriously! Nobody gets out alive anyway.(Dawn Gluskin)


_______________________________________________
gemoc-dev mailing list
gemoc-dev@xxxxxxxxxxx
To change your delivery options, retrieve your password, or unsubscribe from this list, visit
https://dev.eclipse.org/mailman/listinfo/gemoc-dev

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

_______________________________________________
gemoc-dev mailing list
gemoc-dev@xxxxxxxxxxx
To change your delivery options, retrieve your password, or unsubscribe from this list, visit
https://dev.eclipse.org/mailman/listinfo/gemoc-dev


-- 
Julien Deantoni
Associate Professor
I3S Lab - UMR 7271 -KAIROS
INRIA Sophia Antipolis Méditerranée
2004 rte des Lucioles (Lagrange L-041)
BP93, F-06902 Sophia Antipolis Cedex, France
tel: +334 92 38 77 66
http://www.i3s.unice.fr/~deantoni/

Don’t take life too seriously! Nobody gets out alive anyway.(Dawn Gluskin)

Back to the top