出版社：European Association of Software Science and Technology (EASST)
摘要：Model-driven development promises to ease the overall development
process of complex systems. Models provide abstract problem solutions often without the need to tackle concrete technical details. However, as complexity and safety
requirements of modern systems grow, transforming text-based to graphical-based
programs does not suffice any more to create a reasonable overview. The modeler
should not be burdened with maintaining an overview over all potential conflicts
within a particular model of computation or between components of a system. They
should further be able to understand what is happening during transformation steps.
Modern modeling tools and model-based compilers should not only be sophisticated
graphical editors that produce code on demand. They should guide modelers during
the modeling process so that they can refine their models interactively.
The KIELER Compiler constructs transformation snapshots and augmented models
automatically during compilation. We demonstrate six different exemplary transient
views that can help the modeler to refine their models and to solve modeling issues,
such as causality problems in synchronous languages. While the compiler is agnostic towards the meta-models of the source and target languages, the synchronous
language SCCharts serves as main example.
关键词：Interactive Compilation; Model-based Design; Model-driven Development
