for my Concept Composition, I want to distinguish wether it is a G_arr or a S_arr (for Graph arrow and Set arrow)
that means, when I choose for instance G_arr on the left side, only Elements from G_arr shall be available in the scope on the right side and vice versa.
My Concept Composition has a a "from" and "to" reference to concept "arrow":
and the concepts "Graphfunction" and Totalfunction" both extend the concept "arrow", that's why G_arr and S_arr are both found in the scope.
Now, my Idea is to make a referent constraint for concept "composition" and set referent constraints for "from" and "to".
Is this approach correct? What do I have to type in the referent set handler? I have absolutely no idea.
Thanks in advance.