Skip to main content

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index] [List Home]
Re: [henshin-dev] Henshin TGG

Dear Frank,

thanks again for your expressive answers. I am rather successful, currently, writing TGG rules with HenshinTGG. The problem that I wasn’t able to draw a specific edge is resolved. My meta model was not correct.

I do however have two question remaining: 
  1. The editor allows me to create so called prototype rules and recursive prototype rules. I could not find information about these in any documentation or publication. Could you please elaborate on this or give me a pointer where I might find an explanation?
  2. I will need to call (not generate) forward and backward transformations programatically. I could inspect the editor code to find out how to do this, but If there is some documentation, I would prefer that. Is there?

Best regards
Marco

-- 
Marco Konersmann, né Müller
Research Associate
paluno - The Ruhr Institute for Software Technology
University of Duisburg-Essen * Gerlingstraße 16 * 45127 Essen * Germany
* callto:+49-201-183-4682 * fax:+49-201-183-4698
http://www.paluno.eu * VAT-Nr. DE811272995
PGP/GPG key: http://www.s3.uni-duisburg-essen.de/pub/keys/0x7AE238AC.asc
X.509 cert: https://pki.pca.dfn.de/uni-duisburg-essen-ca/cgi-bin/pub/pki?cmd=viewCert&key=5639645262406037

Von: Frank HERMANN <frank.hermann@xxxxxx>
Antworten an: Henshin developers mailing list <henshin-dev@xxxxxxxxxxx>
Datum: Donnerstag, 12. Dezember 2013 11:03
An: "henshin-dev@xxxxxxxxxxx" <henshin-dev@xxxxxxxxxxx>
Betreff: Re: [henshin-dev] Henshin TGG

Dear Matthias,

you are perfectly right. I am now sending my answers to the developers list:

===================================================================
Answer 1, sent by Frank:
-------------------------------------------------------------------------------
Hi Marco,

currently, there is no update site - but we will put this request on the TODO list.

The current approach is:
1. You clone the git-repository
2. you need to do some setup as described in the Tutorial-PDF in subfolder "doc" of the project
    de.tub.tfs.henshin.tgg.editor
    Here is the direct link:
    https://github.com/de-tu-berlin-tfs/Henshin-Editor/blob/master/de.tub.tfs.henshin.tgg.editor/docs/Tutorial-SetUpHenshinTGG.pdf
3. You run the editor by starting an Eclipse Runtime application

There is also some API for executing a developed TGG in a separate java class directly, but it needs some manual wrapper code to execute a forward translation without the GUI.

Best regards,

Frank
===================================================================

===================================================================
Question, sent by Marco
-------------------------------------------------------------------------------
Hi Frank,

I got HenshinTGG to run. However I cannot get the example to work: I cannot draw edges from :CD2DB to the corresponding LHS element and the corresponding RHS element.

We left the mailing list. Is there any good platform for this discussion besides directly e-mailing the developers? :-)

Best regards
Marco
===================================================================

===================================================================
Answer 2, sent by Frank:
-------------------------------------------------------------------------------
Hi Marco,

1. There are two Henshin-GUIs:
A) Henshin (for general graph transformation) - this one uses explicit LHS and RHS graph views for the rules
This editor is not designed for TGGs.
Edges cannot be drawn from LHS to RHS, because these are two different graphs.

B) HenshinTGG (for TGGs) - this editor provides an integrated view for triple rules (LHS and RHS are integrated in one view)
-> In order to open a .henshin file, please click on "open with->TGG Editor"

2. The CD2RDBM-Example can be found under:
de.tub.tfs.henshin.tgg.editor/Examples

You may hav a look at the following publication:
Visual modeling and analysis of EMF model transformations based on triple graph grammars
C Ermel, F Hermann, J Gall, D Binanzer
Electronic Communications of the EASST 54


Best regards,

Frank
===================================================================



