Eclipse Community Forums: EMF » Different Validation for a model

Help

Home

Home » Modeling » EMF » Different Validation for a model

Show: Today's Messages :: Show Polls :: Message Navigator

Different Validation for a model [message #1707102]

Wed, 02 September 2015 10:50

Hauke Fuhrmann

Messages: 30
Registered: January 2015

Member

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

Report message to a moderator

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

Wed, 02 September 2015 12:19

Ed Willink

Messages: 6481
Registered: July 2009

Senior Member

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

Report message to a moderator

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

Thu, 03 September 2015 19:34

Leonid Ripeynih

Messages: 150
Registered: February 2012

Senior Member

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.

Report message to a moderator

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

Fri, 04 September 2015 07:07

Hauke Fuhrmann

Messages: 30
Registered: January 2015

Member

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

Report message to a moderator

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

Fri, 04 September 2015 13:29

Hauke Fuhrmann

Messages: 30
Registered: January 2015

Member

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

Report message to a moderator

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

Fri, 04 September 2015 14:36

Ed Willink

Messages: 6481
Registered: July 2009

Senior Member

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
>

Report message to a moderator

Previous Topic:	EReference Tree
Next Topic:	[EMF] long loading time

Goto Forum:

-=] Back to Top [=-

[ Syndicate this forum (XML) ] [

]

Current Time: Tue Oct 15 11:15:33 GMT 2019

.:: Contact :: Home ::.

Breadcrumbs

Sign up to our Newsletter