000K  utf8
1100  $c2021
1500  eng
2050  urn:nbn:de:gbv:8:3-2021-00248-1
2051  10.21941/kcss/2021/1
3000  Smyth, Steven Patrick
4000  Interactive Model-Based Compilation$dA Modeller-Driven Development Approach$hChristian-Albrechts-Universität zu Kiel  [Smyth, Steven Patrick]
4030  Kiel$nChristian-Albrechts-Universität zu Kiel
4209  There is a growing tendency for using domain-specific languages, which help domain experts to stay focussed on abstract problem solutions. It is important to carefully design these languages and tools, which fundamentally perform model-to-model transformations. The quality of both usually decides the effectiveness of the subsequent development and therefore the quality of the final applications. However, as the complexity and safety requirements of modern systems grow, it becomes increasingly burdensome to create highly customized languages and difficult to provide reasonable overviews within these tools. This thesis introduces a new interactive model-based compilation methodology. Compilations for arbitrary model-to-model transformations are themselves described as models. They can be instantiated for particular inputs, e. g. a program, to create concrete compilation runs, which return the result of that compilation. The compilation instance is interactively observable. Intermediate results serve as new inputs and as documentation. They can be used to create highly customized views and facilitate understandability. This methodology guides modellers from the start of the compilation to the final result so that they can interactively refine their models. The methodology has been implemented and validated as the KIELER Compiler (KiCo) and is available as part of the KIELER open-source project. It is used to implement the current reference compiler for the SCCharts language, a statecharts dialect designed for specifying safety-critical reactive systems based on a synchronous model of computation. The interactive model-based compilation approach was key to the rapid prototyping of three different compilation strategies, as well as new language extensions, variations and closely related languages. The results are verified with benchmarks, which are again modelled using the same approach and technology. The usability of the SCCharts language and the KiCo tooling is documented with long-term surveys and real-life industrial, academic and teaching examples.
4950  https://doi.org/10.21941/kcss/2021/1$xR$3Volltext$534
4950  https://nbn-resolving.org/urn:nbn:de:gbv:8:3-2021-00248-1$xR$3Volltext$534
4961  https://macau.uni-kiel.de/receive/macau_mods_00001292
5051  004
5550  compilation
5550  compiler
5550  model-based
5550  safety-critical
5550  SCCharts
5550  synchronous language