Guidance in Model-based Compilations

Authors

  • Steven Smyth Kiel University
  • Alexander Schulz-Rosengarten Kiel University
  • Reinhard von Hanxleden Kiel University

DOI:

https://doi.org/10.14279/tuj.eceasst.78.1098

Abstract

The modeler should not be burdened with maintaining an overview over all potential conflicts. They should further be able to understand what is happening. Model-based compilers and modeling tools in general should guide a modeler.

The KIELER Compiler constructs transformation snapshots and augmented models automatically during compilation. We demonstrate six different transient views that can help the modeler to refine their models and to solve modeling issues, such as causality problems in synchronous languages.

Downloads

Published

2020-01-14

How to Cite

[1]
S. Smyth, A. Schulz-Rosengarten, and R. von Hanxleden, “Guidance in Model-based Compilations”, eceasst, vol. 78, Jan. 2020.

Issue

Vol. 78 (2019): 8th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation - Doctoral Symposium and Industry Day, 2018

Section

Articles

License

Copyright (c) 2020 Electronic Communications of the EASST

Creative Commons License

This work is licensed under a Creative Commons Attribution 4.0 International License.