| <p> |
| This page gives an overview about Henshin-related projects. |
| </p> |
| |
| <h2>SPELL</h2> |
| <p> |
| The <a href="http://wwwen.uni.lu/snt">Interdisciplinary Centre for Security, Reliability and Trust (SnT)</a> |
| at the University of Luxembourg uses Henshin for automatic translations of programming languages for |
| satellite technology - a field that is highly relevant to Luxembourg-based SES, one of the world's |
| leading satellite operators. Recently, SES has been working on developing the open-source-software |
| SPELL (Satellite Procecure Execution Language and Library), a standardised satellite control language. |
| The challenge is to convert all of the control procedures in existence that are being used in different |
| programming languages over to SPELL. Henshin is used as underlying model transformation engine to automate this |
| process and to guarantee a high-quality translation through automatic consistency testing. |
| <br> |
| <br> |
| For further information see the annual <a href="http://www.uni.lu/content/download/52106/624943/version/1/file/SnT_AR2011_final_web.pdf">SnT report 2011</a>, pages 14-15. |
| <br> |
| Contact: Frank Hermann, University of Luxembourg, frank.hermann[at]uni.lu. |
| </p> |
| |
| <h2>HenshinTGG and Multi-View Henshin Editor</h2> |
| <p> |
| The multi-view Henshin editor is an alternative graphical editor and based on the Henshin SDK using a multi view environment. |
| HenshinTGG is a graphical multi-view editor dedicated for triple graph grammars with additional features for bidirectional |
| model transformation and model synchronisation based on triple graph grammars (TGGs). Both editors are available via the |
| following GitHub repository: <a href="https://github.com/de-tu-berlin-tfs/Henshin-Editor">https://github.com/de-tu-berlin-tfs/Henshin-Editor</a>. |
| </p> |
| |
| <h2>On-The-Fly Computing</h2> |
| <p> |
| The <a href="http://is.uni-paderborn.de/">research group databases and information systems of the University of Paderborn</a> |
| uses Henshin in the terms of the <a href="http://sfb901.uni-paderborn.de">collaborative research centre (CRC) "On-The-Fly Computing"</a>. |
| The goal of the CRC is to develop methods to automatically configure and execute IT services. One aspect of the automatic configuration |
| is the matching of service requesters and providers. As a basis for the matching, the research group created a rich service description |
| language (RSDL) to specify structural and behavioral characteristics of services. In particular, so called visual contracts describe |
| the service's behavior. The RSDL workbench is a tool that allows to create RSDL specifications and Henshin was integrated to specify |
| visual contracts. |
| <br> |
| <br> |
| Contact:<br> |
| Simon Schwichtenberg, University of Paderborn, schwicht[at]mail[dot]upb[dot]de<br> |
| Christian Gerth, University of Paderborn, gerth[at]upb[dot]de<br> |
| Zille Huma, University of Paderborn, zille[dot]huma[at]upb[dot]de<br> |
| </p> |