Executing Multilevel Domain-Specific Models in Maude

By: Alejandro Rodríguez, Francisco Durán, Adrian Rutle, Lars Michael Kristensen


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 transfor- mations. 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.


Multilevel modelling; Model transformations; Rewriting logic

Cite as:

Alejandro Rodríguez, Francisco Durán, Adrian Rutle, Lars Michael Kristensen, “Executing Multilevel Domain-Specific Models in Maude”, Journal of Object Technology, Volume 18, no. 2 (July 2019), pp. 4:1-21, doi:10.5381/jot.2019.18.2.a4.

PDF | DOI | BiBTeX | Tweet this | Post to CiteULike | Share on LinkedIn

The JOT Journal   |   ISSN 1660-1769   |   DOI 10.5381/jot   |   AITO   |   Open Access   |    Contact