Re: [henshin-dev] Information on attribute conditions

[Subramanya K G <subramanya.kg@xxxxxxxxx>]

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

On Thu, Jun 26, 2014 at 11:13 PM, Matthias Tichy <matthias.tichy@xxxxxxxxx> wrote:

Hi,

You can use NAC and PAC to constrain the matching of the LHS. However, they are not part of the computed match of the LHS. Hope this clarifies the situation. If not, simply try it with a small example :-)

Cheers,

mtt

From: Subramanya K G <subramanya.kg@xxxxxxxxx>
Reply-To: Henshin developers mailing list <henshin-dev@xxxxxxxxxxx>

Date: Donnerstag, 26. Juni 2014 23:01

To: Henshin developers mailing list <henshin-dev@xxxxxxxxxxx>
Subject: Re: [henshin-dev] Information on attribute conditions

Hello Matthias,

I have read in the below document that Negative application conditions and PACs, cannot be used to match LHS of the graph.

document : https://wiki.eclipse.org/Henshin_Transformation_Meta-Model

Please let me know if this is right.

Thanks

On Thu, Jun 26, 2014 at 10:57 PM, Matthias Tichy <matthias.tichy@xxxxxxxxx> wrote:

Hi,

Can you not simply use a Negative Application Condition in the second rule which ensure that there are not 2 work products (without using the first rule at all).

/mtt

From: Subramanya K G <subramanya.kg@xxxxxxxxx>
Reply-To: Henshin developers mailing list <henshin-dev@xxxxxxxxxxx>

Date: Donnerstag, 26. Juni 2014 22:53

To: Henshin developers mailing list <henshin-dev@xxxxxxxxxxx>

Subject: Re: [henshin-dev] Information on attribute conditions

Hello Mathias,

Thanks for the reply, but I am using state space exploration, so I cannot use any conditional units.

1. In the first rule (testRule), I check if there two elements of type "Work Product"  (see the attachment)

2. The second rule (rule2) has to be executed only if the first rule does not have two objects of type "Work Products"

Thanks

On Thu, Jun 26, 2014 at 10:44 PM, Matthias Tichy <matthias.tichy@xxxxxxxxx> wrote:

Hi, 

I am not sure that i understand what you want to do. Can you not simply to this in one rule? What about using a Conditional Unit?

If this does not help, please provide the rules as examples.

Cheers,

mtt

From: Subramanya K G <subramanya.kg@xxxxxxxxx>
Reply-To: Henshin developers mailing list <henshin-dev@xxxxxxxxxxx>
Date: Donnerstag, 26. Juni 2014 22:39
To: Henshin developers mailing list <henshin-dev@xxxxxxxxxxx>
Subject: [henshin-dev] Information on attribute conditions

Hello All,

I have two rules.
1. One rule is to check for the presence of some elements and based on this,

2. The second rule must decide whether two execute the rule or not.

I feel this can be done through adding attribute condition in the tree based editor.

Is there some reference example for this ?? or some material where I could get some more info on this.

Thanks in advance.

--

Thanks & Regards,
Subramanya

_______________________________________________
henshin-dev mailing list
henshin-dev@xxxxxxxxxxx
https://dev.eclipse.org/mailman/listinfo/henshin-dev

--

Thanks & Regards,
Subramanya

_______________________________________________
henshin-dev mailing list
henshin-dev@xxxxxxxxxxx
https://dev.eclipse.org/mailman/listinfo/henshin-dev

--

Thanks & Regards,
Subramanya

_______________________________________________
henshin-dev mailing list
henshin-dev@xxxxxxxxxxx
https://dev.eclipse.org/mailman/listinfo/henshin-dev

--

Thanks & Regards,
Subramanya