Towards a Maude-based implementation of MultEcore multilevel modelling languages





Publicado en

Actas de las XX Jornadas de Programación y Lenguajes (PROLE 2021)

Licencia Creative Commons


MultEcore is a language and tool for the definition of domain-specific modelling languages following the multilevel modelling approach. This work presents some challenges towards the rewriting logic semantics of multilevel model hierarchies and multilevel coupled model transformations used to specify such languages. Although we briefly describe the specification of hierarchies and transformations, we will focus on the latest additions to the language, which allow the instantiation of the multilevel models with a language of choice, e.g., OCL or SML, for the specification and manipulation of values of objects’ attributes, and the use of nested and cross-level boxes for the specification of patterns in the rules. The executable specification can then be used for the simulation/execution of MultEcore models and their analysis using Maude formal tools.


Acerca de Durán, Francisco

Palabras clave

Maude, MultEcore, Multilevel Modeling, Rewriting Logic
Página completa del ítem
Notificar un error en este artículo
Mostrar cita
Mostrar cita en BibTeX
Descargar cita en BibTeX