Guidance in Model-based Compilations
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.
Full Text:
PDFDOI: http://dx.doi.org/10.14279/tuj.eceasst.78.1098
DOI (PDF): http://dx.doi.org/10.14279/tuj.eceasst.78.1098.1059
Hosted By Universitätsbibliothek TU Berlin.