RT Journal Article
T1 Simulation and analysis of MultEcore multilevel models based on rewriting logic.
A1 Rodríguez, Alejandro
A1 Durán-Muñoz, Francisco Javier
A1 Kristensen, Lars Michael
K1 Lenguajes de programación
K1 Modelos matemáticos
AB Multilevel modelling (MLM) approaches make it possible for designers and modellers to work with an unlimited numberof abstraction levels when specifying domain-specific modelling languages (DSMLs). In this paper, we present a functionalinfrastructure that allows modellers to define the structure and the operational semantics of multilevel modelling hierarchies,enabling simulation and analysis. Using the MultEcore tool, one can design and distribute the models that compose thelanguage family in a multilevel hierarchy, and specify their behaviour by means of multilevel transformation, so-calledmultilevel coupled model transformations. We give a rewrite logic semantics to MultEcore’s MLM, on which we have basedour automated transformation from MultEcore to the rewriting logic language Maude. Then, we rely on Maude to executeMultEcore models and to support analysis techniques, like reachability analysis, bounded and unbounded model checking ofinvariants and LTL formulas on systems with both finite and infinite reachable state spaces using equational abstraction. Weillustrate our developed techniques on a DSML family for Petri nets.
PB Springer Nature
YR 2021
FD 2021
LK https://hdl.handle.net/10630/35247
UL https://hdl.handle.net/10630/35247
LA eng
NO Rodríguez, A., Durán, F. & Kristensen, L.M. Simulation and analysis of MultEcore multilevel models based on rewriting logic. Softw Syst Model 21, 561–586 (2022). https://doi.org/10.1007/s10270-021-00947-1
NO Política de acceso abierto tomada de: https://openpolicyfinder.jisc.ac.uk/id/publication/8230
DS RIUMA. Repositorio Institucional de la Universidad de Málaga
RD 20 ene 2026