2026-06-06T01:36:16Zhttps://riuma.uma.es/rest/oai/request

oai:riuma.uma.es:10630/352472026-02-03T11:15:14Zcom_10630_2254col_10630_37953

00925njm 22002777a 4500 dc Rodríguez, Alejandro author Durán-Muñoz, Francisco Javier author Kristensen, Lars Michael author 2021 Multilevel modelling (MLM) approaches make it possible for designers and modellers to work with an unlimited number of abstraction levels when specifying domain-specific modelling languages (DSMLs). In this paper, we present a functional infrastructure 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 the language family in a multilevel hierarchy, and specify their behaviour by means of multilevel transformation, so-called multilevel coupled model transformations. We give a rewrite logic semantics to MultEcore’s MLM, on which we have based our automated transformation from MultEcore to the rewriting logic language Maude. Then, we rely on Maude to execute MultEcore models and to support analysis techniques, like reachability analysis, bounded and unbounded model checking of invariants and LTL formulas on systems with both finite and infinite reachable state spaces using equational abstraction. We illustrate our developed techniques on a DSML family for Petri nets. 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 https://hdl.handle.net/10630/35247 10.1007/s10270-021-00947-1 Lenguajes de programación Modelos matemáticos Simulation and analysis of MultEcore multilevel models based on rewriting logic.