Executing Multilevel Domain-Specific Models in Maude.
Alejandro Rodríguez, Francisco Durán, Adrian Rutle, Lars Michael Kristensen · The Journal of Object Technology · 2019
Multilevel modelling (MLM) tackles the limitation in the number of abstraction levels present in traditional modelling approaches within the model-driven software engineering (MDSE) field.One way to specify the behaviour description of MLMs is by means of multilevel model transformations.In this paper, we propose an approach to achieve reusability and flexibility in specifying and executing multilevel model transformations.For this purpose, we rely on code-generation and the efficient rewriting logic mechanisms that Maude provides.As a proof of concept, we have developed an infrastructure which combines our MLM tool MultEcore, that facilitates definition of MLM hierarchies and transformations, with Maude, which performs the execution of the transformations on these hierarchies.