Re: [henshin-dev] Henshin 2 AGG

[Thorsten Arendt <arendt@xxxxxxxxxxxxxxxxxxxxxxxxx>]

Hi Christian.

Thanks, maybe this helps. However, I (resp. the Master student) need an API to transform the Henshin rules into AGG rules and then run AGG's critical pair analysis. For that, we will have a closer look at the Henshin code.

Regards,
Thorsten

Hi Thorsten,

did this work for you?

Cheers,

Christian

2013/11/26 Christian Krause <henshin.ck@xxxxxxxxx>

Hi Thorsten,

there exists a converter in the current Henshin version. Right-click on a  Henshin file and select Export -> Henshin -> Henshin Model. I cannot say whether the conversion has all features you need. Maybe just give it a try.

Cheers,

Christian

2013/11/26 Thorsten Arendt <arendt@xxxxxxxxxxxxxxxxxxxxxxxxx>

Hi all.

I want to ask whether there is an implementation for translating Henshin rules to AGG rules. As far as I know there exists an implementation made by Jürgen Gall but it addressed an older version of the Henshin model. Is there any implementation for the current Henshin version?

Regards,
Thorsten

--
Dipl. Inf. Thorsten Arendt
Philipps-Universität Marburg
Fachbereich Mathematik und Informatik
Hans-Meerwein-Str.
D-35032 Marburg
Office: 05D18
Phone : +49-6421-2821540
Email : arendt@xxxxxxxxxxxxxxxxxxxxxxxxx
--

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

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

--
Dipl. Inf. Thorsten Arendt
Philipps-Universität Marburg
Fachbereich Mathematik und Informatik
Hans-Meerwein-Str.
D-35032 Marburg
Office: 05D18
Phone : +49-6421-2821540
Email : arendt@xxxxxxxxxxxxxxxxxxxxxxxxx
--