| Two level validation [message #543685] |
Wed, 30 June 2010 05:59  |
Eclipse User |
|
|
|
Hi,
I would like to implement in my graphical editor two kinds of validation: one loose that capture strong errors while the user draws the diagram and one stricter to be enforce before code generation happens. The reason is that in this way the user could draw and save partial diagrams non yet complete and correct but he has to revise them before generation.
For the loose validation I am thinking about writing ocl constraints in the emf model but I don't know how to implement the strict validation,
suggestions?
Federico
|
|
|
| Re: Two level validation [message #544918 is a reply to message #543685] |
Tue, 06 July 2010 00:45  |
| Eclipse User |
|
|
|
Hi Federico,
In my project I use OCL in GMF for basic constraint checking, but also
use OAW Checks for extended constraint checking before code generation.
This can be implemented with any number of validation technologies, if
you link it into the EMF validation framework.
As part of my thesis I have looked into languages such as OAW, Crocopat,
NuSMV, Ally etc, and these can all be integrated quite simply into EMF.
The big question is how to trigger this validation - do you want it to
occur on load, on save, on a dialog menu, or as part of another action
(e.g. code generation).
Cheers
Jevon
Federico Tomassetti wrote:
> Hi,
> I would like to implement in my graphical editor two kinds of
> validation: one loose that capture strong errors while the user draws
> the diagram and one stricter to be enforce before code generation
> happens. The reason is that in this way the user could draw and save
> partial diagrams non yet complete and correct but he has to revise them
> before generation.
>
> For the loose validation I am thinking about writing ocl constraints in
> the emf model but I don't know how to implement the strict validation,
>
> suggestions?
>
> Federico
|
|
|
|
Powered by
FUDForum. Page generated in 0.25684 seconds
Home