KIT | KIT-Bibliothek | Impressum | Datenschutz

Finding a Universal Execution Strategy for Model Transformation Networks

Gleitze, Joshua; Klare, Heiko; Burger, Erik

Abstract (englisch):
When using multiple models to describe a (software) system, one can use a network of model transformations to keep the models consistent after changes. No strategy exists, however, to orchestrate the execution of transformations if the network has an arbitrary topology. In this paper, we analyse how often and in which order transformations need to be executed. We argue why linear execution bounds are too restrictive to be useful in practice and prove that there is no upper bound for the number of necessary executions. To avoid non-termination, we propose a conservative strategy that makes execution failures easier to understand. These insights help developers and users of transformation networks to understand under which circumstances their networks can terminate. Additionally, the proposed strategy helps them to find the cause when a network cannot restore consistency.

Open Access Logo

Verlagsausgabe §
DOI: 10.5445/IR/1000132312
Veröffentlicht am 03.05.2021
DOI: 10.1007/978-3-030-71500-7_5
Cover der Publikation
Zugehörige Institution(en) am KIT Kompetenzzentrum für angewandte Sicherheitstechnologie (KASTEL)
Publikationstyp Buchaufsatz
Publikationsjahr 2021
Sprache Englisch
Identifikator ISBN: 978-3-030-71500-7
ISSN: 0302-9743, 1611-3349
KITopen-ID: 1000132312
Erschienen in Fundamental Approaches to Software Engineering. Ed.: E. Guerra
Verlag Springer International Publishing
Seiten 87–107
Serie Lecture Notes in Computer Science ; 12649
Vorab online veröffentlicht am 24.02.2021
Schlagwörter model consistency; model transformation networks
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page