<p>
This page gives an overview about Henshin-related projects.
</p>

<h2>Overview</h2>

<p>Henshin has been used at academic institutions at 16 countries, one international space institution, and one company in the satellite industry. Please contact us if you know more!</p>

<ul>
<li><strong>Austria:</strong>  Vienna University of Technology <sup>[ <a href="https://link.springer.com/chapter/10.1007/978-3-319-42064-6_6">http</a> ]</sup></li>
<li><strong>Canada:</strong>  University of Toronto <sup>[ <a href="https://dl.acm.org/doi/pdf/10.1145/2568225.2568267">http</a> ]</sup></li></li>
<li><strong>Denmark:</strong>  Technical University of Denmark <sup>[ <a href="https://link.springer.com/article/10.1007/s10270-016-0546-9">http</a> ]</sup></li>
<li><strong>France:</strong>  TELECOM ParisTech <sup>[ <a href="https://link.springer.com/article/10.1007/s10270-017-0607-8">http</a> ]</sup></li>
<li><strong>Germany:</strong>
Humboldt University Berlin <sup>[ <a href="http://www.jot.fm/contents/issue_2020_02/article3.html">http</a> ]</sup>,
Leibniz University Hannover <sup>[ <a href="https://www.sciencedirect.com/science/article/abs/pii/S0167642317301442">http</a> ]</sup>,
Philipps University Marburg <sup>[ <a href="https://link.springer.com/chapter/10.1007/978-3-662-54494-5_16">http</a> ]</sup>, 
University Paderborn <sup>[ <a href="https://dl.acm.org/doi/pdf/10.1145/2737166.2737174">http</a> ]</sup>,
University of Koblenz <sup>[ <a href="https://ieeexplore.ieee.org/stamp/stamp.jsp?arnumber=8101256">http</a> ]</sup>,
University of Siegen <sup>[ <a href="https://www.sciencedirect.com/science/article/abs/pii/S0164121216300437">http</a> ]</sup>, 
Universität Ulm <sup>[ <a href="https://dl.acm.org/doi/10.1145/3417990.3422000">http</a> ]</sup>
</li>
<li><strong>Greece:</strong>  Aristotle University of Thessaloniki <sup>[ <a href="https://www.sciencedirect.com/science/article/abs/pii/S0164121216300437">http</a> ]</sup></li>
<li><strong>Israel:</strong>  Weizmann Institute of Science<sup> [ <a href="https://www.sciencedirect.com/science/article/pii/S0167642317301442">http</a> ]</sup></li>
<li><strong>Italy:</strong>  University of Trento<sup> [ <a href="https://ieeexplore.ieee.org/stamp/stamp.jsp?arnumber=8101256">http</a> ]</sup></li>
<li><strong>Luxembourg:</strong>  University of Luxembourg  <sup>[ <a href="https://arc.aiaa.org/doi/pdf/10.2514/6.2014-1658">http</a> ]</sup>,
SES Satellites <sup>[ <a href="https://link.springer.com/chapter/10.1007/978-3-642-38883-5_4">http</a> ]</sup></li>
<li><strong>Morocco:</strong>  Mohammed V University <sup>[ <a href="https://link.springer.com/chapter/10.1007/978-3-319-19237-6_29">http</a> ]</sup></li>
<li><strong>Netherlands:</strong> University Leiden <sup>[ <a href="https://openaccess.leidenuniv.nl/handle/1887/17718">http</a> ]</sup></li>
<li><strong>Norway:</strong>  Western Norway University of Applied Sciences <sup>[ <a href="https://link.springer.com/chapter/10.1007/978-3-662-54494-5_16">http</a> ]</sup></li>
<li><strong>Spain:</strong>  Universidad de Málaga <sup>[ <a href="https://dl.acm.org/doi/pdf/10.1145/2892664.2892700">http</a> ]</sup></li>
<li><strong>Sweden:</strong>  Chalmers University of Technology | Gothenburg University <sup>[ <a href="http://ceur-ws.org/Vol-1077/amt13_submission_6.pdf">http</a> ]</sup></li>
<li><strong>UK:</strong>  University of Leicester <sup>[ <a href="https://link.springer.com/article/10.1007%2Fs10515-018-0242-9">http</a> ]</sup>, King's College London <sup>[ <a href="https://dl.acm.org/doi/10.1145/3270112.3270130">http</a> ]</sup></li>
<li><strong>US:</strong>  Standford University <sup>[ <a href="https://www.sciencedirect.com/science/article/pii/S0167642317301442">http</a> ]</sup></li>

<li><strong>International:</strong> European Space Agency <sup>[ <a href="https://arc.aiaa.org/doi/pdf/10.2514/6.2014-1658">http</a> ]</sup></li>
</ul>


<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>