MODELS 2019 Foundations Track − Münich, Germany
University of Nantes – LS2N, France
CDL-MINT, Johannes Kepler University Linz, Austria
Behavioral models (eg. state machines) can conveniently describe the behaviors of systems under design.
Domain-specific languages (DSLs) can be engineered and used to build such models.
Dynamic analyses of behavioral models are crucial in early design phases to see how a described behavior unfolds over time.
Require the possibility to execute models ⚙️!
What about DSLs built with a compiler (eg. a code generator) instead of an interpreter?