Logo des Repositoriums

Auflistung nach Autor:in "Klare, Heiko"

1 - 2 von 2
  • Zeitschriftenartikel
    Building Transformation Networks for Consistent Evolution of Interrelated Models
    (Softwaretechnik-Trends Band 42, Heft 2, 2022) Klare, Heiko
    In model-driven development, models and constitute central units of the development process, from which also parts of the program code can be derived. A common means to preserve consistency between models are transformations, which adapt the other models after one of them was changed. Existing research is focused on bidirectional transformations that preserve consistency between pairs of models. Actual software systems are, however, usually described with more than two models, and the languages used to specify them vary between projects. In this thesis, we research how developers can combine multiple transformations to a network that is able to execute these transformations in an order such that all resulting models are consistent. We consider the problem from a software engineer’s perspective and make the central assumption that each transformation between two languages is developed independently and that the transformations are not and cannot be aligned with each other, in order to support independent development and reuse. We base mathematically founded as well as empirical considerations from case studies on these assumptions. Our contributions are separated into those concerning the correctness and those concerning the optimization of quality properties of such a combination of transformations to a network.
  • Konferenzbeitrag
    Modell-Konsistenzerhaltung mittels Transformationsnetzwerken
    (D22, 2022) Klare, Heiko
    Bei der Entwicklung komplexer Software-Systeme nutzen die Beteiligten verschiedene Arten von Artefakten zur Spezifikation ihrer Belange, beispielsweise Programmcode, Architekturdiagramme und Deployment-Beschreibungen. Aufgrund von Abhängigkeiten zwischen diesen Artefakten ist es essentiell ihre Konsistenz zu erhalten, um eine widerspruchsfreie Beschreibung des Systems zu erhalten. Modelltransformationen sind bereits gut untersucht und geeignet, um den Prozess der Konsistenzerhaltung für Paare von Artefakten zu automatisieren. In der vorgestellten Arbeit untersuchen wir, wie Entwickler:innen Transformationen unabhängig und wiederverwendbar entwickeln und anschließend zu Netzwerken kombinieren können, um die Konsistenz zwischen mehr als zwei Artefakten zu erhalten. Ausgehend von einer formalen Beschreibung dieser Netzwerke leiten wir die zentralen Herausforderungen der Synchronisation, Kompatibilität und Orchestrierung ab. Wir entwickeln Ansätze zur Lösung dieser Herausforderungen und untersuchen deren praktische Relevanz. Weiterhin stellen wir einen Konstruktionsansatz für Netzwerke vor, mit dem Zielkonflikte bei der Optimierung von Qualitätseigenschaften reduziert werden, sowie eine Sprache, die Entwickler:innen bei der Anwendung dieses Ansatzes unterstützt.