KM3 [message #797797] |
Mon, 13 February 2012 22:33  |
Eclipse User |
|
|
|
Hi,
I would like to ask how can I validate a KM3 model? I want to instantiate examples from the model to validate it is correct. Can I do that using a certain syntax or do I have to make a transformation from KM3 to some other modeling language to do that inside Eclipse?
Please reply asap
Thanks
|
|
|
Re: KM3 [message #798004 is a reply to message #797797] |
Tue, 14 February 2012 05:42  |
Eclipse User |
|
|
|
Hi
KM3 is one of many concrete syntaxes for an Ecore meta-model.
There is no such thing as a KM3 model; just an Ecore model, which can be
validated using for instance the Validate menu option in the Sample
Reflective Ecore Editor.
If you want to validate the KM3 meta-model, you should just be able to
look at the error and warning markers in the editor, and/or use the
Validate menu option. But I've not used the KM3 editor so it may not
offer standard Eclipse ergonomics. If not, you need to export to Ecore
and use the Validate menu option in the Sample Ecore Editor.
Regards
Ed Willink
On 13/02/2012 22:33, Dina Zayan wrote:
> Hi,
>
> I would like to ask how can I validate a KM3 model? I want to
> instantiate examples from the model to validate it is correct. Can I
> do that using a certain syntax or do I have to make a transformation
> from KM3 to some other modeling language to do that inside Eclipse?
>
>
> Please reply asap
>
> Thanks
|
|
|
Powered by
FUDForum. Page generated in 0.03491 seconds