Hello Subramany,
if you have elements in a NAC that shall be related to elements in
the LHS, then you can add a mapping from the LHS node to the NAC
node. This implies that the LHS node and the NAC node will be the
same in the instance graph.
You only need to take care of the following: the NAC should contain
at least:
- one node that is not mapped (node)
or
- one additional edge between nodes that is not present in the LHS
already
or
- one more concrete information from LHS to NAC: e.g. the NAC node
has a more concrete type, or an attribute value is more specific
Hope this helps - please try an example with a mapping from LHS to
NAC.
If you use the graphical editor, then you can connect
"<<forbid>>" NAC structures with
"<<preserve>>" LHS structures.
Best regards,
Frank
On 6/27/2014 8:02 AM, Subramanya K G
wrote:
Hello Matthias,
Yes, I had tried, It can be used, but the problem is, in the
same(2nd rule) rule I have to match for the presence of the
same object ("work product"), on which I will be creating new
elements.
So to summarize, In a rule, I have to forbid the existence of
2 work products and it should have only one work product and
that has to be matched with other elements, to create new
elements in the model as shown in the rule file.
Thanks
_______________________________________________
henshin-dev mailing list
henshin-dev@xxxxxxxxxxx
https://dev.eclipse.org/mailman/listinfo/henshin-dev
--
________________________________________________________________________
Dr. Frank Hermann
________________________________________________________________________
Research Associate at SnT frank.hermann@xxxxxx
+352 466644 5864 www.securityandtrust.lu
Postal address Visiting address
--------------------------------- ---------------------------------
securityandtrust.lu
University of Luxembourg D104, Campus Kirchberg
4, rue Alphonse Weicker 4, rue Alphonse Weicker
L-2721 Luxembourg L-2721 Luxembourg
________________________________________________________________________
|