Skip to main content

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index] [List Home]
Re: [] Quick Fixes in SysML 1.4


although a bit late but I can give some feedback on the original question:

TL;DR: there is no ready-to-use quick fixes from OCL constraints support in VIATRA

The VL/HCC 2011 paper (I am one of the authors) you mentioned described an approach where the design-space exploration extension of VIATRA2 was used to generate quick fixes for validation errors in DSLs. Since then a lot has happened in the VIATRA project [1] (I am co-lead there), for example we have migrated to native EMF support from the legacy VPM model representation.

VIATRA still has a design space exploration component [2] that one could use to implement the same solution over UML models. You would need to define your constraints in VIATRA query language (VQL) and the possible elementary modification operations using VIATRA-DSE. Then you could wire in the execution of the DSE when the user wants to apply a quick fix on an error, retrieve the possible solutions from DSE, present them to the user and then apply them if selected. Something very similar was done in the MONDO EU project, although for model merging [3].

For the other part, there is an experimental OCL to VQL transformation [4], that is incomplete and not part of the official project (and was not yet migrated from EMF-IncQuery to VIATRA, although the language is almost entirely compatible).

If you are interested in any of these topics in more detail, I would be happy to discuss them or you can write to the viatra-dev list or on the forums [5].


Best regards,
Ábel Hegedüs

IncQuery Labs Ltd.

On 2018. 05. 14. 14:19:42, MAGGI Benoit <benoit.maggi@xxxxxx> wrote:



I introduced some « quick fixes » in SysML 1.4 (See [1])

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 [2] 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 [3]


Has anyone an other suggestion to get the quikfixes ?





1 :

2 :

3 :


Back to the top