Eclipse Community Forums: M2M (model-to-model transformation)

Home » Archived » M2M (model-to-model transformation) » KM3(Validation of KM3 models)

Mon, 13 February 2012 17: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 00: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

Previous Topic:	3rd Biannual Eclipse/OMG Workshop on March 25
Next Topic:	[ATL] Cannot assign the same elements/reference multiple times [on progress]

Goto Forum:

-=] Back to Top [=-

Current Time: Fri Jun 13 16:45:20 EDT 2025

.:: Contact :: Home ::.

Breadcrumbs

Sign up to our Newsletter