just a few meta thoughts
correct me if I'm wrong...
if a such inheritance definition (invocation, access, etc.) is
considered inside the imported model i think thus that mathematically is very stupide to consider the inherited class (the invoked methode, the accessed class/attribute, etc) outside the model.
I imagine that you are meaning that in a perfect world, we would be "very stupide" but that in reality we are quite smart in fact. It should be certainly that.
Just think and see the software/model as a graph and you will understand what i want to say.
This is not that we do not understand. Axiom 1: we are smart Axiom 2: we are open to improvement and suggestions :)
I do not see the same thing, but what i see clearly that moose is already very complicated with a lot of properties and what is inutile, so i think that reducing such things is better to do.
Can you elaborate because for now there are certainly features that you do not use but this is not clear if there are "inutile" (but we know we are very stupide) :)
Stef