Thanks for your answer, I was kind of hopping to find something already working :p
Yes. The generator should provide model transformation (transformation that should change the model to have a valid constraint)
A bonus idea would be to have an extension point with 3 parameters : text, constraint id and model transformation.
It will help for an easy extension.
I will have a look in OCL to Java and EMF Reactor
De : mdt-papyrus.dev-bounces@xxxxxxxxxxx <mdt-papyrus.dev-bounces@xxxxxxxxxxx>
De la part de Ed Willink
Envoyé : lundi 14 mai 2018 16:07
À : mdt-papyrus.dev@xxxxxxxxxxx
Objet : Re: [mdt-papyrus.dev] Quick Fixes in SysML 1.4
The OCL to Java code generator supports generation of Java from OCL in a variety of styles defined by derived generators:
- OCLinEcoreCG2JavaVisitor - Java embedded in *Impl classes by a standard GenModel
- JUnitCG2JavaVisitor- Java suitable for JUnit testing
- AutoCG2JavaVisitor - Java for a custom autogeneration capability
- QVTiCG2JavaVisitor - Java for the QVTi transformation representation underlying the QVTc/QVTr/UMLX languages
>From what you write, it seems like you 'just' need a different outer API for your OCL2Java. However my impression of quickfixes is that they need to change something and so they are a model
transformation rather than a model query. You need a suitable API to enable the quickfix to select and parameterize the transformation that can be formulated in your favourite model transformation language. At present anyone wanting to support a variety of
M2Ms has to provide multiple invokers. We really should be establishing a standard transformation call API; this was one of the goals / partial achievements of the defunct OMELET project which the also defunct MDDI project superseded but never replaced.
Have you looked at EMF Refactor which certainly made some progress on quickfix polymorphism?
On 14/05/2018 13:19, MAGGI Benoit wrote:
I introduced some « quick fixes » in SysML 1.4 (See )
For the moment there is only 6 quick fixes but feel free to ask for feature or push patches to add some.
SysML 1.6 will provide constraints in ocl form, I’m looking for a way to generate quickfixes from the constraints list ;
I found this paper  suggesting there is such a generator in VIATRA2.
Did you ever used this generator ?
(OCL -> quick fixes)
I don’t see VIATRA2 in official versions 
Has anyone an other suggestion to get the quikfixes ?
1 : https://bugs.eclipse.org/bugs/show_bug.cgi?id=534155
2 : https://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=6070373
3 : https://www.eclipse.org/viatra/downloads.html
mdt-papyrus.dev mailing list
To change your delivery options, retrieve your password, or unsubscribe from this list, visit