Reproduction Package for the Paper on Termination and Expressiveness of Execution Strategies for Networks of Bidirectional Model Transformations
Klare, Heiko
1; Gleitze, Joshua 1
1 Institut für Informationssicherheit und Verlässlichkeit (KASTEL), Karlsruher Institut für Technologie (KIT)
1; Gleitze, Joshua 11 Institut für Informationssicherheit und Verlässlichkeit (KASTEL), Karlsruher Institut für Technologie (KIT)
Abstract (englisch):
This repository provides the transformation network simulator developed for the paper "Termination and Expressiveness of Execution Strategies for Networks of Bidirectional Model Transformations". It serves as a reproduction package for the insights on execution strategies of transformation networks given in the paper.
The artifacts comprise the sources for the simulator and a generated ready-to-use web application. In the simulator, the execution strategy presented in the paper as well as different other execution strategies for comparison are implemented and can be executed on different example scenarios, containing the scenario based on UML, Java, and OpenAPI that we have depicted in the paper.
The artifacts comprise the sources for the simulator and a generated ready-to-use web application. In the simulator, the execution strategy presented in the paper as well as different other execution strategies for comparison are implemented and can be executed on different example scenarios, containing the scenario based on UML, Java, and OpenAPI that we have depicted in the paper.
| Zugehörige Institution(en) am KIT | Institut für Informationssicherheit und Verlässlichkeit (KASTEL) |
| Publikationstyp | Forschungsdaten |
| Publikationsdatum | 27.04.2022 |
| Erstellungsdatum | 22.04.2022 |
| Identifikator | DOI: 10.5445/IR/1000145276 KITopen-ID: 1000145276 |
| HGF-Programm | 46.23.03 (POF IV, LK 01) Engineering Security for Mobility Systems |
| Lizenz | MIT License |
| Schlagwörter | model transformations, bidirectional transformations, multi-model consistency, transformation networks, transformation execution strategy, transformation termination |
| Liesmich | Instructions on how to use the data can be found within the repository. |
| Art der Forschungsdaten | Dataset |