I'm relatively new to Eclipse and the modeling technology. I want to
write a transformation from a meta-model MMa to a meta-model MMb using
ATL. The problem is that the transformation will only concern a subset
of MMa.
I've been hinted to write a checker in OCL that would just tell me
whether a model Ma (conforming to MMa) is included in the subset I'm
interested in.
In the end, if the checker answers true when asked if the input model is
correct, the transformation would take place, if not an error message
would be yielded.
I've been looking for some clues as to where to start and I was
expecting to find something suitable for a newbie like me. Like, I
define a file with a set of OCL constraints, right click on my model and
choose "Validate constraints from file...". But I guess it's not gonna
be that easy.
More generally, I'm having a hard time finding my way around Eclipse,
EMF and such... I've been reading all the material I could find about
using OCL to check constraints on EMF models, and it's like Chinese to
me. For example, I've seen a lot of EMF models with annotations named
"OCL" and having several entries, but I can't really find anything that
would explain me what to do with those.
I'm just saying is that I find it hard to understand this technology and
I'm wondering if it's normal or if this is where my comprehension
reaches its limits.