|
Re: Applying OCL at models (vs metamodels) [message #1693165 is a reply to message #1692999] |
Wed, 22 April 2015 08:16 |
Ed Willink Messages: 7655 Registered: July 2009 |
Senior Member |
|
|
Hi
It's only software ... almost anything is possible.
More specifically I think you are looking at
https://bugs.eclipse.org/bugs/show_bug.cgi?id=457627.
Regards
Ed WIllink
On 21/04/2015 08:35, Wilbert Alberts wrote:
> Hi,
>
> I defined a language called sys using the ecore facilities. This
> language provides means to define so called Entities which are having
> Typed Attributes. (Very similar to ecore/uml classes.)
>
> I know that I can add OCL constraints at this level to add additional
> validation capabilities.
>
> I would like to give this language to users. They will make models
> containing Entities.
> However, I would like to give them the ability to also add additional
> constraints. For instance, if they define an Job Entity which is
> having a weight, they might want to add an invariant to it stating
> that the weight should not exceed a certain amount. This invariant is
> not imposed on the sys language, but on a model expressed in the sys
> language.
>
> Would it be possible to use OCL for this purpose? I think that I need
> to map certain OCL concepts to concepts in the sys language. For
> instance, what are objects in the sys language and what does it mean
> to dereference an object.
> Has such thing tried before? Are they any examples, articles or
> anything else that I could study?
>
> Greetings,
> Wilbert
>
>
|
|
|
|
|
Powered by
FUDForum. Page generated in 0.08353 seconds