[henshin-dev] Semantics of multi-object creation in a rule

[Zille Huma <zille.huma@xxxxxx>]

Hi all,

During my work with the rules with multi-objects, I came across this 
problem and I would highly appreciate if someone could explain how this 
is handled in henshin. It is about the multi-object (universal 
quantified) in a rule.

As far as i understand, if a rule specifies deletion or preservation of 
multi-objects, it can be applied through the concept of parallel 
transformations in henshin. But how does henshin handle the case, if the 
rule specifies creation of multi-objects. What is the semantic 
interpretation of such a creation? the creation of a  link for the newly 
created multi-object means a link to every object in the set or to the 
whole as a collection? How are the links between multiple multi-objects 
interpreted? is it a single link or a cartesian product of the objects 
in the both the sets are linked with each other?

Best,
Zille