Eclipse Community Forums: EMF » Different Validation for a model

Home » Modeling » EMF » Different Validation for a model

Different Validation for a model [message #1707102]

Wed, 02 September 2015 06:50

Eclipse User

Hi there,

I try to use the same EMF ecore-Model in different contexts, i.e. in
different Eclipse RCP-Products. Each product might have slightly
different business rules under which I want to validate the model.

Is it somehow possible to decouple the EMF validation from the
implementation of the validating methods in order to separate model and
validation rules into separate bundles? Or would that be something I'd
have to add myself, i.e. some mechanism by eclipse extension points to
search for registered validation bundles that validate the model?

Cheers,
Hauke

Re: Different Validation for a model [message #1707109 is a reply to message #1707102]

Wed, 02 September 2015 08:19

Eclipse User

Hi

If you use OCL you can separate your validation into OCL documents.
Different applications can select which Complete OCL documents are used.

Regards

Ed Willink

On 02/09/2015 11:50, Hauke Fuhrmann wrote:
> Hi there,
>
> I try to use the same EMF ecore-Model in different contexts, i.e. in
> different Eclipse RCP-Products. Each product might have slightly
> different business rules under which I want to validate the model.
>
> Is it somehow possible to decouple the EMF validation from the
> implementation of the validating methods in order to separate model
> and validation rules into separate bundles? Or would that be something
> I'd have to add myself, i.e. some mechanism by eclipse extension
> points to search for registered validation bundles that validate the
> model?
>
> Cheers,
> Hauke

Re: Different Validation for a model [message #1707332 is a reply to message #1707109]

Thu, 03 September 2015 15:34

Eclipse User

Alternatively, you can use EMF Validation Framework. It provides an ability to write constraints as Java/OCL code, provide them via plugin.xml and split you constraints between bundles.

Re: Different Validation for a model [message #1707362 is a reply to message #1707109]

Fri, 04 September 2015 03:07

Eclipse User

Hi Ed,

thanks for pointing to OCL. I wrote a Complete OCL file now, which
worked fine for my model. However, I do not find much information how to
connect the ecore with the OCL file. I.e. I want to express that the
usual EMF validation should delegate to this OCL validation using my OCL
file.
Did not find any extension point for that.

The documentation only briefly describes

"The CompleteOCLEObjectValidator is used to enable Complete OCL
documents to participate in the validation processing of an Xtext editor.
The APIs for merging Complete OCL and Ecore as intermediate Pivots and
then migrating the Pivot back to Ecore are experimental."

As I have no Xtext model but a plain ecore file, I'm a little lost how
to actually connect the things such that the validation can be used from
the usual ecore-tree-editor and pop up in the problem view.

Any hints where to look?

Cheers,
Hauke

Re: Different Validation for a model [message #1707402 is a reply to message #1707362]

Fri, 04 September 2015 09:29

Eclipse User

I found a recipe for my use case in the Eclipse wiki. Very glad for that.
I follow this recipe to connect my custom Ecore file with my custom
ocl-File: http://wiki.eclipse.org/EMF/Validation/Recipes

However, the recipe suggests to reuse some example projects which
results in having three additional projects with 9 Java classes and a
lot of plugin.xml config (e.g. editorActions) to glue everything
together. This is quite some unexpected overhead boilerplate code from
my point of view.

Is this really the way to use an CompleteOCL file?

Any opinion appreciated.

Cheers,
Hauke

Am 04.09.2015 09:07, schrieb Hauke Fuhrmann:
> Hi Ed,
>
> thanks for pointing to OCL. I wrote a Complete OCL file now, which
> worked fine for my model. However, I do not find much information how to
> connect the ecore with the OCL file. I.e. I want to express that the
> usual EMF validation should delegate to this OCL validation using my OCL
> file.
> Did not find any extension point for that.
>
> The documentation only briefly describes
>
> "The CompleteOCLEObjectValidator is used to enable Complete OCL
> documents to participate in the validation processing of an Xtext editor.
> The APIs for merging Complete OCL and Ecore as intermediate Pivots and
> then migrating the Pivot back to Ecore are experimental."
>
> As I have no Xtext model but a plain ecore file, I'm a little lost how
> to actually connect the things such that the validation can be used from
> the usual ecore-tree-editor and pop up in the problem view.
>
> Any hints where to look?
>
> Cheers,
> Hauke

Re: Different Validation for a model [message #1707411 is a reply to message #1707402]

Fri, 04 September 2015 10:36

Eclipse User

Hi

No.

You will get on much better by following the up-to-date material in the
OCL documentation.

The wiki is a valiant effort in 2008 to make sense of a seriously
prehistoric approach. I did some minor repair work in 2012 to refer to
the OCLinEcore editor.

But this is not the way to go. See my reply on the OCL newsgroup.

Regards

Ed Willink

On 04/09/2015 14:29, Hauke Fuhrmann wrote:
> I found a recipe for my use case in the Eclipse wiki. Very glad for that.
> I follow this recipe to connect my custom Ecore file with my custom
> ocl-File: http://wiki.eclipse.org/EMF/Validation/Recipes
>
> However, the recipe suggests to reuse some example projects which
> results in having three additional projects with 9 Java classes and a
> lot of plugin.xml config (e.g. editorActions) to glue everything
> together. This is quite some unexpected overhead boilerplate code from
> my point of view.
>
> Is this really the way to use an CompleteOCL file?
>
> Any opinion appreciated.
>
> Cheers,
> Hauke
>
> Am 04.09.2015 09:07, schrieb Hauke Fuhrmann:
>> Hi Ed,
>>
>> thanks for pointing to OCL. I wrote a Complete OCL file now, which
>> worked fine for my model. However, I do not find much information how to
>> connect the ecore with the OCL file. I.e. I want to express that the
>> usual EMF validation should delegate to this OCL validation using my OCL
>> file.
>> Did not find any extension point for that.
>>
>> The documentation only briefly describes
>>
>> "The CompleteOCLEObjectValidator is used to enable Complete OCL
>> documents to participate in the validation processing of an Xtext
>> editor.
>> The APIs for merging Complete OCL and Ecore as intermediate Pivots and
>> then migrating the Pivot back to Ecore are experimental."
>>
>> As I have no Xtext model but a plain ecore file, I'm a little lost how
>> to actually connect the things such that the validation can be used from
>> the usual ecore-tree-editor and pop up in the problem view.
>>
>> Any hints where to look?
>>
>> Cheers,
>> Hauke
>

Previous Topic:	EReference Tree
Next Topic:	How to change encoding ascii to utf-8

Goto Forum:

-=] Back to Top [=-

Current Time: Sat Jul 05 05:27:43 EDT 2025

.:: Contact :: Home ::.

Breadcrumbs

Sign up to our Newsletter