On 12/11/2013 9:06 PM, Matthias Tichy wrote:
Dear Frank, dear Marco,

As i did not see a reply on the mailing list. It would be great if you could share the info on the mailing list as i am also interested.

Cheers,

/mtt

From: <Konersmann>, Marco <Marco.Konersmann@xxxxxxxxxxxxxxxxx>
Reply-To: Henshin developers mailing list <henshin-dev@xxxxxxxxxxx>
Date: Montag, 9. Dezember 2013 16:34
To: Frank HERMANN <frank.hermann@xxxxxx>
Cc: "henshin-dev@xxxxxxxxxxx" <henshin-dev@xxxxxxxxxxx>
Subject: Re: [henshin-dev] Henshin TGG

Dear Frank,

thanks for your reply, and thanks for your work on Henshin :-)
I am planning to apply it in our research Project ADVERT (advert.org) where we (very simply put) transform architecture specifications into architectural code.

Is there an update site for HenshinTTG? Or how do I install it?

Best regards
Marco
-- 
Marco Konersmann, né Müller
Research Associate
paluno - The Ruhr Institute for Software Technology
University of Duisburg-Essen * Gerlingstraße 16 * 45127 Essen * Germany
* callto:+49-201-183-4682 * fax:+49-201-183-4698
http://www.paluno.eu * VAT-Nr. DE811272995

Von: Frank HERMANN <frank.hermann@xxxxxx>
Datum: Montag, 9. Dezember 2013 13:57
An: Marco Konersmann <marco.konersmann@xxxxxxxxxxxxxxxxx>
Cc: "henshin-dev@xxxxxxxxxxx" <henshin-dev@xxxxxxxxxxx>
Betreff: Re: [henshin-dev] Henshin TGG

Dear Marco,

the project is running and the development is continued at TU Berlin and University of Luxembourg.
Moreover, the tool is used by engineers of the industrial partner SES in Luxembourg for the translation of satellite control procedures.

Below, you can find videos and references for HenshinTGG.

Fell free to send recommendations for tool improvements.

We are also in research collaboration with Prof. Barbara König at University of Duisburg Essen.
In which domain are you planing to apply HenshinTGG?


Best regards,

Frank


VIDEOS

- TGG tutorial
http://www.birs.ca/videos/2013
http://www.birs.ca/events/2013/5-day-workshops/13w5115/videos/watch/201312021421-Hermann.mp4

- Tool demonstration
http://www.birs.ca/events/2013/5-day-workshops/13w5115/videos/watch/201312051655-Hermann.mp4

- Further video on application at SES
http://wwwen.uni.lu/snt/research#
Satellite Procedure Execution Language & Library (SPELL)


REFERENCES
Visual modeling and analysis of EMF model transformations based on triple graph grammars
C Ermel, F Hermann, J Gall, D Binanzer
Electronic Communications of the EASST 54

On an Automated Translation of Satellite Procedures Using Triple Graph Grammars
F Hermann, S Gottmann, N Nachtigall, B Braatz, G Morelli, A Pierre, T Engel
Theory and Practice of Model Transformations, 50-51


On 12/9/2013 11:19 AM, Konersmann, Marco wrote:
Dear Henshin Developers,

I found a project implementing a TGG extension for Henshin
(https://github.com/JuergenGall/Henshin-Editor). However, I wasn’t able to
find any information about the maturity and longevity of that project. I
would appreciate to use TGG in Henshin, for I have a case for
bidirectional transformations.

Could you please tell me if this project is still active and followed up
by people?

Best regards
Marco Konersmann



_______________________________________________
henshin-dev mailing list
henshin-dev@xxxxxxxxxxxhttps://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
________________________________________________________________________


_______________________________________________
henshin-dev mailing list
henshin-dev@xxxxxxxxxxxhttps://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
________________________________________________________________________

Attachment: smime.p7s
Description: S/MIME cryptographic signature


Back to the top