Child pages
  • MPS publications page

Versions Compared


  • This line was added.
  • This line was removed.
  • Formatting was changed.

Title: Publications


1. M. Voelter, K. Birken, S. Lisson, A. Rimer

Shadow Models - Incremental Transformations for MPS


Shadow Models is an incremental transformation framework for MPS. The name is motivated by the realization that many analyses are easier to do on an model whose structure is different from what the user edits. To be able to run such analyses interactively in an IDE, these “shadows” of the user- facing model must be maintained in realtime, and incremen- tality can deliver the needed short response times. Shadow Models is an incremental model transformation engine for MPS. In the paper we motivate the system through example use cases, and outline the transformation framework.

SLE 2019 , PDF


1. Markus Voelter

Fusing Modeling and Programming into Language-Oriented Programming


Modeling in general is of course different from programming (think: climate models). However, when we consider the role of models in the context of “model-driven”, i.e., when they are used to automati- cally construct software, it is much less clear that modeling is different from programming. In this paper, I argue that the two are conceptually indistinguishable, even though in practice they traditionally emphasize different aspects of the (conceptually indistinguishable) common approach. The paper discusses and illustrates language-oriented programming, the approach to {modeling| programming} we have successfully used over the last 7 years to build a range of innovative systems in domains such as insurance, healthcare, tax, engineering and consumer electronics. It relies on domain-specific languages, modular language extension, mixed notations, and in particular, the Jetbrains MPS language workbench.

ISoLA 2018 - UVMP Track, PDF

2. Markus Voelter, Bernd Kolb, Federico Tomassetti, Patrick Alff, Laurent Wiart, Andreas Wortmann, Arne Nordmann

Using Language Workbenches and Domain-Specific Languages for Safety-Critical Software Development